|
alice-bin
|
3.7.0.0-1 |
16 |
0.00
|
An educational software that teaches students computer programming in a 3D environment |
orphan
|
2022-09-17 16:21 (UTC) |
|
zoem
|
21.341-1 |
1 |
0.00
|
Zoem programming language |
orphan
|
2022-09-30 20:42 (UTC) |
|
aria-git
|
0.0.1.r4.9ffa9e3-1 |
0 |
0.00
|
An experimental low-level programming language built to improve on C. |
shkhuz
|
2022-10-01 17:44 (UTC) |
|
aria
|
0.0.1.r4.9ffa9e3-1 |
0 |
0.00
|
An experimental low-level programming language built to improve on C. |
shkhuz
|
2022-10-01 17:48 (UTC) |
|
ablescript
|
0.5.2-1 |
1 |
0.00
|
The best programming language |
ondra05
|
2022-10-02 19:33 (UTC) |
|
c++-gtk-utils
|
2.2.20-1 |
1 |
0.00
|
Classes and functions for programming in GTK+ |
adsun
|
2022-10-02 22:15 (UTC) |
|
gcommit-git
|
v0.1.2.r9.g812052b-1 |
0 |
0.00
|
A git-plugin that eases pair-programming commits |
jooaodanieel
|
2022-10-04 01:43 (UTC) |
|
pascal-fc
|
1-5 |
0 |
0.00
|
An implementation of pascal with extra constructs for teaching concurrent programming |
laura7089
|
2022-10-05 15:08 (UTC) |
|
ros-noetic-vision-opencv
|
1.16.2-1 |
0 |
0.00
|
ROS - Packages for interfacing ROS with OpenCV, a library of programming functions for real time computer vision. |
acxz
|
2022-10-07 17:25 (UTC) |
|
voxel-lang
|
1.0.5-1 |
0 |
0.00
|
Voxel Programming Language Installer |
orphan
|
2022-10-11 14:11 (UTC) |
|
rust-nightly-bin
|
1.66.0_2022.10.29-1 |
61 |
0.00
|
Fast, concurrent, safe. The Rust programming language and its package manager, Cargo. |
SolarAquarion
|
2022-10-31 00:35 (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) |
|
ocaml-cil-git
|
r4768.673aa00b-1 |
0 |
0.00
|
C Intermediate Language CIL is a front-end for the C programming language that facilitates program analysis and transformation. CIL will parse and typecheck a program, and compile it into a simplified subset of C. |
orphan
|
2022-11-04 16:11 (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) |
|
rust-src-git
|
3:1.67.0.r209623.5eef9b2c50d-1 |
27 |
0.00
|
Systems programming language focused on safety, speed and concurrency (Source code) |
spider-mario
|
2022-11-10 14:57 (UTC) |
|
rust-docs-git
|
3:1.67.0.r209623.5eef9b2c50d-1 |
27 |
0.00
|
Systems programming language focused on safety, speed and concurrency (Language and API documentation) |
spider-mario
|
2022-11-10 14:57 (UTC) |
|
rust-analysis-git
|
3:1.67.0.r209623.5eef9b2c50d-1 |
27 |
0.00
|
Systems programming language focused on safety, speed and concurrency (Code completion data) |
spider-mario
|
2022-11-10 14:57 (UTC) |
|
rust-git
|
3:1.67.0.r209623.5eef9b2c50d-1 |
27 |
0.00
|
Systems programming language focused on safety, speed and concurrency |
spider-mario
|
2022-11-10 14:57 (UTC) |
|
skribilo-git
|
1:0.9.5.r19.g31d6cd3-1 |
2 |
0.00
|
The Ultimate Document Programming Framework from git |
orphan
|
2022-11-11 16:32 (UTC) |
|
r-gbutils
|
0.5-1 |
0 |
0.00
|
Utilities for Simulation, Plots, Quantile Functions and Programming |
BioArchLinuxBot
|
2022-11-13 02:06 (UTC) |
|
yolang-git
|
1.5.40-2 |
0 |
0.00
|
Lightweight, simple interpretive programming language |
XiaoDeng3386
|
2022-11-13 02:55 (UTC) |
|
updiprog-git
|
0.5.r2.99df4f8-1 |
0 |
0.00
|
utility for programming AVR devices with UPDI interface using standard TTL serial port |
ansemjo
|
2022-11-13 12:51 (UTC) |
|
qtjambi
|
6.4.1-2 |
1 |
0.00
|
QtJambi is Qt bindings for the Java programming language originally developed by Trolltech |
WFCody
|
2022-11-16 17:24 (UTC) |
|
perl-io-async
|
0.802-2 |
1 |
0.00
|
Asynchronous event-driven programming |
orphan
|
2022-11-25 22:11 (UTC) |
|
flixel
|
5.0.1-1 |
0 |
0.00
|
A powerful 2D game engine for the Haxe programming language + tools. Make sure you have run 'haxelib setup' before installing this package. |
porta
|
2022-11-26 23:55 (UTC) |
|
scalafmt
|
3.6.1-2 |
9 |
0.00
|
code formatter for the Scala programming language |
stick
|
2022-12-17 15:27 (UTC) |
|
rune-git
|
0.0.1-3 |
0 |
0.00
|
faster, safer, and more productive systems programming language (Unfinished) |
KiYugadgeter
|
2022-12-22 14:29 (UTC) |
|
spark2014
|
12.fsf-1 |
1 |
0.00
|
Formally defined programming language based on Ada (GNAT FSF version) |
charlie5
|
2023-01-12 09:17 (UTC) |
|
openocd-git
|
0.12.0.r59.g0b6f53e94-1 |
30 |
0.14
|
Debugging, in-system programming and boundary-scan testing for embedded target devices (git version) |
codyps
|
2023-02-03 14:35 (UTC) |
|
cms-germany-git
|
r5032.b78d8a4e-1 |
2 |
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. |
lehrgangsserver
|
2023-02-03 21:11 (UTC) |
|
go1.19
|
1.19.5-2 |
1 |
0.00
|
Core compiler tools for the Go programming language v1.19 |
orphan
|
2023-02-10 10:08 (UTC) |
|
arturo-bin
|
0.9.83-1 |
0 |
0.00
|
Simple, expressive & portable programming language for efficient scripting. |
orphan
|
2023-02-11 03:28 (UTC) |
|
r-rcppparallel
|
5.1.7-1 |
0 |
0.00
|
Parallel Programming Tools for Rcpp |
greyltc
|
2023-02-28 07:37 (UTC) |
|
jakt-git
|
r2296.7a35484f-1 |
1 |
0.00
|
The Jakt Programming Language from SerenityOS |
demizer
|
2023-03-01 08:11 (UTC) |
|
mcxx
|
2.3.0.20190627-2 |
0 |
0.00
|
Mercurium is a C/C++/Fortran source-to-source compilation infrastructure aimed at fast prototyping developed by the Programming Models group at the Barcelona Supercomputing Center. |
gamezelda
|
2023-03-06 18:10 (UTC) |
|
guile-goblins
|
0.10-1 |
0 |
0.00
|
Spritely Goblins is a distributed object programming environment for Guile Scheme. |
tealeg
|
2023-03-07 02:49 (UTC) |
|
skribilo
|
0.10.0-1 |
1 |
0.00
|
The Ultimate Document Programming Framework |
orphan
|
2023-03-08 09:01 (UTC) |
|
bapctools-git
|
r1310.16e23ee-1 |
3 |
0.32
|
Tools for developing ICPC-style programming contest problems. |
rgrootkoerkamp
|
2023-03-13 16:08 (UTC) |
|
rwc
|
r21.80fee50-1 |
0 |
0.00
|
Analog of wc(1) written on Rust programming language. |
countzero
|
2023-03-16 20:28 (UTC) |
|
spark2014-git
|
0.3.draft.r23092.g3e6f33a5e9-1 |
1 |
0.00
|
Formally defined programming language based on Ada (GNAT FSF version) |
nytpu
|
2023-03-18 14:49 (UTC) |
|
swirl-bin
|
0.0.5-1 |
0 |
0.00
|
A High Level, statically typed, Compiled programming language |
EMPTY
|
2023-03-24 17:54 (UTC) |
|
testlib-git
|
r229.f28d528-1 |
0 |
0.00
|
C++ implementation of the testlib used on many programming contests in Russia (Russian National Olympiad in Informatics, different stages of ACM-ICPC). |
ftiasch
|
2023-03-27 07:38 (UTC) |
|
mun-bin
|
0.4.0-1 |
1 |
0.08
|
A programming language empowering creation through iteration - prebuilt binary |
Deltara
|
2023-03-27 18:24 (UTC) |
|
bracmat-git
|
6.14.2.r274-1 |
0 |
0.00
|
Programming language for symbolic computation with pattern matching features |
xtradev
|
2023-04-04 11:38 (UTC) |
|
glpk-git
|
5.0.r242.g4e03800-1 |
0 |
0.00
|
GNU Linear Programming Kit: solve LP, MIP and other problems |
Chocobo1
|
2023-04-10 08:32 (UTC) |
|
ldns-git
|
1.8.3.r20.g0ede9674-1 |
0 |
0.00
|
C library for DNS programming |
Chocobo1
|
2023-04-11 07:20 (UTC) |
|
lingo
|
20.0-1 |
0 |
0.00
|
Comprehensive modeling language and solvers for linear, non-linear, and integer programming. |
sukanka
|
2023-04-15 03:50 (UTC) |
|
arcpp
|
0.21-1 |
0 |
0.00
|
An implementation of the Arc programming language. |
orphan
|
2023-04-16 23:01 (UTC) |
|
cimfomfa
|
21.361-1 |
0 |
0.00
|
C utility library for zoem programming language |
orphan
|
2023-04-17 15:06 (UTC) |
|
thrust
|
2.1.0-1 |
4 |
0.00
|
A C++ parallel programming library which resembles the C++ Standard Library |
vicp74
|
2023-04-18 05:44 (UTC) |