|
ruby-docs-rdocs
|
2.6.5-1 |
3 |
0.00
|
Documentation for the Ruby programming language |
tjbp
|
2019-11-16 13:21 (UTC) |
|
ruby-rmagick
|
4.2.6-1 |
25 |
0.00
|
RMagick is an interface between the Ruby programming language and the ImageMagick image processing library |
orphan
|
2022-07-20 13:33 (UTC) |
|
rune-git
|
0.0.1-3 |
0 |
0.00
|
faster, safer, and more productive systems programming language (Unfinished) |
KiYugadgeter
|
2022-12-22 14:29 (UTC) |
|
rust-analysis-git
|
3:1.67.0.r209623.5eef9b2c50d-1 |
27 |
0.00
|
Systems programming language focused on safety, speed and concurrency (Code completion data) |
spider-mario
|
2022-11-10 14:57 (UTC) |
|
rust-docs-git
|
3:1.67.0.r209623.5eef9b2c50d-1 |
27 |
0.00
|
Systems programming language focused on safety, speed and concurrency (Language and API documentation) |
spider-mario
|
2022-11-10 14:57 (UTC) |
|
rust-git
|
3:1.67.0.r209623.5eef9b2c50d-1 |
27 |
0.00
|
Systems programming language focused on safety, speed and concurrency |
spider-mario
|
2022-11-10 14:57 (UTC) |
|
rust-nightly-bin
|
1.66.0_2022.10.29-1 |
61 |
0.00
|
Fast, concurrent, safe. The Rust programming language and its package manager, Cargo. |
SolarAquarion
|
2022-10-31 00:35 (UTC) |
|
rust-src-git
|
3:1.67.0.r209623.5eef9b2c50d-1 |
27 |
0.00
|
Systems programming language focused on safety, speed and concurrency (Source code) |
spider-mario
|
2022-11-10 14:57 (UTC) |
|
rwc
|
r21.80fee50-1 |
0 |
0.00
|
Analog of wc(1) written on Rust programming language. |
countzero
|
2023-03-16 20:28 (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) |
|
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-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-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) |
|
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) |
|
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) |
|
savilerow-bin
|
1.10.0-1 |
0 |
0.00
|
A modelling assistant for Constraint Programming |
laura7089
|
2024-05-18 00:30 (UTC) |
|
scalafmt
|
3.6.1-2 |
9 |
0.00
|
code formatter for the Scala programming language |
stick
|
2022-12-17 15:27 (UTC) |
|
scopes-bin
|
0.15-1 |
0 |
0.00
|
A retargetable programming language & infrastructure |
blinry
|
2019-11-29 23:43 (UTC) |
|
scopes-hg
|
r2177+.e99ac8ce1ce7+-2 |
0 |
0.00
|
Scopes is a retargetable programming language & infrastructure |
s-ol
|
2020-05-14 14:11 (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) |
|
setlx
|
2.7.2-1 |
0 |
0.00
|
Interpreter for the SetlX programming language |
corvus_192
|
2021-05-30 12:01 (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) |
|
sidef
|
24.05-1 |
4 |
0.00
|
A modern object-oriented programming language. |
trizen
|
2024-05-12 07:48 (UTC) |
|
sidef-git
|
24.05.r0.ge7e12037-1 |
1 |
0.00
|
A modern object-oriented programming language (-git version). |
trizen
|
2024-05-12 07:46 (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) |
|
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) |
|
skribilo
|
0.10.0-1 |
1 |
0.00
|
The Ultimate Document Programming Framework |
orphan
|
2023-03-08 09:01 (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) |
|
smlsharp
|
4.0.0-1 |
7 |
0.00
|
A new programming language in the Standard ML family |
xuanruiqi
|
2021-04-08 19:50 (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) |
|
solidity
|
0.8.26-1 |
5 |
0.39
|
Smart contract programming language. |
Spixmaster
|
2024-05-30 06:39 (UTC) |
|
solidity-bin
|
0.8.26-1 |
2 |
0.75
|
Contract-Oriented Programming Language |
phnx47
|
2024-05-21 14:17 (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) |
|
solidity-language-server
|
0.8.2-2 |
0 |
0.00
|
A language server for the Solidity programming language. |
kalex
|
2024-05-05 09:37 (UTC) |
|
spark2014
|
12.fsf-1 |
1 |
0.00
|
Formally defined programming language based on Ada (GNAT FSF version) |
charlie5
|
2023-01-12 09:17 (UTC) |
|
spark2014-bin
|
13.2.0-1 |
0 |
0.00
|
Formally defined programming language based on Ada (Binary version) |
charlie5
|
2024-05-31 07:00 (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) |
|
spipgm-bin
|
2.34-1 |
1 |
0.00
|
Tool for programming serial SPI FlashROM memories attached to PC via parallel port cable |
dviktor
|
2024-06-03 18:47 (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) |
|
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) |
|
starpu
|
1.3.9-3 |
1 |
0.00
|
Task programming library for hybrid architectures |
orphan
|
2021-11-06 11:24 (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) |
|
stm32cubeprog
|
2.16.0-2 |
8 |
0.24
|
An all-in-one multi-OS software tool for programming STM32 products. |
taotieren
|
2024-03-24 02:35 (UTC) |
|
streem
|
201611-2 |
1 |
0.00
|
prototype of stream based programming language |
coderobe
|
2018-03-02 19:04 (UTC) |
|
streem-git
|
r942.4d79ff2-1 |
1 |
0.00
|
prototype of stream based programming language |
coderobe
|
2018-03-04 15:38 (UTC) |
|
sui
|
1.22.0-1 |
1 |
0.09
|
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language. |
Xeonacid
|
2024-04-11 03:40 (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) |
|
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) |
|
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) |
|
svetovid-lib
|
0.5.1-1 |
0 |
0.00
|
Supplement Library for Introductory Programming Courses |
dusansimic
|
2021-11-08 13:51 (UTC) |