cx
|
0.8.0-2 |
1 |
0.00
|
CX Blockchain Programming Language. skycoin.com/cx |
moe_narrow
|
2022-01-05 20:30 (UTC) |
cx-bin
|
0.7.1-7 |
0 |
0.00
|
CX Blockchain Programming Language; latest binary release. skycoin.com/cx |
moe_narrow
|
2022-01-04 19:42 (UTC) |
cx-latest
|
autogenerated-1 |
0 |
0.00
|
CX Skycoin Blockchain Programming Language - most recent github commits (+opengl) |
moe_narrow
|
2021-02-23 01:56 (UTC) |
dafny-bin
|
4.4.0-1 |
2 |
0.00
|
Dafny is a verification-aware programming language |
tchajed
|
2023-12-12 19:55 (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) |
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) |
dart-1.x
|
1.24.3-1 |
0 |
0.00
|
The dart programming language SDK |
bertogs
|
2020-12-19 23:03 (UTC) |
dbasic
|
0.92.0-1 |
0 |
0.00
|
Modern implementation of the original Dartmouth BASIC compilers in the D programming language |
malacology
|
2023-10-20 09:41 (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) |
dexed-ide-bin
|
3.9.11-1 |
11 |
0.00
|
IDE for the D programming language, its compilers, tools and libraries |
seeseemelk
|
2021-07-14 05:53 (UTC) |
dialogblocks
|
5.03-3 |
2 |
0.00
|
Cross-plattform GUI programming assistant - wxwidget |
pschmitt
|
2015-07-29 07:10 (UTC) |
dlib
|
19.24.4-1 |
38 |
0.01
|
A general purpose cross-platform C++ library designed using contract programming and modern C++ techniques |
pingplug
|
2024-04-05 02:36 (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) |
dlib-git
|
r7718.b0e3c360-1 |
2 |
0.00
|
General purpose C++ library using contract programming and modern C++ techniques |
sandsmark
|
2019-12-08 14:08 (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-docs
|
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-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) |
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
|
2016-03-30 17:15 (UTC) |
dumang-ctrl-git
|
VERSION-1 |
0 |
0.00
|
DuMang DK6 Keyboard Programming Tools |
maarroyo
|
2024-04-11 04:28 (UTC) |
eclipse-clp
|
7.0.63-1 |
0 |
0.00
|
Constraint Logic Programming System |
aarroyoc
|
2023-09-10 13:48 (UTC) |
eel-language
|
0.3.6-5 |
5 |
0.00
|
A scripting and programming language |
orphan
|
2019-04-27 17:28 (UTC) |
eiffelstudio-bin
|
20.11.105048-3 |
8 |
0.00
|
IDE for the Eiffel programming language (opensource edition) |
orphan
|
2022-02-10 22:40 (UTC) |
electron-deno-ide
|
0.1.1_beta-6 |
0 |
0.00
|
Deno IDE supported all of programming language |
zxp19821005
|
2024-03-14 04:08 (UTC) |
eli
|
4.8.1-1 |
0 |
0.00
|
A programming environment that supports all phases of translator construction. |
orphan
|
2020-08-21 22:39 (UTC) |
elixir-git
|
1.9.0-1 |
0 |
0.00
|
a functional meta-programming aware language built on top of the Erlang VM |
orphan
|
2019-06-24 15:30 (UTC) |
eltclsh
|
1.17-1 |
2 |
0.00
|
interactive shell for the TCL programming language |
tequa
|
2018-10-10 07:15 (UTC) |
emacs-ats-mode
|
20150609-2 |
0 |
0.00
|
Major mode for ATS programming language. |
soimort
|
2018-03-24 12:20 (UTC) |
emacs-d-mode
|
2.0.12-1 |
5 |
0.00
|
Emacs major mode for the D programming language |
orphan
|
2022-11-03 18:50 (UTC) |
emacs-haxe
|
0.3.3-2 |
6 |
0.18
|
Emacs major mode for the haXe programming language |
micwoj92
|
2024-04-10 20:02 (UTC) |
emacs-julia-mode
|
0.3.r300-1 |
3 |
0.00
|
Emacs major mode for the Julia programming language |
orphan
|
2019-10-13 18:56 (UTC) |
emacs-moonscript-mode
|
r39.56f9047-1 |
1 |
0.18
|
Emacs major mode for the MoonScript programming language |
micwoj92
|
2024-04-10 20: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) |
emacs-nim-mode-git
|
0.4.1.r89.g3fb6643-1 |
0 |
0.00
|
Emacs mode for the nim programming language - from git |
orphan
|
2019-10-22 06:21 (UTC) |
emacs-pure-mode
|
0.68-1 |
5 |
0.00
|
An Emacs major mode for the Pure programming language |
pure-aur
|
2019-08-18 09:27 (UTC) |
emacs-whitespace-mode
|
20150609-2 |
0 |
0.00
|
Major mode for editing Whitespace (an esoteric programming language). |
soimort
|
2021-05-07 14:40 (UTC) |
emojicode
|
1.0.beta.2-2 |
4 |
0.00
|
An open-source, full-blown programming language consisting of emojis |
betseg
|
2021-03-03 19:34 (UTC) |
erusfont
|
0.7-1 |
26 |
0.00
|
A bitmap font for programming and terminal/tty use, greatly inspired from montecarlo and gohufont, many thanks to their creator |
keenerd
|
2015-06-13 04:13 (UTC) |
eterm8
|
1.04-1 |
0 |
0.00
|
IDE for assembly language programming |
malmz
|
2023-10-18 22:58 (UTC) |
etlas-git
|
1.5.1.0.r136.gbbd7c55-1 |
0 |
0.00
|
Etlas, the build tool and package manager for the Eta programming language |
futpib
|
2019-07-18 21:41 (UTC) |
evcxr_jupyter
|
0.17.0-1 |
4 |
0.00
|
A Jupyter Kernel for the Rust programming language. |
Sanpi
|
2023-12-17 08:40 (UTC) |
evjl
|
v0.3.1-3 |
0 |
0.00
|
A low-level programming language, currently in 'alpha' levels of design. |
shakna
|
2019-07-11 07:16 (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) |
ezasm
|
1.0.2-1 |
1 |
0.00
|
An assembly-like programming language for use in education |
TrevorBrunette
|
2023-09-21 17:10 (UTC) |
factor
|
0.99-1 |
32 |
0.43
|
A general purpose, dynamically typed, stack-based programming language. |
megapoliss
|
2024-01-07 15:56 (UTC) |
factor-git
|
0.99.r34513.27b6f73cfb-1 |
17 |
0.00
|
A general purpose, dynamically typed, stack-based programming language |
megapoliss
|
2023-04-21 12:27 (UTC) |
factor-hidpi-git
|
0.98.r1822.d07d256748-2 |
0 |
0.00
|
A general purpose, dynamically typed, stack-based programming language. Patched to function on HiDPI displays. |
orphan
|
2021-09-25 15:07 (UTC) |
falcon
|
0.9.6.8-5 |
9 |
0.00
|
An Open Source, simple, fast and powerful programming language, easy to learn and to feel comfortable with, and a scripting engine ready to empower mission-critical multithreaded applications. |
revel
|
2019-02-05 08:11 (UTC) |