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) |
bedrust-git
|
0.7.2-1 |
1 |
0.65
|
A command line tool to invoke and work with Large Language models on AWS, using Amazon Bedrock |
darkomesaros
|
2024-04-13 03:20 (UTC) |
beef
|
1.0.2-1 |
8 |
0.00
|
Flexible interpreter for the Brainfuck programming language |
phillid
|
2018-07-24 22:31 (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) |
bennugd-core
|
356-1 |
2 |
0.00
|
a programming language to create games (Fenix successor) - core |
jose1711
|
2022-06-30 03:32 (UTC) |
bennugd-modules
|
356-1 |
2 |
0.00
|
a programming language to create games (Fenix successor) - modules |
jose1711
|
2022-06-30 03:34 (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) |
bicep
|
0.25.53-1 |
1 |
0.00
|
A declarative language for describing and deploying Azure resources |
carsme
|
2024-02-12 23:56 (UTC) |
bicep-bin
|
0.26.170-1 |
1 |
0.00
|
A declarative language for describing and deploying Azure resources |
zxp19821005
|
2024-04-12 00:46 (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) |
bipscript
|
0.19-1 |
1 |
0.18
|
A scripting language for interactive music |
b08x
|
2024-02-13 18:00 (UTC) |
bipscript-git
|
r52.362a4c2-1 |
0 |
0.00
|
A scripting language for interactive music |
milkii
|
2020-11-27 20:39 (UTC) |
bipscript-ide
|
0.19-1 |
0 |
0.00
|
IDE for the bipscript language |
b08x
|
2024-02-13 18:06 (UTC) |
bitbake-language-server
|
0.0.14-1 |
0 |
0.00
|
bitbake language server |
Freed
|
2024-04-07 16:39 (UTC) |
blarb
|
1.3.0-3 |
0 |
0.00
|
The Blarb programming language. |
elimirks
|
2019-07-28 13:58 (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) |
blueprint-compiler-git
|
r80.d0cf13b-1 |
5 |
0.00
|
A markup language for GTK user interfaces |
gabmus
|
2021-12-03 19:15 (UTC) |
blueprint-compiler-health
|
0.8.1+93f2a27e-1 |
1 |
0.00
|
A markup language for GTK user interfaces |
tallero
|
2023-07-01 23:57 (UTC) |
blueprint-compiler-health-git
|
0.8.1+87cedc2c-1 |
2 |
0.07
|
A markup language for GTK user interfaces |
tallero
|
2023-07-02 00:03 (UTC) |
boa-git
|
v0.11.r103.gbd199677a-1 |
1 |
0.00
|
Boa is an embeddable and experimental Javascript engine written in Rust. Currently, it has support for some of the language. |
orphan
|
2021-04-22 14:04 (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) |
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) |
boost.process
|
0.5-1 |
7 |
0.00
|
Flexible framework for the C++ programming language to manage running programs |
FlorianJacob
|
2015-06-23 21:33 (UTC) |
boron
|
2.0.6-1 |
1 |
0.00
|
An interpreted, prototype-based, scripting language similar to Rebol. |
orphan
|
2022-01-22 06:08 (UTC) |
boson
|
0.1-1 |
0 |
0.00
|
boson is an implementation of the meson language written in C11 focusing on portability and simplicity |
Freed
|
2024-04-07 12:56 (UTC) |
bpftrace-git
|
r2483.d3ca1611-1 |
2 |
0.00
|
High-level tracing language for Linux eBPF |
cippaciong
|
2021-12-29 00:15 (UTC) |
bracmat-git
|
6.14.2.r274-1 |
0 |
0.00
|
Programming language for symbolic computation with pattern matching features |
xtradev
|
2023-04-04 11:38 (UTC) |
brain
|
1.0-1 |
1 |
0.00
|
Official compiler of Brain Language |
ryukinix
|
2016-10-03 01:19 (UTC) |
bruski-git
|
1.1.r236.0506501-1 |
0 |
0.00
|
The BruSKI language compiler and platform |
nicbot
|
2020-10-18 21:15 (UTC) |
buck
|
2022.05.05.01-1 |
13 |
0.00
|
A fast build system that encourages the creation of small, reusable modules over a variety of platforms and languages. |
Auerhuhn
|
2024-04-13 22:35 (UTC) |
buf-language-server-git
|
r11.05bbd97-1 |
0 |
0.00
|
Protobuf language server |
mosis99
|
2024-01-02 12:42 (UTC) |
byond
|
515.1633-1 |
10 |
0.00
|
Game server based on the 'Byond' language [Build your own net dream]. |
bug
|
2024-03-15 14:44 (UTC) |
c-intercal
|
0.31-1 |
4 |
0.00
|
A compiler for the INTERCAL language. INTERCAL is the original esoteric language, a farrago of features that will test the mettle of any programmer and bend the minds of most. Includes a compiler, debugger, and sample code. |
corvus_192
|
2021-05-30 11:43 (UTC) |
c-intro-and-ref
|
0.0-1 |
1 |
0.75
|
GNU C Language Introduction and Reference Manual |
micwoj92
|
2024-04-07 22:18 (UTC) |
c0
|
1:553-1 |
4 |
0.00
|
A small safe subset of the C programming language, augmented with contracts |
kopecs
|
2021-08-16 23:29 (UTC) |
c0-bin
|
0.771-1 |
1 |
0.00
|
A small safe subset of the C programming language, augmented with contracts |
kopecs
|
2021-07-10 23:34 (UTC) |
cabbage-bin
|
2.9.0-1 |
0 |
0.00
|
Framework for developing audio plugins with the Csound programming language |
danogentili
|
2023-12-08 05:42 (UTC) |
cafeobj-sbcl
|
1.5.7-1 |
2 |
0.00
|
New generation algebraic specification and programming language (built by SBCL) |
tomoaki
|
2018-03-24 22:03 (UTC) |
cairo-lang
|
2.2.0-1 |
0 |
0.00
|
Cairo language installation |
tomascasagrande
|
2023-09-08 15:30 (UTC) |
calz-bin
|
0.9.2.0-1 |
0 |
0.00
|
A natural language alternative to Unix 'cal' |
djmattyg007
|
2021-06-28 05:48 (UTC) |
camisole-languages
|
1-1 |
0 |
0.00
|
Meta-package for the base languages of camisole |
seirl
|
2018-10-07 17:04 (UTC) |
carbon-ir-git
|
r142.95caf18-4 |
0 |
0.00
|
The carbon intermediate representation language. |
rustemb
|
2020-11-11 03:34 (UTC) |
cattle
|
1.2.2-1 |
10 |
0.00
|
Toolkit for the Brainfuck programming language |
phillid
|
2018-07-24 22:29 (UTC) |
ccls-clang-git
|
20220417-1 |
0 |
0.00
|
C/C++ language server supporting cross references, hierarchies, completion and semantic highlighting, build against llvm-git and clang-git |
Thaodan
|
2022-09-17 02:28 (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) |
cdk-dia
|
0.9.0-1 |
0 |
0.00
|
Cdk-dia diagrams your CDK provisioned infrastructure using the Graphviz dot language. |
pjvds
|
2023-01-20 14:58 (UTC) |
ceylon
|
1.3.3-1 |
6 |
0.00
|
A powerful statically typed language for writing large programs in groups |
ASzc
|
2017-08-22 12:58 (UTC) |
ceylon-git
|
master-1 |
2 |
0.00
|
A powerful statically typed language for writing large programs in groups |
ASzc
|
2015-11-25 17:49 (UTC) |
cfn-guard
|
3.1.0-1 |
2 |
0.00
|
Guard offers a policy-as-code domain-specific language (DSL) to write rules and validate JSON- and YAML-formatted data such as CloudFormation Templates, K8s configurations, and Terraform JSON plans/configurations against those rules. |
mapk0y
|
2024-03-28 01:38 (UTC) |
cfn-guard-git
|
3.0.3.r20.g42e2d5b-1 |
1 |
0.00
|
Guard offers a policy-as-code domain-specific language (DSL) to write rules and validate JSON- and YAML-formatted data such as CloudFormation Templates, K8s configurations, and Terraform JSON plans/configurations against those rules. |
mapk0y
|
2024-02-20 06:10 (UTC) |