congruity
|
21-1 |
16 |
0.00
|
A GUI application for programming Logitech(R) Harmony(TM) remote controls. |
webmeister
|
2023-04-28 06:36 (UTC) |
bito-cli
|
3.0-1 |
0 |
0.00
|
Bito AI - AI assistance for programming |
Khaithang
|
2023-04-26 19:27 (UTC) |
libcollectc-git
|
r616.2302fff-3 |
1 |
0.00
|
Collections C provides generic data structures for the C programming language. |
ewout
|
2023-04-24 10:49 (UTC) |
jetbrains-idea-pj
|
2021.1.3-1 |
0 |
0.00
|
An intelligent IDE for Java, Groovy and other programming languages with advanced refactoring features intensely focused on developer productivity. - fix fcitx cursor bug |
XDwanj
|
2023-04-22 14:59 (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) |
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) |
cimfomfa
|
21.361-1 |
0 |
0.00
|
C utility library for zoem programming language |
orphan
|
2023-04-17 15:06 (UTC) |
arcpp
|
0.21-1 |
0 |
0.00
|
An implementation of the Arc programming language. |
orphan
|
2023-04-16 23:01 (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) |
ldns-git
|
1.8.3.r20.g0ede9674-1 |
0 |
0.00
|
C library for DNS programming |
Chocobo1
|
2023-04-11 07:20 (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) |
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) |
mun-bin
|
0.4.0-1 |
1 |
0.09
|
A programming language empowering creation through iteration - prebuilt binary |
Deltara
|
2023-03-27 18:24 (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) |
swirl-bin
|
0.0.5-1 |
0 |
0.00
|
A High Level, statically typed, Compiled programming language |
EMPTY
|
2023-03-24 17:54 (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) |
rwc
|
r21.80fee50-1 |
0 |
0.00
|
Analog of wc(1) written on Rust programming language. |
countzero
|
2023-03-16 20:28 (UTC) |
bapctools-git
|
r1310.16e23ee-1 |
3 |
0.37
|
Tools for developing ICPC-style programming contest problems. |
rgrootkoerkamp
|
2023-03-13 16:08 (UTC) |
skribilo
|
0.10.0-1 |
1 |
0.00
|
The Ultimate Document Programming Framework |
orphan
|
2023-03-08 09:01 (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) |
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) |
jakt-git
|
r2296.7a35484f-1 |
1 |
0.00
|
The Jakt Programming Language from SerenityOS |
demizer
|
2023-03-01 08:11 (UTC) |
r-rcppparallel
|
5.1.7-1 |
0 |
0.00
|
Parallel Programming Tools for Rcpp |
greyltc
|
2023-02-28 07:37 (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) |
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) |
psf-cozette
|
1.19.0-1 |
0 |
0.00
|
A bitmap programming font optimized for coziness, console version (PSF format) |
Piroro-hs
|
2023-02-09 16:07 (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) |
openocd-git
|
0.12.0.r59.g0b6f53e94-1 |
30 |
0.16
|
Debugging, in-system programming and boundary-scan testing for embedded target devices (git version) |
codyps
|
2023-02-03 14:35 (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) |
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) |
scalafmt
|
3.6.1-2 |
9 |
0.00
|
code formatter for the Scala programming language |
stick
|
2022-12-17 15:27 (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) |
perl-io-async
|
0.802-2 |
1 |
0.00
|
Asynchronous event-driven programming |
orphan
|
2022-11-25 22:11 (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) |
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) |
yolang-git
|
1.5.40-2 |
0 |
0.00
|
Lightweight, simple interpretive programming language |
XiaoDeng3386
|
2022-11-13 02:55 (UTC) |
r-gbutils
|
0.5-1 |
0 |
0.00
|
Utilities for Simulation, Plots, Quantile Functions and Programming |
BioArchLinuxBot
|
2022-11-13 02:06 (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) |
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) |
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-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-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) |
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) |
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) |
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) |
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) |
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) |
voxel-lang
|
1.0.5-1 |
0 |
0.00
|
Voxel Programming Language Installer |
orphan
|
2022-10-11 14:11 (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) |
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) |