gerbil-scheme-bin
|
0.18.1-1 |
0 |
0.00
|
Gerbil is an opinionated dialect of Scheme designed for Systems Programming, with a state of the art macro and module system on top of the Gambit runtime. |
cvnb
|
2023-12-06 17:53 (UTC) |
fungw
|
1.2.1-1 |
0 |
0.00
|
tiny, portable library written in C (C89) that manages dynamic function calls across different programming languages |
cuvoodoo
|
2022-04-28 11:38 (UTC) |
haxe-git
|
git-1 |
5 |
0.00
|
An open-source high-level multiplatform programming language and compiler that can produce applications and source code for many different platforms from a single code-base |
cthuflu
|
2019-01-28 18:56 (UTC) |
pseint-bin
|
20240122-1 |
13 |
0.10
|
A tool for learning programming basis with a simple spanish pseudocode |
Cristophero
|
2024-05-15 15:52 (UTC) |
vdr-vdrmanager
|
0.15-12 |
2 |
0.00
|
Allows remote programming VDR using VDR-Manager running on Android devices |
CReimer
|
2024-04-24 18:08 (UTC) |
jevois-inventor
|
0.5.0-5 |
2 |
0.00
|
An easy to use GUI for programming the Jevois smart camera |
creikey
|
2019-10-27 09:02 (UTC) |
dafny-git
|
v3.0.0.rpre.rrelease.r1.r256.rgd25ae257-1 |
0 |
0.00
|
Dafny is a verification-aware programming language |
crave
|
2021-03-25 19:52 (UTC) |
python-swig
|
4.2.1-2 |
0 |
0.00
|
SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages. |
cqzw555
|
2024-03-29 02:38 (UTC) |
rwc
|
r21.80fee50-1 |
0 |
0.00
|
Analog of wc(1) written on Rust programming language. |
countzero
|
2023-03-16 20:28 (UTC) |
setlx
|
2.7.2-1 |
0 |
0.00
|
Interpreter for the SetlX programming language |
corvus_192
|
2021-05-30 12:01 (UTC) |
openocd-git
|
0.12.0.r59.g0b6f53e94-1 |
30 |
0.16
|
Debugging, in-system programming and boundary-scan testing for embedded target devices (git version) |
codyps
|
2023-02-03 14:35 (UTC) |
lpcscrypt
|
2.1.1.15-0 |
1 |
0.00
|
Programming tool for LPC1800 and LPC4000 series microcontrollers |
codyps
|
2020-08-18 17:42 (UTC) |
idris2-git
|
latest-3 |
3 |
0.00
|
A purely functional programming language with first class types |
CodingCellist
|
2024-03-01 16:40 (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) |
cpeditor-git
|
7.0.1.r3.g21813202-1 |
4 |
0.00
|
The editor for competitive programming |
coder3101
|
2024-02-17 12:37 (UTC) |
cpeditor
|
6.11.2-1 |
4 |
0.00
|
The editor for competitive programming |
coder3101
|
2024-02-17 05:06 (UTC) |
ttf-proggy-clean
|
1.1.7-1 |
1 |
0.76
|
Monospaced fonts for programming |
codebecile
|
2024-03-19 23:37 (UTC) |
jaksel-language
|
1.1.0-1 |
1 |
0.00
|
Jaksel Script, Programming language very modern and Indonesian style |
cocatrip
|
2022-04-30 11:08 (UTC) |
robocode
|
1.9.5.2-1 |
18 |
0.00
|
Programming game, where the goal is to develop a robot battle tank to battle against other tanks in Java or .NET. The robot battles are running in real-time and on-screen. |
clebermatheus
|
2024-01-12 01:25 (UTC) |
cuda-8.0
|
8.0.61-3 |
3 |
0.00
|
NVIDIA's GPU programming toolkit. Version 8.0 |
clbuttic
|
2017-10-27 07:08 (UTC) |
cdk8s
|
1.0.0beta11-1 |
0 |
0.00
|
Define Kubernetes native apps and abstractions using object-oriented programming |
christoph.gysin
|
2021-04-19 06:08 (UTC) |
tree-sitter-git
|
0.22.6.r29.g604d38e6-1 |
3 |
0.36
|
An incremental parsing system for programming tools |
Chocobo1
|
2024-06-05 08:00 (UTC) |
numbat-git
|
1.10.1.r12.g1fbf8a0-1 |
0 |
0.00
|
A statically typed programming language for scientific computations with first class support for physical dimensions and units |
Chocobo1
|
2024-02-21 19:31 (UTC) |
luajit-git
|
2.1.r140.gc525bcb9-1 |
0 |
0.00
|
Just-In-Time (JIT) compiler for the Lua programming language |
Chocobo1
|
2024-01-08 18:46 (UTC) |
libunwind-git
|
1.7.2.r146.g24dc3b08-1 |
1 |
0.00
|
Portable and efficient C programming interface (API) to determine the call-chain of a program |
Chocobo1
|
2023-10-17 10:31 (UTC) |
ldns-git
|
1.8.3.r20.g0ede9674-1 |
0 |
0.00
|
C library for DNS programming |
Chocobo1
|
2023-04-11 07:20 (UTC) |
glpk-git
|
5.0.r242.g4e03800-1 |
0 |
0.00
|
GNU Linear Programming Kit: solve LP, MIP and other problems |
Chocobo1
|
2023-04-10 08:32 (UTC) |
colm-git
|
0.14.7.r44.g28b6e0a0-4 |
0 |
0.00
|
A programming language designed for the analysis and transformation of computer languages |
Chocobo1
|
2024-05-16 14:47 (UTC) |
avrdude-svn
|
20190105.1429-1 |
1 |
0.00
|
AVRDUDE is an utility to download/upload/manipulate the ROM and EEPROM contents of AVR microcontrollers using the in-system programming technique (ISP). |
Chocobo
|
2019-09-09 20:07 (UTC) |
ttf-juisee
|
0.0.4-1 |
0 |
0.00
|
A font family for programming synthesized JuliaMono and LINE Seed JP |
cheatsc
|
2023-07-27 19:05 (UTC) |
vulkada
|
2024.12.4-1 |
0 |
0.00
|
A complete Vulkan 1.3 thick binding for the Ada 2012 programming language. |
charlie5
|
2024-05-31 07:09 (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
|
12.fsf-1 |
1 |
0.00
|
Formally defined programming language based on Ada (GNAT FSF version) |
charlie5
|
2023-01-12 09:17 (UTC) |
libadalang
|
2:25.0w-1 |
5 |
0.49
|
A high performance semantic engine for the Ada programming language. |
charlie5
|
2024-05-31 06:31 (UTC) |
gnatstudio-bin
|
20240506-1 |
1 |
0.00
|
GNAT Programming Studio for Ada binary |
charlie5
|
2024-05-31 06:45 (UTC) |
gnatstudio
|
1:25.0w-1 |
22 |
0.00
|
GNAT Programming Studio for Ada. |
charlie5
|
2024-05-31 06:44 (UTC) |
ahven
|
2.8-1 |
5 |
0.00
|
A simple unit test framework for the Ada programming language. |
charlie5
|
2024-05-31 07:02 (UTC) |
adaogg
|
2021.10.14-1 |
0 |
0.00
|
A complete interface layer that brings the Ogg, Vorbis, and Theora libraries to the Ada 2012 programming language. |
charlie5
|
2024-05-31 07:01 (UTC) |
robot-karol
|
3.0.4-1 |
0 |
0.00
|
A programming environment for introducing children to programming and algorithm design. |
ChaosKid42
|
2021-07-17 09:03 (UTC) |
mirth-git
|
0.0.1-1 |
0 |
0.00
|
Compiler for the Mirth programming language |
casuallyblue
|
2024-04-18 06:36 (UTC) |
extempore-git
|
v0.8.9.r0.g0368489b-1 |
2 |
0.00
|
A cyber-physical programming environment for live coding |
castix
|
2021-05-22 13:51 (UTC) |
xeus-python
|
0.16.0-1 |
0 |
0.00
|
Jupyter kernel for the Python programming language |
carlosal1015
|
2024-04-18 11:56 (UTC) |
kokkos
|
4.3.01-1 |
2 |
0.00
|
C++ performance portability programming ecosystem |
carlosal1015
|
2024-05-09 12:32 (UTC) |
guesslang
|
2.2.1-2 |
1 |
0.00
|
Detect the programming language of a source code |
carlosal1015
|
2023-05-07 21:28 (UTC) |
ampl-mp
|
3.1.0-3 |
4 |
0.00
|
An open-source library for mathematical programming |
carlosal1015
|
2024-04-04 02:38 (UTC) |
agena-bin
|
3.13.5-1 |
0 |
0.00
|
An Algol-inspired procedural programming language designed for science, scripting, and other applications |
carlosal1015
|
2024-04-23 03:49 (UTC) |
v-analyzer-bin
|
0.0.4-1 |
1 |
1.00
|
Bring IDE features for V programming languages in VS Code, Vim and other editors |
c0rydoras
|
2024-01-12 09:52 (UTC) |
dexed-ide
|
3.9.26-1 |
0 |
0.00
|
IDE for the D programming language, its compilers, tools and libraries |
bug
|
2024-03-15 14:47 (UTC) |
liberation-circuit-git
|
1.0.r24.gbd31bac-1 |
1 |
0.00
|
A real-time strategy/programming game |
buckket
|
2017-03-17 14:11 (UTC) |