ada_language_server
|
2:24.0w-1 |
1 |
0.00
|
High performance syntactic and semantic engine for the Ada programming language. |
tfl5034
|
2023-06-15 09:25 (UTC) |
eltclsh
|
1.17-1 |
2 |
0.00
|
interactive shell for the TCL programming language |
tequa
|
2018-10-10 07:15 (UTC) |
zig-dev-bin
|
1:0.12.0_dev.3433.g640acf862-1 |
16 |
0.66
|
A general-purpose programming language and toolchain for maintaining robust, optimal, and reusable software |
Techcable
|
2024-03-24 07:50 (UTC) |
guile-goblins
|
0.10-1 |
0 |
0.00
|
Spritely Goblins is a distributed object programming environment for Guile Scheme. |
tealeg
|
2023-03-07 02:49 (UTC) |
dafny-bin
|
4.4.0-1 |
2 |
0.00
|
Dafny is a verification-aware programming language |
tchajed
|
2023-12-12 19:55 (UTC) |
stm32cubeprog
|
2.16.0-2 |
8 |
0.57
|
An all-in-one multi-OS software tool for programming STM32 products. |
taotieren
|
2024-03-24 02:35 (UTC) |
python-nrf-command-line-tools
|
10.24.1-0 |
2 |
0.02
|
The nRF Command Line Tools is used for development, programming and debugging of Nordic Semiconductor's nRF51, nRF52, nRF53 and nRF91 Series devices. (Python) |
taotieren
|
2024-04-13 05:54 (UTC) |
nrf-command-line-tools
|
10.24.1-0 |
2 |
0.02
|
The nRF Command Line Tools is used for development, programming and debugging of Nordic Semiconductor's nRF51, nRF52, nRF53 and nRF91 Series devices. |
taotieren
|
2024-04-13 05:54 (UTC) |
mounriver-studio-toolchain-openocd-bin
|
1.91-0 |
4 |
0.01
|
MRS Toolchain OpenOCD supports erasure, programming, verification and debugging of the chip. |
taotieren
|
2024-04-21 09:17 (UTC) |
lpcscrypt-bin
|
2.1.2-2 |
0 |
0.00
|
LPCScrypt is the recommended tool for programming the latest versions of CMSIS-DAP and J-Link firmware onto boards with Link2/LPC-Link2 debug probes. |
taotieren
|
2023-08-07 17:29 (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) |
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) |
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) |
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) |
julia-bin
|
1.10.2-1 |
31 |
0.02
|
High-level, high-performance, dynamic programming language - official binaries |
swiftscythe
|
2024-03-03 21:59 (UTC) |
dlib-cuda
|
19.24.3-1 |
3 |
0.00
|
A general purpose cross-platform C++ library designed using contract programming and modern C++ techniques |
swiftscythe
|
2024-03-10 23:30 (UTC) |
vsprog-git
|
a-1 |
1 |
0.00
|
Versaloon Programmer Platform is a generic framework for MCU programming. Unofficial repo! |
swiftgeek
|
2019-08-10 20:52 (UTC) |
ch341eeprom-git
|
r33.cc398a0-1 |
0 |
0.00
|
A libusb based programming tool for 24xx I²C EEPROMs using the WCH CH341A |
swiftgeek
|
2019-08-10 20:56 (UTC) |
profont-otb
|
1.0.1-1 |
2 |
0.00
|
A small bitmap font which is absolutely great for programming (OTB version) |
svanrossem
|
2021-05-03 12:01 (UTC) |
swift-bin
|
5.10-1 |
83 |
0.82
|
Binary builds of the Swift programming language |
susurri
|
2024-03-06 18:06 (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) |
vim-scala-git
|
20150130-2 |
24 |
0.00
|
Vim support files for the Scala programming language, from the official Scala Github repository |
sumito3478
|
2015-06-29 21:29 (UTC) |
alif-git
|
r94.5975e21-1 |
1 |
0.00
|
The Alif Arabic Programming Language - لغة البرمجة العربية ألف |
suliman
|
2021-07-23 14:15 (UTC) |
alif
|
3.0.32-1 |
1 |
0.00
|
The Alif Arabic Programming Language - لغة البرمجة العربية ألف |
suliman
|
2021-07-07 04:07 (UTC) |
lingo
|
20.0-1 |
0 |
0.00
|
Comprehensive modeling language and solvers for linear, non-linear, and integer programming. |
sukanka
|
2023-04-15 03:50 (UTC) |
geogram-git
|
r117.eb6a4483-1 |
0 |
0.00
|
a programming library with geometric algorithms |
subhuman22
|
2022-03-14 07:46 (UTC) |
scalafmt
|
3.6.1-2 |
9 |
0.00
|
code formatter for the Scala programming language |
stick
|
2022-12-17 15:27 (UTC) |
domjudge-submit
|
7.0.2-1 |
1 |
0.00
|
an automated judge system to run programming contests |
ss1h2a3tw
|
2019-06-18 04:53 (UTC) |
domjudge-judgehost
|
7.0.2-1 |
1 |
0.00
|
an automated judge system to run programming contests |
ss1h2a3tw
|
2019-06-18 04:53 (UTC) |
domjudge-domserver
|
7.0.2-1 |
1 |
0.00
|
an automated judge system to run programming contests |
ss1h2a3tw
|
2019-06-18 04:53 (UTC) |
domjudge-docs
|
7.0.2-1 |
1 |
0.00
|
an automated judge system to run programming contests |
ss1h2a3tw
|
2019-06-18 04:53 (UTC) |
qwtplot3d-qt5
|
0.2.7-3 |
4 |
0.00
|
Qt/OpenGL-based C++ programming library containing 3d-widgets |
srtlg
|
2020-05-09 19:21 (UTC) |
csound-git
|
6.12.2.r81.g4b83486dd-1 |
0 |
0.00
|
A programming language for sound rendering and signal processing. |
spinnylights
|
2018-12-12 00:35 (UTC) |
rust-src-git
|
3:1.67.0.r209623.5eef9b2c50d-1 |
28 |
0.00
|
Systems programming language focused on safety, speed and concurrency (Source code) |
spider-mario
|
2022-11-10 14:57 (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) |
rust-analysis-git
|
3:1.67.0.r209623.5eef9b2c50d-1 |
28 |
0.00
|
Systems programming language focused on safety, speed and concurrency (Code completion data) |
spider-mario
|
2022-11-10 14:57 (UTC) |
python-pulp
|
2.8.0-1 |
4 |
0.00
|
A Linear Programming modeler written in Python |
spider-mario
|
2024-02-02 19:39 (UTC) |
perl-splat-git
|
1.004.r0.g266d711-1 |
0 |
0.00
|
SPLAT programming language for the MFM simulator. |
spencerharmon
|
2018-12-10 18:57 (UTC) |
clojure-install
|
1.9.0.381-3 |
1 |
0.00
|
The Clojure Programming Language |
spelufo
|
2018-06-10 11:51 (UTC) |
zigmod-bin
|
1:r87-1 |
2 |
0.00
|
A package manager for the Zig programming language |
sourgrasses
|
2023-08-11 15:14 (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) |
swim
|
0.7.0-1 |
1 |
0.57
|
Build tool for the Spade programming language |
sornas
|
2024-03-22 13:47 (UTC) |
gambit-c
|
4.9.4-4 |
1 |
0.65
|
Efficient implementation of the Scheme programming language |
sonofaglitch
|
2024-03-19 23:08 (UTC) |
pseuco-ide
|
v2.0.4-1 |
0 |
0.00
|
An IDE for the pseuCo programming language written in Kotlin. Uses the pseuco-java-compiler internally. |
someonewithpc
|
2020-06-21 22:04 (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) |
swift-language
|
5.9.2-2 |
45 |
0.00
|
The Swift programming language and debugger |
soloturn
|
2024-01-01 08:14 (UTC) |
swift-bin-development
|
4:5.9.DEVELOPMENT-1 |
4 |
0.01
|
Binary builds of the Swift programming language (dev snapshot) |
soloturn
|
2023-08-03 21:14 (UTC) |
java-cef-git
|
r285.23a6e96-1 |
0 |
0.00
|
Java Chromium Embedded Framework (JCEF). A simple framework for embedding Chromium-based browsers in other applications using the Java programming language. |
soloturn
|
2021-11-07 10:07 (UTC) |
rust-nightly-bin
|
1.66.0_2022.10.29-1 |
61 |
0.01
|
Fast, concurrent, safe. The Rust programming language and its package manager, Cargo. |
SolarAquarion
|
2022-10-31 00:35 (UTC) |