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 |
joojoo
|
2020-04-26 07:41 (UTC) |
bolbol-git
|
20190604.53_3f7a049-1 |
0 |
0.00
|
Learn languages on terminal, by short and practical sentences. |
thiagoalmeidasa
|
2022-05-23 09:27 (UTC) |
blueprint-compiler-docs-git
|
0.6.0+23+g1df46b5-1 |
0 |
0.00
|
A markup language for GTK user interfaces (documentation) |
mazharhussain
|
2023-01-21 13:00 (UTC) |
blarb
|
1.3.0-3 |
0 |
0.00
|
The Blarb programming language. |
elimirks
|
2019-07-28 13:58 (UTC) |
bitbake-language-server
|
0.0.14-1 |
0 |
0.00
|
bitbake language server |
Freed
|
2024-05-01 06:57 (UTC) |
bipscript-ide
|
0.19-1 |
0 |
0.00
|
IDE for the bipscript language |
b08x
|
2024-02-13 18:06 (UTC) |
bipscript-git
|
r52.362a4c2-1 |
0 |
0.00
|
A scripting language for interactive music |
milkii
|
2020-11-27 20:39 (UTC) |
bingo-git
|
r885.43cf020-2 |
1 |
0.00
|
A Go language server that speaks Language Server Protocol, largely inspired by go-langserver (git version). |
xzz53
|
2019-03-06 18:40 (UTC) |
bicep-bin
|
0.27.1-1 |
1 |
0.00
|
A declarative language for describing and deploying Azure resources |
zxp19821005
|
2024-05-08 01:42 (UTC) |
bergamont-marian-git
|
20220710-1 |
0 |
0.00
|
Bergamont project (browser.mt) fork of the marian translator with language models used by Mozilla Firefox Translations |
phel
|
2022-07-12 12:02 (UTC) |
bennugd-modules
|
356-1 |
2 |
0.00
|
a programming language to create games (Fenix successor) - modules |
jose1711
|
2022-06-30 03:34 (UTC) |
bennugd-core
|
356-1 |
2 |
0.00
|
a programming language to create games (Fenix successor) - core |
jose1711
|
2022-06-30 03:32 (UTC) |
beluga-git
|
v0.8.1.r190.3d50c74-1 |
2 |
0.00
|
Beluga is a functional programming language designed for reasoning about formal systems. It features direct support for object-level binding constructs using higher order abstract syntax and treats contexts as first class objects. |
tsani
|
2016-02-16 05:45 (UTC) |
beef
|
1.0.2-1 |
8 |
0.00
|
Flexible interpreter for the Brainfuck programming language |
phillid
|
2018-07-24 22:31 (UTC) |
beancount-language-server-git
|
r109.179c798-1 |
0 |
0.00
|
A Language Server Protocol (LSP) for beancount files |
orphan
|
2021-09-06 15:17 (UTC) |
battlestar
|
0.7.0-2 |
2 |
0.00
|
Programming language for creating tiny executables |
xyproto
|
2022-07-21 13:52 (UTC) |
battery
|
0.1.24-1 |
1 |
0.00
|
Build System and Package Manager for the Volt Programming Language |
necklace
|
2020-11-27 21:26 (UTC) |
bash-fuzzy-clock
|
20181024-3 |
5 |
0.00
|
Script to display the time in natural language. Translated to six languages |
epicurious
|
2018-09-27 02:26 (UTC) |
barley
|
r32.5e864b2-1 |
0 |
0.00
|
A cli that shows a GitHub-like language usage statistics bar. |
baris-inandi
|
2021-12-09 20:14 (UTC) |
bamini-tamil-font
|
1-1 |
0 |
0.00
|
Bamini tamil language font |
Thenujan
|
2021-11-03 07:24 (UTC) |
ballerina-bin
|
2201.9.0-1 |
0 |
0.00
|
Ballerina, an open-source programming language for the cloud |
amurrux
|
2024-05-20 16:27 (UTC) |
ballerina
|
1.2.11-1 |
3 |
0.00
|
an open source programming language and platform for cloud-era application programmers to easily write software that just works |
auroq
|
2020-12-10 19:45 (UTC) |
azmq-git
|
0-1 |
0 |
0.00
|
C++ language binding library integrating ZeroMQ with Boost Asio |
rpetrano
|
2019-02-19 09:46 (UTC) |
aws-asl-languageserver
|
1.67.0-1 |
0 |
0.00
|
Language server for AWS Step Function's ASL, extracted from aws-toolkit-vscode |
ianliu
|
2023-04-12 10:52 (UTC) |
avdl
|
0.9.8-1 |
0 |
0.00
|
Abstract video-game development language compiler |
tomtsagk
|
2023-05-25 12:10 (UTC) |
austral-git
|
v0.2.0.r3.gd8ccef5-2 |
0 |
0.00
|
Systems language with linear types and capability-based security. |
hhhhhhhhhn
|
2023-08-06 04:43 (UTC) |
attercop
|
0.3.4-1 |
0 |
0.00
|
Command generations in the shell with natural language |
msnidal
|
2023-01-16 22:03 (UTC) |
asymptote-git
|
2:2.71.r617.g6d686ea3-2 |
8 |
0.00
|
A vector graphics language (like metapost) |
aksr
|
2021-12-15 17:38 (UTC) |
astrojs-language-server
|
2.10.0-1 |
0 |
0.00
|
The Astro language server, powered by Volar |
schlmm
|
2024-05-16 08:25 (UTC) |
aspectc++-bin
|
2.3-1 |
0 |
0.00
|
A set of C++ language extensions to facilitate aspect-oriented programming with C/C++ |
MasWag
|
2021-05-06 13:33 (UTC) |
asmfish-git
|
135-1 |
1 |
0.00
|
Stockfish translated into assembly language. |
ghotrix
|
2024-02-05 10:02 (UTC) |
asm-lsp
|
0.6.0-1 |
0 |
0.00
|
A language server for NASM/GAS/GO Assembly |
triikk
|
2023-12-17 00:26 (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) |
asciidoc-language-documentation-git
|
r475.bd16776-1 |
0 |
0.00
|
AsciiDoc Language Documentation, offline HTML build |
corecode
|
2022-12-01 19:27 (UTC) |
arturo-bin
|
0.9.83-1 |
0 |
0.00
|
Simple, expressive & portable programming language for efficient scripting. |
orphan
|
2023-02-11 03:28 (UTC) |
armsimsharp
|
2.1-1 |
3 |
0.00
|
A desktop application for simulating the execution of ARM assembly language programs. |
ejno
|
2017-05-22 21:21 (UTC) |
arkscript
|
3.1.3-1 |
1 |
0.00
|
A small, fast, functional scripting language |
Gryf
|
2022-03-06 16:58 (UTC) |
aria-git
|
0.0.1.r4.9ffa9e3-1 |
0 |
0.00
|
An experimental low-level programming language built to improve on C. |
shkhuz
|
2022-10-01 17:44 (UTC) |
aria
|
0.0.1.r4.9ffa9e3-1 |
0 |
0.00
|
An experimental low-level programming language built to improve on C. |
shkhuz
|
2022-10-01 17:48 (UTC) |
arduino-language-server-git
|
2:0.6.0.r12.g22ca780-1 |
1 |
0.00
|
An Arduino Language Server based on Clangd to Arduino code autocompletion |
orphan
|
2022-05-28 09:01 (UTC) |
arcpp
|
0.21-1 |
0 |
0.00
|
An implementation of the Arc programming language. |
orphan
|
2023-04-16 23:01 (UTC) |
archc-git
|
2.4.1.r71.gf0b697c-1 |
0 |
0.00
|
A powerful and modern open-source architecture description language |
tiagoshibata
|
2018-04-06 20:41 (UTC) |
apple-darwin-qt5-declarative
|
5.9.1-2 |
0 |
0.00
|
Classes for QML and JavaScript languages (apple-darwin) |
Martchus
|
2017-08-11 21:13 (UTC) |
apiextractor-git
|
0.3.2.322.g744d018-1 |
4 |
0.00
|
Collects annotated API information for language binding creation |
orphan
|
2018-11-17 10:36 (UTC) |
apertium-zlm
|
0.2.0-1 |
0 |
0.00
|
Apertium linguistic data for Malay (individual language) |
kruzah
|
2021-05-21 08:19 (UTC) |
apertium-anaphora
|
1.1.1-1 |
0 |
0.00
|
Anaphora Resolution Module in Apertium for low resource languages |
MarcRiera
|
2023-06-22 21:37 (UTC) |
apache-opennlp
|
2.1.1-1 |
5 |
0.00
|
A machine learning-based toolkit for the processing of natural language text |
GymliDanny
|
2023-04-24 17:05 (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) |
antlr27
|
2.7.7-1 |
0 |
0.00
|
ANother Tool for Language Recognition |
MarsSeed
|
2016-05-19 11:05 (UTC) |
antlr2
|
2.7.7-12 |
0 |
0.00
|
Language recognition tool providing a framework to build grammatical parsers |
orphan
|
2022-04-01 16:27 (UTC) |