python-pulp
|
2.8.0-1 |
4 |
0.00
|
A Linear Programming modeler written in Python |
spider-mario
|
2024-02-02 19:39 (UTC) |
otf-unscii-16-full
|
2.1-1 |
4 |
0.05
|
Unscii is a set of bitmapped Unicode fonts based on classic system fonts. Unscii attempts to support character cell art well while also being suitable for terminal and programming use. Full unicode support. |
Ferk
|
2023-11-24 23:42 (UTC) |
otf-monocraft
|
3.0-1 |
4 |
0.00
|
A programming font based on the typeface used in Minecraft |
txtsd
|
2023-06-12 11:44 (UTC) |
ttf-monocraft
|
3.0-1 |
4 |
0.00
|
A programming font based on the typeface used in Minecraft |
txtsd
|
2023-06-12 11:44 (UTC) |
odin-git
|
r8682.5ac7fe453-1 |
4 |
0.24
|
A fast, concise, readable, pragmatic and open sourced programming language. |
FabioLolix
|
2023-07-26 15:47 (UTC) |
odin-dev-bin
|
2022.10-1 |
4 |
0.00
|
A fast, concise, readable, pragmatic and open sourced programming language. |
orphan
|
2022-10-19 21:45 (UTC) |
mounriver-studio-toolchain-openocd-bin
|
1.91-0 |
4 |
0.01
|
MRS Toolchain OpenOCD supports erasure, programming, verification and debugging of the chip. |
taotieren
|
2024-04-21 09:17 (UTC) |
minipro
|
0.6-1 |
4 |
0.00
|
Open source programming utility for autoelectric.cn Minipro TL866 |
uffe
|
2022-09-24 20:20 (UTC) |
mingw-w64-rust-bin
|
1.77.1-1 |
4 |
0.00
|
Systems programming language focused on safety, speed and concurrency (official build, mingw-w64) |
pingplug
|
2024-04-01 14:12 (UTC) |
lush
|
1.2.1-3 |
4 |
0.00
|
An object-oriented programming language designed for researchers, experimenters, and engineers interested in large-scale numerical and graphic applications. |
MajoranaOedipus
|
2024-04-21 18:46 (UTC) |
lua-moses-git
|
1.6.1.1.r1.gded0a9b-1 |
4 |
0.00
|
Utility library for functional programming in Lua |
orphan
|
2018-05-12 05:43 (UTC) |
libmir
|
0.15.2-1 |
4 |
0.00
|
Generic Numerical Library for the D Programming language |
zfo
|
2016-08-05 14:35 (UTC) |
libadalang
|
2:24.0w-1 |
4 |
0.00
|
A high performance semantic engine for the Ada programming language. |
charlie5
|
2023-06-16 09:41 (UTC) |
lejos-nxj
|
0.9.1.beta3-4 |
4 |
0.00
|
A firmware replacement and toolchain for programming the Lego NXT in Java |
ids1024
|
2015-10-08 04:52 (UTC) |
lean4
|
4.0.0.rc4-1 |
4 |
0.00
|
Lean 4 programming language and theorem prover |
dariost
|
2023-08-31 05:05 (UTC) |
laslib-git
|
r653.20e9673-2 |
4 |
0.00
|
LASlib is a C++ programming API for reading / writing LIDAR data stored in standard LAS format. |
adi64
|
2017-11-08 10:43 (UTC) |
hush-bin
|
0.1.4-1 |
4 |
0.00
|
Hush is a unix shell scripting language based on the Lua programming language |
gahag
|
2022-05-14 19:53 (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) |
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) |
cpeditor-git
|
7.0.1.r3.g21813202-1 |
4 |
0.00
|
The editor for competitive programming |
coder3101
|
2024-02-17 12:37 (UTC) |
cpeditor
|
6.11.2-1 |
4 |
0.00
|
The editor for competitive programming |
coder3101
|
2024-02-17 05:06 (UTC) |
c0
|
1:553-1 |
4 |
0.00
|
A small safe subset of the C programming language, augmented with contracts |
kopecs
|
2021-08-16 23:29 (UTC) |
ats2-contrib
|
0.4.2-1 |
4 |
0.00
|
Extra libraries for the ATS2 programming language |
mdl
|
2021-03-11 01:22 (UTC) |
ampl-mp
|
3.1.0-3 |
4 |
0.00
|
An open-source library for mathematical programming |
carlosal1015
|
2024-04-04 02:38 (UTC) |
xxiivv-orca-git
|
r988.105371b-1 |
3 |
0.00
|
A two-dimensional esoteric programming language in which every letter of the alphabet is an operator |
IBArbitrary
|
2021-12-10 13:50 (UTC) |
vim-gocode
|
20170907-1 |
3 |
0.00
|
An autocompletion daemon for the Go programming language (vim scripts) |
navigaid
|
2017-09-16 18:23 (UTC) |
shen-sbcl
|
1:3.0.3-1 |
3 |
0.00
|
A portable functional programming language (SBCL port) |
mkoloberdin
|
2020-02-16 10:40 (UTC) |
ruby-docs-rdocs
|
2.6.5-1 |
3 |
0.00
|
Documentation for the Ruby programming language |
tjbp
|
2019-11-16 13:21 (UTC) |
pure-meta-multimedia
|
1-3 |
3 |
0.00
|
Pure programming language, multimedia package -- interfaces to audio, MIDI, OSC, Faust, Pd |
pure-aur
|
2015-06-13 20:57 (UTC) |
pure-meta-complete
|
1-2 |
3 |
0.00
|
Pure programming language, complete package -- the whole shebang |
pure-aur
|
2015-06-13 20:57 (UTC) |
pure-g2
|
0.3-2 |
3 |
0.00
|
2D graphics interface for the Pure programming language |
pure-aur
|
2015-06-13 20:59 (UTC) |
pd-pure
|
0.26-1 |
3 |
0.00
|
Loader plugin for the Pure programming language which lets you write external Pd objects in Pure |
pure-aur
|
2018-10-05 17:00 (UTC) |
otf-lotion-git
|
r10.0af988d-2 |
3 |
0.00
|
A free monospace font for programming! |
orphan
|
2020-02-01 03:33 (UTC) |
otf-fira-code-symbol
|
1.206-2 |
3 |
0.00
|
Fira Code: monospaced font with programming ligatures (symbol font). |
neon64
|
2020-10-01 12:20 (UTC) |
openocd-picoprobe
|
makepkg.0.g4f2ae6197-1 |
3 |
0.00
|
Debugging, in-system programming and boundary-scan testing for embedded target devices (raspberry pi pico version) |
Eeems
|
2023-05-14 23:19 (UTC) |
openmusic-bin
|
6.19-1 |
3 |
0.00
|
A visual programming language designed for music composition |
daniel.appelt
|
2021-09-19 12:06 (UTC) |
mingw-w64-rust
|
1.77.1-1 |
3 |
0.00
|
Systems programming language focused on safety, speed and concurrency (mingw-w64) |
pingplug
|
2024-04-01 14:37 (UTC) |
libunwind-carbon
|
1.6.2-1 |
3 |
0.00
|
Portable and efficient C programming interface (API) to determine the call-chain of a program (enabled C++ exception support for Carbon language) |
muttleyxd
|
2022-07-20 16:45 (UTC) |
libmir-git
|
v0.16.0.alpha4.2.gc361dfb-1 |
3 |
0.00
|
Generic Numerical Library for the D Programming language |
zfo
|
2016-08-05 14:32 (UTC) |
lastools-git
|
r653.20e9673-1 |
3 |
0.00
|
Efficient tools for LiDAR processing. Contains LASlib, a C++ programming API for reading / writing LIDAR data stored in standard LAS format. |
adi64
|
2017-11-08 10:56 (UTC) |
labview-2022
|
1-5 |
3 |
0.03
|
A system-design platform and development environment for a visual programming language from National Instruments. |
FlashNoob98
|
2023-07-01 00:14 (UTC) |
idris2-git
|
latest-3 |
3 |
0.01
|
A purely functional programming language with first class types |
CodingCellist
|
2024-03-01 16:40 (UTC) |
icon-git
|
1:9.5.22e-1 |
3 |
0.00
|
The Icon programming language |
aksr
|
2022-08-05 16:29 (UTC) |
genius
|
1.0.27-3 |
3 |
0.00
|
Advanced calculator including a mathematical programming language |
orphan
|
2022-06-18 21:14 (UTC) |
futhark-bin
|
0.25.2-1 |
3 |
0.00
|
A data-parallel functional programming language. |
mbloms
|
2023-08-05 00:52 (UTC) |
funnelweb
|
3.2.0-1 |
3 |
0.00
|
A powerful literate-programming macro preprocessor. |
aksr
|
2015-06-28 07:52 (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) |
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) |
cwebx
|
3.52-2 |
3 |
0.00
|
The CWEBx system for Structured Software Documentation (Literate Programming) in C. |
aksr
|
2022-11-06 21:22 (UTC) |
cuda11.1
|
11.1.1-3 |
3 |
0.03
|
NVIDIA's GPU programming toolkit (version 11.1) |
dbermond
|
2023-06-20 02:36 (UTC) |