|
fsharp-language-server
|
0.1.27-1 |
0 |
0.00
|
Language server for F#, utilizing the Language Server Protocol |
orphan
|
2020-07-19 12:37 (UTC) |
|
nodejs-formality-lang
|
0.4.91-1 |
0 |
0.00
|
An efficient proof-gramming language. It aims to be: Fast, Safe, Portable |
christofsteel
|
2020-07-11 11:13 (UTC) |
|
tako
|
0.2.8-1 |
1 |
0.00
|
command language and shell based on Python |
TrialnError
|
2020-07-08 21:24 (UTC) |
|
gobgp-bin
|
2.18.0-1 |
0 |
0.00
|
An open source BGP implementation designed from scratch for modern environment and implemented in Golang. |
lafr4nc3
|
2020-07-01 16:55 (UTC) |
|
kdevelop-pg-qt-git
|
r665.268c40b-1 |
12 |
0.00
|
KDevelop Parser Generator, a LL(1) parser generator used by KDevelop language plugins. (GIT version) |
orphan
|
2020-07-01 06:17 (UTC) |
|
miga
|
0.7.2-1 |
0 |
0.00
|
Golang CLI database migration tool |
shyamin
|
2020-06-30 09:53 (UTC) |
|
libclsp-git
|
v0.1.3.r222.g195f98e-1 |
0 |
0.00
|
A C++17 library for language servers |
otreblan
|
2020-06-27 11:55 (UTC) |
|
ccls-git
|
20200615-1 |
12 |
0.00
|
C/C++ language server supporting cross references, hierarchies, completion and semantic highlighting |
MaskRay
|
2020-06-26 03:58 (UTC) |
|
hptools-git
|
r4.dfa489f-1 |
0 |
0.00
|
Tools from HP for assembling Saturn Assembly Language and compiling SysRPL. |
martinyr
|
2020-06-22 14:27 (UTC) |
|
pseuco-ide
|
v2.0.4-1 |
0 |
0.00
|
An IDE for the pseuCo programming language written in Kotlin. Uses the pseuco-java-compiler internally. |
someonewithpc
|
2020-06-21 22:04 (UTC) |
|
f4go-git
|
r587.b8b6202-1 |
0 |
0.00
|
Transpiling fortran code to golang code |
orphan
|
2020-06-20 15:56 (UTC) |
|
microsoft-python-language-server-git
|
r955.2aef1f81-1 |
0 |
0.00
|
Microsoft Language Server for Python |
MarsSeed
|
2020-06-18 19:03 (UTC) |
|
pvts
|
0.243-1 |
0 |
0.00
|
A visual interpreter for the Scheme programming language writen in Java |
orphan
|
2020-06-18 15:10 (UTC) |
|
clip
|
0.7-1 |
0 |
0.00
|
Create charts and diagrams using a CSS-like language |
orphan
|
2020-06-18 13:20 (UTC) |
|
j901-bin
|
9.01-1 |
1 |
0.00
|
J is a modern, high-level, general-purpose, high-performance programming language |
pavan
|
2020-06-18 08:56 (UTC) |
|
documize-community-bin
|
3.8.0-1 |
0 |
0.00
|
Modern Confluence alternative designed for internal & external docs, built with Golang + EmberJS |
orphan
|
2020-06-12 21:02 (UTC) |
|
grap
|
1.46-1 |
5 |
0.37
|
A language for typesetting graphs. |
hrauch
|
2020-06-11 22:18 (UTC) |
|
gluon-repl
|
0.15.0-1 |
0 |
0.00
|
REPL for gluon. A static, type inferred programming language for application embedding |
orphan
|
2020-06-10 23:49 (UTC) |
|
elk
|
3.99.8-2 |
1 |
0.00
|
Scheme interpreter and extension language. |
orphan
|
2020-06-08 11:40 (UTC) |
|
libreoffice-template-briefvorlage-din-lang
|
1.2-1 |
0 |
0.00
|
Libreoffice template DIN Brief lang |
zimbi
|
2020-06-01 21:35 (UTC) |
|
python-pymeta3-git
|
0.5.1.r0.g61be6c2-1 |
0 |
0.00
|
Pattern-matching language based on OMeta for Python 3 and 2 |
joposter
|
2020-06-01 10:22 (UTC) |
|
takt
|
0.310-2 |
0 |
0.00
|
A text-based music programming language designed by Satoshi Nishimura |
yantene
|
2020-05-31 18:36 (UTC) |
|
vint-git
|
0.4a4.dev8+g5b05880-1 |
0 |
0.00
|
Lint tool for Vim script Language (git version) |
mars
|
2020-05-31 10:26 (UTC) |
|
thrift-0.9
|
0.9.3-1 |
0 |
0.00
|
Scalable cross-language services framework for IPC/RPC |
orphan
|
2020-05-28 23:38 (UTC) |
|
gocode-git
|
r785.5bee97b-1 |
18 |
0.00
|
An autocompletion daemon for the Go programming language |
orphan
|
2020-05-27 12:11 (UTC) |
|
ros-noetic-message-runtime
|
0.4.13-1 |
0 |
0.00
|
ROS - Package modeling the run-time dependencies for language bindings of messages. |
acxz
|
2020-05-24 16:44 (UTC) |
|
ros-noetic-message-generation
|
0.4.1-2 |
0 |
0.00
|
ROS - Package modeling the build-time dependencies for generating language bindings of messages. |
acxz
|
2020-05-24 16:44 (UTC) |
|
t2b-git
|
1:1.0.0.r26.g2aa5c32-1 |
0 |
0.00
|
A wicked-powerful text macro language for building binary files. |
michaelkuc6
|
2020-05-24 12:09 (UTC) |
|
purescript
|
0.13.8-1 |
1 |
0.00
|
A small strongly, statically typed programming language with expressive types, inspired by Haskell and compiling to JavaScript. |
orphan
|
2020-05-24 02:57 (UTC) |
|
asm-cli
|
1.0.1-3 |
0 |
0.00
|
Interactive shell of assembly language(X86/X64) based on unicorn and keystone |
orphan
|
2020-05-20 04:29 (UTC) |
|
vim-gdscript
|
0.2-2 |
3 |
0.00
|
Vim syntax highliting for the Godot Game Engine scripting language GDScript |
orphan
|
2020-05-19 10:23 (UTC) |
|
ocaml-psmt2-frontend-git
|
r22.bb35b53-1 |
0 |
0.00
|
A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language |
orphan
|
2020-05-18 19:29 (UTC) |
|
scopes-hg
|
r2177+.e99ac8ce1ce7+-2 |
0 |
0.00
|
Scopes is a retargetable programming language & infrastructure |
s-ol
|
2020-05-14 14:11 (UTC) |
|
python-aiml
|
0.9.3-1 |
0 |
0.00
|
An interpreter module for AIML (Artificial Intelligence Markup Language), implemented in pure Python (python3 fork) |
orphan
|
2020-05-11 17:47 (UTC) |
|
r-devel-svn
|
r78409-1 |
8 |
0.00
|
Language and environment for statistical computing and graphics - development version (SVN) |
daroczig
|
2020-05-11 14:06 (UTC) |
|
perl-perl-languageserver-git
|
2.1.r21.f74d741-1 |
0 |
0.00
|
Language Server for Perl |
alienzj
|
2020-05-11 00:18 (UTC) |
|
mingw-w64-python2
|
2.7.18-1 |
4 |
0.00
|
A high-level scripting language (mingw-w64) |
tallero
|
2020-05-10 19:08 (UTC) |
|
otf-scunthorpe-sans
|
2-1 |
0 |
0.00
|
A s*** font that f***ing censors bad language automatically. |
Nish
|
2020-05-10 14:16 (UTC) |
|
massivethreads
|
1.00-1 |
0 |
0.00
|
A Lightweight Thread Library for High Productivity Languages |
xuanruiqi
|
2020-05-09 13:13 (UTC) |
|
coccigrep
|
1.20-1 |
2 |
0.00
|
Semantic grep for the C language based on coccinelle |
orumin
|
2020-05-07 17:54 (UTC) |
|
classicladder
|
0.9.113-1 |
1 |
0.00
|
An open source project to have a free ladder and sequential (grafcet) programming software coded in C language (to be used for educational, training, in Software PLC on PC computers or embedded platforms, ...) |
orphan
|
2020-05-06 19:32 (UTC) |
|
apache-daffodil-bin
|
2.6.0-1 |
0 |
0.00
|
Open-source implementation of the Data Format Description Language to convert between fixed format data and XML/JSON |
jmazon
|
2020-05-06 17:37 (UTC) |
|
vim-mako-git
|
r24.e74a52a-1 |
0 |
0.00
|
Vim highlighting for the mako templating language |
kiito
|
2020-05-04 13:15 (UTC) |
|
python-zerorpc
|
0.6.3-1 |
0 |
0.00
|
An easy to use, intuitive, and cross-language RPC |
funilrys
|
2020-05-04 06:57 (UTC) |
|
python2-nltk_contrib-git
|
r59.c9da2c2-1 |
3 |
0.00
|
Natural Language Toolkit, Contrib Area |
MarsSeed
|
2020-05-02 17:31 (UTC) |
|
zapcc
|
7.0.325000-3 |
0 |
0.00
|
C++ compiler based on Clang, but significantly faster |
orphan
|
2020-05-01 20:31 (UTC) |
|
python-erlang
|
1.8.0-1 |
1 |
0.00
|
Erlang Binary Term Format for Python |
dariost
|
2020-04-27 12:08 (UTC) |
|
python-langtable
|
0.0.51-1 |
1 |
0.00
|
Guessing reasonable defaults for locale, keyboard layout, territory, and language. |
kirek
|
2020-04-26 08:14 (UTC) |
|
boogie-git
|
0.r5030.8448ac1c-1 |
2 |
0.00
|
Boogie is an Intermediate Verification Language (IVL) for describing proof obligations to be discharged by a reasoning engine, typically an SMT solver |
hnns
|
2020-04-26 07:41 (UTC) |
|
vim-gdscript-git
|
r151.ebfa25f-1 |
1 |
0.00
|
Vim syntax highliting for the Godot Game Engine scripting language GDScript |
orphan
|
2020-04-23 23:42 (UTC) |