| agda-git |
2.5.1.r5471.51914041f-2 |
0 |
0.00 |
A dependently typed functional programming language and proof assistant: development version |
johngowers
|
| allegro5-git |
5.1.11.259.g58360b3-1 |
1 |
0.00 |
Portable library mainly aimed at video game and multimedia programming |
Ximik
|
| alpaca |
0.2.8-2 |
0 |
0.00 |
Functional programming inspired by ML for the Erlang VM |
NobbZ
|
| ambienttalk |
2.22-2 |
0 |
0.00 |
Interactive shell for AmbientTalk, an experimental object-oriented distributed programming language. The language is primarily targeted at writing programs deployed in mobile ad hoc networks. |
BjarnoBe
|
| apoo |
2.2-2 |
0 |
0.00 |
An environment for a first course in assembly language programming |
jsh6789
|
| arcbotics-sparki |
1.0.5.5-2 |
1 |
0.00 |
SparkiDuino 1.0.5.5 library and examples to easily start programming AcrBorics Sparki robot using Arduino syntax. |
k2s
|
| arcpp |
0.13.2-1 |
0 |
0.00 |
An implementation of the Arc programming language. |
konfou
|
| arcpp-git |
0.13.2.r0.g946c5c5-1 |
0 |
0.00 |
An implementation of the Arc programming language. (GIT version) |
konfou
|
| aspectc++-bin |
2.2-2 |
0 |
0.00 |
A set of C++ language extensions to facilitate aspect-oriented programming with C/C++ |
orphan
|
| avrdude-svn |
20160328.1388-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
|
| bandicoot-git |
20110702-1 |
0 |
0.00 |
A relational set based programming system. |
keenerd
|
| battlestar |
0.51-1 |
1 |
0.00 |
Programming language for creating tiny executables |
xyproto
|
| blarb |
1.0.0-1 |
0 |
0.00 |
The Blarb programming language. |
elimirks
|
| boost-nowide |
1.64.0-1 |
1 |
0.00 |
Boost.Nowide is a library implemented by Artyom Beilis that make cross platform Unicode aware programming easier. |
orphan
|
| bossa |
1.8-1 |
0 |
0.00 |
Flash programming utility for Atmel's SAM family of flash-based ARM microcontrollers |
mcoffin
|
| bossa-git |
1.8.r48.gb176eee-2 |
0 |
0.00 |
Flash programming utility for Atmel's SAM family of flash-based ARM microcontrollers |
aswild
|
| cafeobj-sbcl |
1.5.7-1 |
2 |
0.00 |
New generation algebraic specification and programming language (built by SBCL) |
tomoaki
|
| cgp-library |
2.4-1 |
0 |
0.00 |
Cross platform Cartesian Genetic Programming implementation designed to be simple to use whilst being highly extendable. |
trougnouf
|
| ch341eeprom-git |
r33.cc398a0-1 |
0 |
0.00 |
A libusb based programming tool for 24xx I²C EEPROMs using the WCH CH341A |
swiftgeek
|
| cheat |
1.0.3-1 |
3 |
0.00 |
A minimal unit testing framework for the C programming language. |
SeriousBug
|
| chicken-xlib-utils |
0.4.2-1 |
0 |
0.00 |
Chicken Scheme Egg: utils for xlib programming |
ryuslash
|
| chigraph |
0.0.1a-1 |
0 |
0.00 |
A visual programming language |
russellg
|
| chigraph-git |
244c0d0a512158d6f126713fc0ca0e2a3b532989-2 |
0 |
0.00 |
A visual programming language |
russellg
|
| chuck-alsa |
1.3.5.2-1 |
0 |
0.00 |
Concurrent, on-the-fly audio programming language |
tjbp
|
| chuck-jack |
1.3.5.2-1 |
0 |
0.00 |
Concurrent, on-the-fly audio programming language |
tjbp
|
| 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
|
| cicada-git |
2015.06.24-1 |
3 |
0.00 |
programming language with the following features 1. threaded code based 2. aggressively developed 3. never provide backward compatibility [github git version] |
xieyuheng
|
| circa-git |
r4794.425b4a304-1 |
1 |
0.00 |
Programming language designed for live coding |
haawda
|
| cms |
1.2.0-2 |
0 |
0.00 |
CMS, or Contest Management System, is a distributed system for running and (to some extent) organizing a programming contest. |
wil93
|
| cms-germany-git |
r3802.4d519c16-4 |
1 |
0.00 |
CMS, or Contest Management System, is a distributed system for running and (to some extent) organizing a programming contest. This is a fork used for the German IOI team selection process. |
ph111p
|
| 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. |
wil93
|
| cms-oia-git |
1.3.0-2 |
0 |
0.00 |
CMS, or Contest Management System, is a distributed system for running and (to some extent) organizing a programming contest. |
possum
|
| coconut-lang |
1.2.3-1 |
0 |
0.00 |
Simple, elegant, Pythonic functional programming. |
keenerd
|
| coconut-lang-git |
0.r1602.36f9240-1 |
0 |
0.00 |
Simple, elegant, Pythonic functional programming. |
keenerd
|
| coinor-csdp |
6.1.1-3 |
3 |
0.00 |
A C library for Semidefinite Programming (SDP) by B. Borchers. |
ido
|
| colm-dev |
0.13.0.5-1 |
0 |
0.00 |
Programming language designed for analysis and transformation of computer languages (development version) |
bacondropped
|
| cpp-taskflow |
1.0.3-1 |
0 |
0.00 |
Fast C++ Parallel Programming with Task Dependencies |
akstrfn
|
| crystal-icr-git |
v0.4.0.r5.4495b1d-1 |
0 |
0.00 |
Interactive console for Crystal programming language. Git version. |
notramo
|
| csound-git |
6.11.0.r29519.g65c13417e-1 |
0 |
0.00 |
A programming language for sound rendering and signal processing. |
spinnylights
|
| cuda-7.0 |
7.0.28-1 |
1 |
0.00 |
NVIDIA's GPU programming toolkit - Frozen at version 7.0 |
rharriso
|
| cuda-7.0-compat |
7.0.28-1 |
1 |
0.00 |
NVIDIA's GPU programming toolkit - Frozen at version 7.0 |
xgdgsc
|
| 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
|
| ddt |
0.1.0-1 |
0 |
0.00 |
platform-agnostic video game programming tools |
tomtsagk
|
| domjudge |
5.1.2-1 |
0 |
0.00 |
programming contest jury system |
giniu
|
| dspatch |
3.00-1 |
0 |
0.00 |
A powerful C++ flow-based programming library that allows you to create and route (or "patch") high performance data processing circuits. |
hpfmn
|
| dub-arm |
1.4.0-2 |
0 |
0.00 |
Developer package manager for D programming language |
orphan
|
| dyncall |
1.0-1 |
0 |
0.00 |
Calls any plain C function with an argument list created dynamically. |
beroal
|
| eclipse-goclipse |
0.16.1-1 |
0 |
0.00 |
Eclipse IDE for the Go programming language |
darose
|
| eel-language |
0.3.6-4 |
5 |
0.00 |
A scripting and programming language |
haawda
|
| emacs-ats-mode |
20150609-2 |
0 |
0.00 |
Major mode for ATS programming language. |
soimort
|