|
battlestar
|
0.7.0-2 |
2 |
0.00
|
Programming language for creating tiny executables |
xyproto
|
2022-07-21 13:52 (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) |
|
beancount-reds-plugins
|
0.3.0-1 |
0 |
0.00
|
Miscellaneous plugins for Beancount double entry accounting |
bcb
|
2024-01-07 16:02 (UTC) |
|
bear-git
|
r1053.24d1fc3-1 |
4 |
0.00
|
Tool to generate compilation database for clang tooling |
mlq
|
2021-10-28 09:28 (UTC) |
|
bear2-git
|
2.4.4.0-1 |
0 |
0.00
|
Tool to generate compilation database for clang tooling. In version 2. |
badochov
|
2023-02-04 13:15 (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) |
|
bibellese
|
1.9.1-1 |
0 |
0.00
|
Helps with reading the bible according to various reading plans (German only) |
beedaddy
|
2021-04-26 12:04 (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) |
|
bichon-git
|
0+442.gd69c5e0bf9-1 |
0 |
0.00
|
Tool to determine whether the X server in use is Xwayland |
orphan
|
2022-09-09 09:12 (UTC) |
|
bikexperience
|
5.7.0-3 |
6 |
0.00
|
Software for outdoor training planning and gpx-track-management |
zoe
|
2021-06-14 08:28 (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-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-05-01 06:57 (UTC) |
|
blarb
|
1.3.0-3 |
0 |
0.00
|
The Blarb programming language. |
elimirks
|
2019-07-28 13:58 (UTC) |
|
bluebrick
|
1.9.1-2 |
0 |
0.00
|
BlueBrick Lego Layout Planer |
mysticx
|
2024-04-06 04:13 (UTC) |
|
bluebrick-extras-official
|
1.1-2 |
0 |
0.00
|
BlueBrick Lego Layout Planer - Official Extra Parts |
mysticx
|
2024-04-06 03:40 (UTC) |
|
bluebrick-extras-thirdparty
|
1.1-2 |
0 |
0.00
|
BlueBrick Lego Layout Planer - Third Party Extra Parts |
mysticx
|
2024-04-06 03:40 (UTC) |
|
bluebrick-extras-lgauge
|
1.2-1 |
0 |
0.00
|
BlueBrick Lego Layout Planer - L-Gauge Extra Parts |
mysticx
|
2024-04-06 03:55 (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) |
|
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) |
|
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) |
|
bspwc-git
|
r51.5edc0d1-1 |
1 |
0.00
|
Wayland compositor based on BSPWM |
MarsSeed
|
2019-10-26 13:07 (UTC) |
|
bstone-git
|
r2302.e2e780db-1 |
0 |
0.00
|
Unofficial source port for Blake Stone series (Aliens Of Gold and Planet Strike). |
nvllsvm
|
2024-03-03 21:53 (UTC) |
|
buf-language-server-git
|
r11.05bbd97-1 |
0 |
0.00
|
Protobuf language server |
mosis99
|
2024-01-02 12:42 (UTC) |
|
bumperl
|
0.0.1-1 |
0 |
0.00
|
Semantic version bumper for Erlang/OTP apps |
AeroNotix
|
2015-09-02 16:33 (UTC) |
|
buttermanager
|
2.5.1-1 |
7 |
0.00
|
Graphical tool to create BTRFS snapshots, balance filesystems and upgrade the system safetly |
egarcia
|
2024-02-19 18:43 (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) |
|
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) |
|
c2ffi-git
|
r239.25fcec1-1 |
1 |
0.00
|
Clang-based FFI wrapper generator |
VanLaser
|
2023-09-13 13:07 (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) |
|
caffeinated
|
0.2.2-1 |
2 |
0.00
|
Simple logind and Wayland idle inhibitor |
electrickite
|
2020-07-19 01:45 (UTC) |
|
cage-git
|
0.1.5.r31.g8a00921-1 |
2 |
0.00
|
Kiosk compositor for Wayland |
kyechou
|
2024-01-29 21:07 (UTC) |
|
cagebreak-bin
|
2.3.1-1 |
0 |
0.00
|
Tiling wayland compositor based on cage inspired by ratpoison |
project-repo
|
2024-01-27 17:22 (UTC) |
|
cairo-dock-core-wayland-git
|
3.5.99.alpha2.20240421.2baa3a90-1 |
0 |
0.00
|
Light eye-candy fully themable animated dock with wayland support |
ssfdust
|
2024-04-23 01:27 (UTC) |
|
cairo-dock-plug-ins-wayland-git
|
3.5.99.alpha2.20240421.eda01d88d-1 |
0 |
0.00
|
Plugins for Cairo-Dock with wayland support |
ssfdust
|
2024-04-23 01:33 (UTC) |
|
cairo-lang
|
2.2.0-1 |
0 |
0.00
|
Cairo language installation |
tomascasagrande
|
2023-09-08 15:30 (UTC) |