718 packages found. Page 1 of 15.

1 2 3 4 5 6 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
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

718 packages found. Page 1 of 15.

1 2 3 4 5 6 ... Next › Last »