teyjus
|
2.1-1 |
1 |
0.00
|
An efficient implementation of the higher-order logic programming language Lambda Prolog |
aspirogrammer
|
2016-04-20 05:43 (UTC) |
testlib-git
|
r229.f28d528-1 |
0 |
0.00
|
C++ implementation of the testlib used on many programming contests in Russia (Russian National Olympiad in Informatics, different stages of ACM-ICPC). |
ftiasch
|
2023-03-27 07:38 (UTC) |
testlib
|
0.9.41-1 |
0 |
0.00
|
A library used to write the auxiliary programs (validators, generators, and so on) for programming contest problems. |
orphan
|
2024-01-22 23:15 (UTC) |
terra-git
|
1.0.0beta2.r22.g55a73e0-2 |
2 |
0.00
|
Low-level system programming language designed to interoperate seamlessly with Lua |
alerque
|
2024-03-28 04:04 (UTC) |
terra-bin
|
1.1.1-1 |
0 |
0.00
|
Low-level system programming language designed to interoperate seamlessly with Lua |
xiota
|
2023-10-18 09:22 (UTC) |
terra
|
1.1.1-2 |
0 |
0.00
|
Low-level system programming language |
tpkessler
|
2023-12-29 15:12 (UTC) |
tcloo
|
1.0.2-1 |
0 |
0.00
|
Tcl extension for object oriented programming. Tcl 8.5 Only!!! |
jnbek
|
2015-06-16 22:22 (UTC) |
tbd
|
2.2-1 |
0 |
0.00
|
A command-line tool to create Text-Based Application Programming Interface (TAPI) files from existing binaries |
sunflsks
|
2021-08-06 02:53 (UTC) |
taoup-git
|
1.1.11.r0.gdb220bc-1 |
0 |
0.00
|
TAO (The Art) of Unix Programming (and related systemic epiphanies) |
PrinceMachiavell
|
2021-02-14 23:01 (UTC) |
tamzen-font
|
1.11.5-1 |
4 |
0.00
|
Bitmapped programming font, based on Tamsyn (powerline, bitmap, ttf, vconsole font) |
twnaing
|
2021-09-11 10:55 (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) |
swirl-bin
|
0.0.5-1 |
0 |
0.00
|
A High Level, statically typed, Compiled programming language |
EMPTY
|
2023-03-24 17:54 (UTC) |
swim-git
|
0.6.0.r7.g89004a3-1 |
0 |
0.00
|
Build tool for the Spade programming language |
sornas
|
2024-03-18 10:39 (UTC) |
swift-language-git
|
2023.12.21a.r6.gf08f86c7161-1 |
0 |
0.00
|
The Swift programming language, taken directly from the Apple repository |
soloturn
|
2023-12-31 15:04 (UTC) |
svetovid-lib-bin
|
0.5.1-1 |
0 |
0.00
|
Supplement Library for Introductory Programming Courses |
dusansimic
|
2024-02-26 18:39 (UTC) |
svetovid-lib
|
0.5.1-1 |
0 |
0.00
|
Supplement Library for Introductory Programming Courses |
dusansimic
|
2021-11-08 13:51 (UTC) |
svetovid-lib-doc
|
0.5.1-1 |
0 |
0.00
|
Supplement Library for Introductory Programming Courses |
dusansimic
|
2021-11-08 13:51 (UTC) |
supercollider-portaudio
|
3.10.2-1 |
0 |
0.00
|
Environment and programming language for real time audio synthesis and algorithmic composition (portaudio api) |
orphan
|
2019-04-07 13:34 (UTC) |
supercollider-git
|
3.11.1.r395.gcd3b936457-1 |
14 |
0.00
|
Environment and programming language for real time audio synthesis and algorithmic composition |
dvzrv
|
2020-09-09 19:30 (UTC) |
sui-bin
|
1.17.3-1 |
0 |
0.00
|
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language. (official binary) |
orphan
|
2024-01-31 08:51 (UTC) |
streem-git
|
r942.4d79ff2-1 |
1 |
0.00
|
prototype of stream based programming language |
coderobe
|
2018-03-04 15:38 (UTC) |
streem
|
201611-2 |
1 |
0.00
|
prototype of stream based programming language |
coderobe
|
2018-03-02 19:04 (UTC) |
statix-git
|
0.5.4.r22.gd324490-2 |
0 |
0.00
|
Lints and suggestions for the nix programming language |
MatthieuL
|
2024-01-23 22:47 (UTC) |
starpu
|
1.3.9-3 |
1 |
0.00
|
Task programming library for hybrid architectures |
orphan
|
2021-11-06 11:24 (UTC) |
stanza
|
0.12.15-1 |
0 |
0.00
|
The reference compiler for Stanza, a high-level multi-paradigm optionally-typed programming language. |
abeaumont
|
2019-04-08 09:54 (UTC) |
spring-roo
|
2.0.0.RELEASE-1 |
0 |
0.00
|
Spring Roo is an easy-to-use productivity tool for rapidly building enterprise applications in the Java programming language. |
scybhe
|
2018-05-30 02:48 (UTC) |
spipgm-bin
|
2.32-1 |
1 |
0.00
|
Tool for programming serial SPI FlashROM memories attached to PC via parallel port cable |
dviktor
|
2022-01-20 18:17 (UTC) |
spark2014-bin
|
13.2.0-1 |
0 |
0.00
|
Formally defined programming language based on Ada (Binary version) |
charlie5
|
2023-11-19 12:25 (UTC) |
solidity-git
|
0.5.0.20181110.9709dfe04-1 |
5 |
0.00
|
The Solidity Contract-Oriented Programming Language (latest unstable git version) |
ekpyron
|
2018-11-10 17:20 (UTC) |
smlsharp
|
4.0.0-1 |
7 |
0.00
|
A new programming language in the Standard ML family |
xuanruiqi
|
2021-04-08 19:50 (UTC) |
skribilo-git
|
1:0.9.5.r19.g31d6cd3-1 |
2 |
0.00
|
The Ultimate Document Programming Framework from git |
orphan
|
2022-11-11 16:32 (UTC) |
skribilo
|
0.10.0-1 |
1 |
0.00
|
The Ultimate Document Programming Framework |
orphan
|
2023-03-08 09:01 (UTC) |
skalibs-musl
|
2.10.0.0-1 |
1 |
0.00
|
A set of general-purpose C programming libraries |
ryosei
|
2021-01-29 11:06 (UTC) |
simlib
|
3.08_20211004-1 |
1 |
0.00
|
A simple SIMulation LIBrary for the C++ programming language |
DouBall
|
2022-01-02 14:26 (UTC) |
sidef-git
|
24.01.r0.g2f780414-1 |
1 |
0.00
|
A modern object-oriented programming language (-git version). |
trizen
|
2024-01-06 17:45 (UTC) |
sidef
|
24.01-1 |
4 |
0.00
|
A modern object-oriented programming language. |
trizen
|
2024-01-06 17:44 (UTC) |
shen-sbcl
|
1:3.0.3-1 |
3 |
0.00
|
A portable functional programming language (SBCL port) |
mkoloberdin
|
2020-02-16 10:40 (UTC) |
setlx
|
2.7.2-1 |
0 |
0.00
|
Interpreter for the SetlX programming language |
corvus_192
|
2021-05-30 12:01 (UTC) |
scryer-prolog
|
0.9.4-1 |
1 |
0.00
|
An open source industrial strength production environment that is also a testbed for bleeding edge research in logic and constraint programming |
aarroyoc
|
2024-03-17 10:21 (UTC) |
scopes-hg
|
r2177+.e99ac8ce1ce7+-2 |
0 |
0.00
|
Scopes is a retargetable programming language & infrastructure |
s-ol
|
2020-05-14 14:11 (UTC) |
scopes-bin
|
0.15-1 |
0 |
0.00
|
A retargetable programming language & infrastructure |
blinry
|
2019-11-29 23:43 (UTC) |
samora-lang
|
0.2.0.r6.7fc9c7b-1 |
0 |
0.00
|
Samora Lang - A Simple Interpreted Programming Language just for Educational Purposes. |
vybraan
|
2024-02-20 19:43 (UTC) |
sage-numerical-backends-gurobi
|
9.3.1-1 |
0 |
0.00
|
Gurobi mixed integer linear programming backend for SageMath |
orphan
|
2021-05-19 06:12 (UTC) |
sac-stdlib-weekly-basic
|
1.3.141-1 |
1 |
0.00
|
The standard library for the Single-Assignment C programming language (weekly build) |
hv15
|
2022-02-08 13:04 (UTC) |
sac-stdlib-weekly
|
1.3.115-2 |
0 |
0.00
|
The standard library for the Single-Assignment C programming language (weekly build) |
hv15
|
2021-05-24 09:49 (UTC) |
sac-compiler-weekly-basic
|
1.3.3.738-1 |
1 |
0.00
|
The compiler (sac2c) of the Single-Assignment C programming language (weekly build) |
hv15
|
2022-02-08 13:03 (UTC) |
sac-compiler-weekly
|
1.3.3.659-1 |
0 |
0.00
|
The compiler (sac2c) of the Single-Assignment C programming language (weekly build) |
hv15
|
2021-05-24 09:45 (UTC) |
rwc
|
r21.80fee50-1 |
0 |
0.00
|
Analog of wc(1) written on Rust programming language. |
countzero
|
2023-03-16 20:28 (UTC) |
rust-git
|
3:1.67.0.r209623.5eef9b2c50d-1 |
28 |
0.00
|
Systems programming language focused on safety, speed and concurrency |
spider-mario
|
2022-11-10 14:57 (UTC) |
rust-docs-git
|
3:1.67.0.r209623.5eef9b2c50d-1 |
28 |
0.00
|
Systems programming language focused on safety, speed and concurrency (Language and API documentation) |
spider-mario
|
2022-11-10 14:57 (UTC) |