|
noweb
|
2_13-1 |
10 |
0.00
|
A Simple, Extensible Tool for Literate Programming build against ICON libs and texlive |
aksr
|
2023-08-12 13:49 (UTC) |
|
jetbrains-mps
|
2022.3-1 |
7 |
0.00
|
JetBrains Meta Programming System |
harrietobrien
|
2023-06-21 20:07 (UTC) |
|
solidity-language-server
|
0.7.2-1 |
1 |
0.00
|
A language server for the Solidity programming language. |
kalex
|
2023-06-22 15:31 (UTC) |
|
ada_language_server-bin
|
24.0.4-1 |
1 |
0.00
|
High performance syntactic and semantic engine for the Ada programming language |
tfl5034
|
2024-03-04 03:00 (UTC) |
|
i-use-arch-btw-git
|
0.1.0.r14.c511373-1 |
1 |
0.00
|
Turing-complete programming language |
OverMighty
|
2023-06-19 10:56 (UTC) |
|
ttf-firge
|
0.3.0-5 |
2 |
0.00
|
Firge, a programming font that is a combination of Fira Mono and Genshin Gothic. |
Takumi
|
2023-11-21 07:06 (UTC) |
|
zig-git
|
0.11.0.r3596.gfbb38a7682-1 |
12 |
0.00
|
a programming language prioritizing robustness, optimality, and clarity |
leopoldek
|
2024-04-08 18:38 (UTC) |
|
cozette-otb
|
1.23.2-1 |
15 |
0.00
|
A bitmap programming font optimized for coziness |
twelveeighty
|
2024-01-12 15:43 (UTC) |
|
python36
|
3.6.15-6 |
36 |
0.00
|
Major release 3.6 of the Python high-level programming language |
rixx
|
2023-10-14 21:57 (UTC) |
|
python-pymor
|
2023.2.0-1 |
2 |
0.00
|
pyMOR is a software library for building model order reduction applications with the Python programming language |
peoe
|
2024-01-13 08:39 (UTC) |
|
alire-git
|
v1.2.0.r125.g9cac98b-2 |
1 |
0.00
|
Ada Alire (alr): A library manager for the Ada Programming Language (git top of tree version). |
demizer
|
2023-05-31 19:13 (UTC) |
|
solidity-bin
|
0.8.25-1 |
1 |
0.00
|
Contract-Oriented Programming Language |
phnx47
|
2024-03-14 15:24 (UTC) |
|
snap4arduino
|
6.2-1 |
2 |
0.00
|
A modification of the Snap! visual programming language that lets you seamlessly interact with almost all versions of the Arduino board. |
orphan
|
2020-09-26 11:00 (UTC) |
|
minilibx-git
|
r61.9cd1813-1 |
1 |
0.00
|
A simple X-Window (X11R6) programming API in C suitable for X-beginners. |
taigah
|
2021-08-05 18:44 (UTC) |
|
alda-bin
|
2.2.5-1 |
1 |
0.00
|
A music programming language for musicians |
Ajmeade
|
2023-05-16 00:06 (UTC) |
|
r-purrr
|
1.0.2-1 |
2 |
0.00
|
Functional Programming Tools |
BioArchLinuxBot
|
2023-08-10 12:03 (UTC) |
|
ttf-juliamono
|
0.054-1 |
16 |
0.00
|
JuliaMono is a monospace typeface designed for programming in Julia. |
bart_janssens
|
2024-03-05 22:37 (UTC) |
|
hush-bin
|
0.1.4-1 |
4 |
0.00
|
Hush is a unix shell scripting language based on the Lua programming language |
gahag
|
2022-05-14 19:53 (UTC) |
|
toit
|
2.0.0alpha.146-1 |
4 |
0.00
|
Toit programming language SDK |
floitsch
|
2024-04-22 06:27 (UTC) |
|
gnatstudio-bin
|
20230501-1 |
1 |
0.00
|
GNAT Programming Studio for Ada binary |
charlie5
|
2023-05-11 01:39 (UTC) |
|
otf-cascadia-code-git
|
2105.24.r13.gf1a0b0e6-1 |
1 |
0.00
|
A new monospaced font that includes programming ligatures |
trollixx
|
2021-07-03 02:32 (UTC) |
|
ttf-cascadia-code-git
|
2105.24.r13.gf1a0b0e6-1 |
1 |
0.00
|
A new monospaced font that includes programming ligatures |
trollixx
|
2021-07-03 02:32 (UTC) |
|
clue
|
3.4.7-1 |
1 |
0.00
|
Clue is a programming language that compiles blazingly fast into Lua code with a syntax similar to languages like C or Rust. |
Maiori
|
2024-03-29 12:00 (UTC) |
|
libcollectc-git
|
r616.2302fff-3 |
1 |
0.00
|
Collections C provides generic data structures for the C programming language. |
ewout
|
2023-04-24 10:49 (UTC) |
|
ezasm
|
1.0.2-1 |
1 |
0.00
|
An assembly-like programming language for use in education |
TrevorBrunette
|
2023-09-21 17:10 (UTC) |
|
otf-monocraft
|
3.0-1 |
4 |
0.00
|
A programming font based on the typeface used in Minecraft |
txtsd
|
2023-06-12 11:44 (UTC) |
|
ttf-monocraft
|
3.0-1 |
4 |
0.00
|
A programming font based on the typeface used in Minecraft |
txtsd
|
2023-06-12 11:44 (UTC) |
|
inform7-ide-bin
|
2.0.0_1-1 |
1 |
0.00
|
Inform 7 IDE for the Inform 7 programming language for interactive fiction |
silverhikari
|
2022-09-05 22:03 (UTC) |
|
cuda-10.2
|
10.2.89-3 |
1 |
0.00
|
NVIDIA's GPU programming toolkit |
jerry73204
|
2020-10-18 20:59 (UTC) |
|
libunwind-carbon
|
1.6.2-1 |
3 |
0.00
|
Portable and efficient C programming interface (API) to determine the call-chain of a program (enabled C++ exception support for Carbon language) |
muttleyxd
|
2022-07-20 16:45 (UTC) |
|
go1.19
|
1.19.5-2 |
1 |
0.00
|
Core compiler tools for the Go programming language v1.19 |
arth
|
2023-02-10 10:08 (UTC) |
|
zigmod-bin
|
1:r87-1 |
2 |
0.00
|
A package manager for the Zig programming language |
sourgrasses
|
2023-08-11 15:14 (UTC) |
|
functionalplus
|
0.2.24-1 |
1 |
0.00
|
Functional Programming Library for C++ |
tocic
|
2024-04-17 05:37 (UTC) |
|
choosenim
|
0.8.4-1 |
7 |
0.00
|
choosenim installs the Nim programming language from official downloads and sources, enabling you to easily switch between stable and development compilers. |
orphan
|
2022-07-08 13:56 (UTC) |
|
j9-git
|
r4994.cd65a528-1 |
6 |
0.00
|
J is a modern, high-level, general-purpose, high-performance programming language |
Daniikk1012
|
2024-03-18 18:18 (UTC) |
|
cuda-10.0
|
10.0.130.1-1 |
3 |
0.00
|
NVIDIA's GPU programming toolkit. Version 10.0 |
KarelvdP
|
2019-05-24 12:50 (UTC) |
|
ats2-postiats
|
0.4.2-1 |
12 |
0.00
|
Statically typed programming language |
marsam
|
2021-03-11 01:19 (UTC) |
|
ps2-lua
|
5.1-1 |
1 |
0.00
|
Powerful lightweight programming language designed for extending applications (Sony Playstation® 2 videogame system port). |
tallero
|
2023-08-29 00:18 (UTC) |
|
ats2-contrib
|
0.4.2-1 |
4 |
0.00
|
Extra libraries for the ATS2 programming language |
mdl
|
2021-03-11 01:22 (UTC) |
|
futhark-bin
|
0.25.2-1 |
3 |
0.00
|
A data-parallel functional programming language. |
mbloms
|
2023-08-05 00:52 (UTC) |
|
kumir2-git
|
19.04.2020-1 |
2 |
0.00
|
An educational programming language and IDE in Russian schools |
vtyulb
|
2020-04-19 15:25 (UTC) |
|
coconut-lang-git
|
0.r1602.36f9240-1 |
1 |
0.00
|
Simple, elegant, Pythonic functional programming. |
orphan
|
2016-06-23 15:57 (UTC) |
|
coconut-lang
|
1.6.0-1 |
1 |
0.00
|
Simple, elegant, Pythonic functional programming. |
orphan
|
2022-03-04 08:41 (UTC) |
|
concordance-cli
|
1.5-1 |
16 |
0.00
|
A CLI application for programming Logitech(R) Harmony(TM) remote controls. |
webmeister
|
2023-04-28 06:49 (UTC) |
|
alda
|
2.2.5-1 |
2 |
0.00
|
A music programming language for musicians |
Ajmeade
|
2023-05-15 23:38 (UTC) |
|
ttf-cica
|
5.0.3-1 |
6 |
0.00
|
A Japanese monospace font for programming |
azon
|
2022-03-29 02:47 (UTC) |
|
pygplates
|
0.36.0-1 |
1 |
0.00
|
PyGPlates enables access to GPlates functionality via the Python programming language. |
tamamizu
|
2023-12-16 03:51 (UTC) |
|
lastools-git
|
r653.20e9673-1 |
3 |
0.00
|
Efficient tools for LiDAR processing. Contains LASlib, a C++ programming API for reading / writing LIDAR data stored in standard LAS format. |
adi64
|
2017-11-08 10:56 (UTC) |
|
spark2014-git
|
0.3.draft.r23092.g3e6f33a5e9-1 |
1 |
0.00
|
Formally defined programming language based on Ada (GNAT FSF version) |
nytpu
|
2023-03-18 14:49 (UTC) |
|
mingw-w64-python310-bin
|
3.10.11-1 |
1 |
0.00
|
The Python programming language (native MSVC version) (mingw-w64) |
xantares
|
2023-11-29 18:13 (UTC) |