|
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) |
|
ada_language_server-git
|
r1393.2dada1b8-1 |
1 |
0.00
|
High performance syntactic and semantic engine for the Ada programming language |
tfl5034
|
2022-02-27 21:35 (UTC) |
|
afnix
|
3.8.0-3 |
1 |
0.00
|
Multi-threaded functional programming language |
meanjollies
|
2024-05-14 08:55 (UTC) |
|
alda-bin
|
2.2.5-1 |
1 |
0.00
|
A music programming language for musicians |
Ajmeade
|
2023-05-16 00:06 (UTC) |
|
alice2-bin
|
2.4-2 |
1 |
0.00
|
An educational software that teaches students computer programming in a 3D environment |
johanv
|
2022-04-25 14:48 (UTC) |
|
alif
|
3.0.32-1 |
1 |
0.00
|
The Alif Arabic Programming Language - لغة البرمجة العربية ألف |
suliman
|
2021-07-07 04:07 (UTC) |
|
alif-git
|
r94.5975e21-1 |
1 |
0.00
|
The Alif Arabic Programming Language - لغة البرمجة العربية ألف |
suliman
|
2021-07-23 14:15 (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) |
|
alusus
|
0.8.1-4 |
1 |
0.00
|
ALUSUS PROGRAMMING LANGUAGE - لغة الأسس البرمجية |
orphan
|
2021-11-11 13:36 (UTC) |
|
aspectj
|
1.9.5-2 |
1 |
0.24
|
seamless aspect-oriented extension to the Java™ programming language |
gabmus
|
2020-01-09 10:42 (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) |
|
battery
|
0.1.24-1 |
1 |
0.00
|
Build System and Package Manager for the Volt Programming Language |
necklace
|
2020-11-27 21:26 (UTC) |
|
c++-gtk-utils
|
2.2.20-1 |
1 |
0.00
|
Classes and functions for programming in GTK+ |
adsun
|
2022-10-02 22:15 (UTC) |
|
c0-bin
|
0.771-1 |
1 |
0.00
|
A small safe subset of the C programming language, augmented with contracts |
kopecs
|
2021-07-10 23:34 (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) |
|
cdk8s-cli
|
2.97.0-1 |
1 |
0.00
|
Define Kubernetes native apps and abstractions using object-oriented programming |
pdxleif
|
2023-09-21 19:07 (UTC) |
|
cgp-library
|
2.4-1 |
1 |
0.00
|
Cross platform Cartesian Genetic Programming implementation designed to be simple to use whilst being highly extendable. |
trougnouf
|
2017-11-07 14:05 (UTC) |
|
chaos
|
0.2.0-1 |
1 |
0.00
|
A purely functional programming language that achieves zero cyclomatic complexity |
orphan
|
2021-08-16 18:02 (UTC) |
|
chigraph-gui-git
|
02decd6f2bf7286bfd95ff779aa97b1535ccf016-2 |
1 |
0.00
|
The GUI for chigraph, a visual programming language |
russellg
|
2019-07-14 20:58 (UTC) |
|
cicada
|
2015.06.24-1 |
1 |
0.00
|
programming language with the following features 1. threaded code based 2. aggressively developed 3. never provide backward compatibility [github zip version] |
xieyuheng
|
2015-07-21 14:44 (UTC) |
|
classicladder
|
0.9.113-1 |
1 |
0.00
|
An open source project to have a free ladder and sequential (grafcet) programming software coded in C language (to be used for educational, training, in Software PLC on PC computers or embedded platforms, ...) |
orphan
|
2020-05-06 19:32 (UTC) |
|
clio-lang
|
0.1.6-1 |
1 |
0.00
|
a pure functional lazy-evaluated programming language |
siever
|
2019-12-19 23:46 (UTC) |
|
clojure-install
|
1.9.0.381-3 |
1 |
0.00
|
The Clojure Programming Language |
spelufo
|
2018-06-10 11:51 (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) |
|
cmpl-bin
|
1.10.0-1 |
1 |
0.00
|
A mathematical programming language and a system for mathematical programming and optimisation of linear optimisation problems. |
JonnyRobbie
|
2016-06-10 16:23 (UTC) |
|
cms-git
|
r3327.d453771-1 |
1 |
0.00
|
CMS, or Contest Management System, is a distributed system for running and (to some extent) organizing a programming contest. |
orphan
|
2016-04-20 21:21 (UTC) |
|
coconut-lang
|
1.6.0-1 |
1 |
0.00
|
Simple, elegant, Pythonic functional programming. |
orphan
|
2022-03-04 08:41 (UTC) |
|
coconut-lang-git
|
0.r1602.36f9240-1 |
1 |
0.00
|
Simple, elegant, Pythonic functional programming. |
orphan
|
2016-06-23 15:57 (UTC) |
|
codemao-kitten3-uos
|
3.7.14-1 |
1 |
0.00
|
源码编辑器 A code editor tailed for programming for kids. |
Integral
|
2024-05-12 01:30 (UTC) |
|
codemao-wood-uos
|
0.1.3-1 |
1 |
0.00
|
海龟编辑器 Turtle Editor (An editor tailed for programming for kids). |
Integral
|
2024-05-12 01:28 (UTC) |
|
cuda-10.2
|
10.2.89-3 |
1 |
0.00
|
NVIDIA's GPU programming toolkit |
jerry73204
|
2020-10-18 20:59 (UTC) |
|
cx
|
0.8.0-2 |
1 |
0.00
|
CX Blockchain Programming Language. skycoin.com/cx |
moe_narrow
|
2022-01-05 20:30 (UTC) |
|
dao-git
|
1783.0e31564f-1 |
1 |
0.00
|
A modern, very lightweight, portable, optionally typed programming language and VM written in C featuring blazingly fast real concurrency, defer, OOP, AOP, bytecode, high-level standard library, advanced modules & bindings and much more! |
dumblob
|
2017-10-11 20:19 (UTC) |
|
dmrconfig-git
|
r245.9e65be7-1 |
1 |
0.00
|
DMRconfig is a utility for programming digital radios via USB programming cable. |
simonvik
|
2021-01-06 07:01 (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) |
|
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-submit
|
7.0.2-1 |
1 |
0.00
|
an automated judge system to run programming contests |
ss1h2a3tw
|
2019-06-18 04:53 (UTC) |
|
droidbattles-git
|
r147.8e47dfe-1 |
1 |
0.00
|
A programming game where you program bots in assembly |
orphan
|
2019-07-16 05:24 (UTC) |
|
emacs-nim-mode
|
0.4.1-4 |
1 |
0.00
|
Emacs mode for the nim programming language |
orphan
|
2019-10-22 06:19 (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) |
|
falion-bin
|
1.0.3-1 |
1 |
0.00
|
An open source, programmed in rust, privacy focused tool and crate for interacting with programming resources (like stackoverflow) fast, efficiently and asynchronously/parallel using the CLI or GUI. |
obscurely
|
2024-05-02 10:33 (UTC) |
|
fsleyes-props
|
1.11.0-1 |
1 |
0.00
|
The fsleyes-props project is an event programming framework, which includes the ability for automatic CLI generation and, optionally, automatic GUI generation (if wxPython is present). It is used by FSLeyes. |
tobac
|
2023-09-28 11:29 (UTC) |
|
functionalplus
|
0.2.24-1 |
1 |
0.00
|
Functional Programming Library for C++ |
tocic
|
2024-04-17 05:37 (UTC) |
|
funktion
|
v1.0.14-1 |
1 |
0.00
|
AWS Lambda style programming model on top of Kubernetes |
avitaltamir
|
2017-08-24 13:12 (UTC) |
|
galasm-git
|
r31.290d0cf-1 |
1 |
0.01
|
Very slightly modified version of Alessandro Zummo's GALasm 2.1, for programming GAL devices (non-commercial license) |
Anderson
|
2023-09-24 17:43 (UTC) |
|
gambit-c
|
4.9.4-4 |
1 |
0.28
|
Efficient implementation of the Scheme programming language |
sonofaglitch
|
2024-03-19 23:08 (UTC) |
|
git-pair
|
1.0.4-2 |
1 |
0.00
|
Pair programming tool to define co-authors in git commits. |
Avahe
|
2019-08-06 03:38 (UTC) |
|
gnatstudio-bin
|
20240506-1 |
1 |
0.00
|
GNAT Programming Studio for Ada binary |
charlie5
|
2024-05-31 06:45 (UTC) |