| whiley |
0.3.40-1 |
0 |
0.00 |
Whiley Development Kit. A programming language particularly suited to safety-critical systems |
zyphrus
|
| monicelli-git |
r171.f229f3f-1 |
0 |
0.00 |
An esoterical programming language based on the so-called "supercazzole" from the movie Amici Miei, a masterpiece of the Italian comedy. |
zukka
|
| zig-dev-bin |
20210220-1 |
4 |
2.37 |
A general-purpose programming language and toolchain for maintaining robust, optimal, and reusable software |
zhangkaizhao
|
| odin-bin |
0.10.0-1 |
0 |
0.00 |
A fast, concise, readable, pragmatic and open sourced programming language. |
zhangkaizhao
|
| odin |
0.13.0-1 |
0 |
0.00 |
A fast, concise, readable, pragmatic and open sourced programming language. |
zhangkaizhao
|
| libmir-git |
v0.16.0.alpha4.2.gc361dfb-1 |
3 |
0.00 |
Generic Numerical Library for the D Programming language |
zfo
|
| libmir |
0.15.2-1 |
4 |
0.00 |
Generic Numerical Library for the D Programming language |
zfo
|
| chaos |
0.1.0-2 |
1 |
0.07 |
A purely functional programming language that achieves zero cyclomatic complexity |
zethra
|
| python-dg-git |
da8831f-1 |
1 |
0.00 |
A programming language running on CPython VM |
yuvadm
|
| verona |
8-2 |
0 |
0.00 |
Microsoft's Verona programming language interpreter and compiler |
Yuhanun
|
| stm32cubeprog |
2.7.0-1 |
1 |
0.67 |
An all-in-one multi-OS software tool for programming STM32 products. |
yjun
|
| takt |
0.310-2 |
0 |
0.00 |
A text-based music programming language designed by Satoshi Nishimura |
yantene
|
| clipcat |
0.5.0-2 |
1 |
0.05 |
Clipcat is a clipboard manager written in Rust Programming Language. |
yanganto
|
| battlestar |
0.6.1-1 |
1 |
0.00 |
Programming language for creating tiny executables |
xyproto
|
| smlsharp |
4.0.0-1 |
5 |
0.00 |
A new programming language in the Standard ML family |
xuanruiqi
|
| bracmat-git |
6.7.8.r242-2 |
0 |
0.00 |
Programming language for symbolic computation with pattern matching features |
xtradev
|
| 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
|
| 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
|
| mingw-w64-lpsolve |
5.5.2.5-1 |
0 |
0.00 |
a Mixed Integer Linear Programming (MILP) solver (mingw-w64) |
xantares
|
| mingw-w64-glpk |
5.0-1 |
0 |
0.00 |
GNU Linear Programming Kit : solve LP, MIP and other problems. (mingw-w64) |
xantares
|
| mingw-w64-coin-or-csdp |
6.2.0-1 |
0 |
0.00 |
A C library for Semidefinite Programming (mingw-w64) |
xantares
|
| mingw-w64-coin-or-clp |
1.17.6-1 |
0 |
0.00 |
COIN-OR linear programming solver (mingw-w64) |
xantares
|
| mingw-w64-coin-or-cbc |
2.10.5-3 |
0 |
0.00 |
COIN-OR branch-and-cut mixed integer programming solver (mingw-w64) |
xantares
|
| papi |
6.0.0.1-1 |
18 |
0.00 |
Performance Application Programming Interface |
wuxb
|
| processing-bin |
3.5.4-4 |
1 |
0.52 |
Programming environment for creating images, animations and interactions. |
willyb
|
| python-code-chat-git |
1.2.1.r0.g6c15264-1 |
1 |
0.00 |
Source code to HTML translator (literate programming) |
willemw
|
| dcd-git |
0.9.0.r6.cbcc6fa-2 |
2 |
0.00 |
D Completion Daemon: auto-complete for the D programming language |
Wild
|
| testlib |
r125.5eb7c9c-1 |
1 |
0.00 |
A library used to write the auxiliary programs (validators, generators, and so on) for programming contest problems. |
wil93
|
| 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
|
| vim-wakatime-git |
4.0.12.r301.5fb3410-3 |
0 |
0.00 |
Vim plugin for automatic time tracking and metrics generated from your programming activity. |
wiill
|
| ttf-dejavu-sans-code-git |
1.2.2.r1.87feb367-1 |
0 |
0.00 |
Monospaced font with programming ligatures based on DejaVu Sans Mono |
wiill
|
| ttf-dejavu-sans-code |
1.2.2-2 |
7 |
0.00 |
Monospaced font with programming ligatures based on DejaVu Sans Mono. |
wiill
|
| libconcord |
1.4-1 |
18 |
0.00 |
A library for programming Logitech(R) Harmony(TM) remote controls. |
webmeister
|
| congruity |
20-1 |
16 |
0.00 |
A GUI application for programming Logitech(R) Harmony(TM) remote controls. |
webmeister
|
| concordance-cli |
1.4-1 |
15 |
0.00 |
A CLI application for programming Logitech(R) Harmony(TM) remote controls. |
webmeister
|
| ztags-git |
0.1.0-1 |
0 |
0.00 |
ctags support for zig, built with zig |
watzon
|
| kumir2-git |
19.04.2020-1 |
0 |
0.00 |
An educational programming language and IDE in Russian schools |
vtyulb
|
| thrust-git |
1.9.10.r60.g52a8bda4-1 |
0 |
0.00 |
A C++ parallel programming library which resembles the C++ Standard Library |
vicp74
|
| thrust |
1.12.0-1 |
3 |
0.00 |
A C++ parallel programming library which resembles the C++ Standard Library |
vicp74
|
| snap4arduino |
6.2-1 |
1 |
0.00 |
A modification of the Snap! visual programming language that lets you seamlessly interact with almost all versions of the Arduino board. |
ValHue
|
| intellij-idea-ultimate-edition-jre |
2021.1-1 |
367 |
2.43 |
An intelligent IDE for Java, Groovy and other programming languages with advanced refactoring features intensely focused on developer productivity. |
uwolfer
|
| intellij-idea-ultimate-edition |
2021.1-1 |
367 |
2.43 |
An intelligent IDE for Java, Groovy and other programming languages with advanced refactoring features intensely focused on developer productivity. |
uwolfer
|
| gurobi81 |
8.1.0-1 |
0 |
0.00 |
State-of-the-art solver for mathematical programming |
user20159
|
| gurobi80 |
8.0.0-1 |
0 |
0.00 |
State-of-the-art solver for mathematical programming |
user20159
|
| xc3sprog-svn |
0.r795-1 |
5 |
0.00 |
Utilities for programming Xilinx FPGAs, CPLDs, and EEPROMs with the Xilinx Parallel Cable and other JTAG adapters |
uffe
|
| minipro-git |
0.4.r78.gce259af-1 |
10 |
0.42 |
Open source programming utility for autoelectric.cn Minipro TL866 |
uffe
|
| minipro |
0.5-1 |
1 |
0.42 |
Open source programming utility for autoelectric.cn Minipro TL866 |
uffe
|
| ipknot |
0.0.5-1 |
0 |
0.00 |
IPknot for predicting RNA pseudoknot structures using integer programming |
tzok
|
| python-meta |
0.4.1-3 |
0 |
0.00 |
Python Meta Programming |
tyrannis.hawk
|
| jif |
3.5.0-1 |
1 |
0.00 |
Security-typed programming language that extends Java with support for information flow control and access control, enforced at both compile time and run time |
Tyilo
|