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) |
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) |
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) |
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) |
bito-cli
|
3.0-1 |
0 |
0.00
|
Bito AI - AI assistance for programming |
Khaithang
|
2023-04-26 19:27 (UTC) |
congruity
|
21-1 |
16 |
0.00
|
A GUI application for programming Logitech(R) Harmony(TM) remote controls. |
webmeister
|
2023-04-28 06:36 (UTC) |
libconcord
|
1.5-1 |
18 |
0.00
|
A library for programming Logitech(R) Harmony(TM) remote controls. |
webmeister
|
2023-04-28 06:49 (UTC) |
concordance-cli
|
1.5-1 |
16 |
0.00
|
A CLI application for programming Logitech(R) Harmony(TM) remote controls. |
webmeister
|
2023-04-28 06:49 (UTC) |
mingw-w64-lpsolve
|
5.5.2.11-1 |
0 |
0.00
|
a Mixed Integer Linear Programming (MILP) solver (mingw-w64) |
xantares
|
2023-05-02 16:47 (UTC) |
flix
|
0.35.0-1 |
0 |
0.00
|
Next-generation reliable, safe, concise, and functional-first programming language. |
sam.ezeh
|
2023-05-04 12:49 (UTC) |
memeassembly
|
1.6-3 |
2 |
0.01
|
A Meme-based programming language |
kammt
|
2023-05-07 14:03 (UTC) |
guesslang
|
2.2.1-2 |
1 |
0.00
|
Detect the programming language of a source code |
carlosal1015
|
2023-05-07 21:28 (UTC) |
python-pasp-git
|
r270.28a64dd-1 |
0 |
0.00
|
Probabilistic answer set programming (install from git) |
RenatoLG
|
2023-05-09 18:07 (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) |
papi-cuda
|
7.0.1-2 |
0 |
0.00
|
Performance Application Programming Interface (with CUDA componet) |
hv15
|
2023-05-15 08:24 (UTC) |
alda
|
2.2.5-1 |
2 |
0.00
|
A music programming language for musicians |
Ajmeade
|
2023-05-15 23:38 (UTC) |
alda-bin
|
2.2.5-1 |
1 |
0.00
|
A music programming language for musicians |
Ajmeade
|
2023-05-16 00:06 (UTC) |
nim-git
|
1:1.6.8.r1359.a852b2e9cf-1 |
9 |
0.00
|
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority). |
0x647262
|
2023-05-20 16:26 (UTC) |
nimble-git
|
1:1.6.8.r1359.a852b2e9cf-1 |
9 |
0.00
|
Package manager for the Nim programming language |
0x647262
|
2023-05-20 16:26 (UTC) |
blackvoxel
|
2.5-1 |
3 |
0.01
|
Game of automation and programming in a voxel world |
patlefort
|
2023-05-23 01:40 (UTC) |
alire-git
|
v1.2.0.r125.g9cac98b-2 |
1 |
0.00
|
Ada Alire (alr): A library manager for the Ada Programming Language (git top of tree version). |
demizer
|
2023-05-31 19:13 (UTC) |
perl-badger
|
0.16-1 |
0 |
0.00
|
Perl Application Programming Toolkit |
orphan
|
2023-06-08 19:31 (UTC) |
python37
|
3.7.17-1 |
32 |
0.12
|
Major release 3.7 of the Python high-level programming language |
greut
|
2023-06-14 07:53 (UTC) |
i-use-arch-btw-git
|
0.1.0.r14.c511373-1 |
1 |
0.00
|
Turing-complete programming language |
OverMighty
|
2023-06-19 10:56 (UTC) |
cuda11.1
|
11.1.1-3 |
3 |
0.02
|
NVIDIA's GPU programming toolkit (version 11.1) |
dbermond
|
2023-06-20 02:36 (UTC) |
cuda11.1-tools
|
11.1.1-3 |
3 |
0.02
|
NVIDIA's GPU programming toolkit (extra tools: nvvp, nsight) (version 11.1) |
dbermond
|
2023-06-20 02:36 (UTC) |
jetbrains-mps
|
2022.3-1 |
7 |
0.00
|
JetBrains Meta Programming System |
harrietobrien
|
2023-06-21 20:07 (UTC) |
labview-2022
|
1-5 |
3 |
0.01
|
A system-design platform and development environment for a visual programming language from National Instruments. |
FlashNoob98
|
2023-07-01 00:14 (UTC) |
hexa-git
|
232-1 |
1 |
0.00
|
Hexa is a programming language in an early stage of development |
expwez
|
2023-07-04 22:49 (UTC) |
gren-bin
|
0.3.0-1 |
0 |
0.00
|
Compiler for the Gren programming language. |
bakseter
|
2023-07-07 14:19 (UTC) |
picat
|
3.5-1 |
2 |
0.00
|
A simple, and yet powerful, logic-based multi-paradigm programming language aimed for general-purpose applications. |
abeaumont
|
2023-07-10 20:53 (UTC) |
openflipper
|
4.1-1 |
0 |
0.00
|
OpenFlipper is an OpenSource multi-platform application and programming framework designed for processing, modeling and rendering of geometric data. |
quicksh
|
2023-07-12 12:12 (UTC) |
tokay-git
|
v0.6.2.r13.107bff6-1 |
0 |
0.00
|
Tokay is an imperative, procedural programming language dedicated to parsing and other text-processing tasks. |
nuclearsandwich
|
2023-07-15 05:19 (UTC) |
odin-git
|
r8682.5ac7fe453-1 |
4 |
0.10
|
A fast, concise, readable, pragmatic and open sourced programming language. |
FabioLolix
|
2023-07-26 15:47 (UTC) |
openmatrix
|
1.0.12-1 |
0 |
0.00
|
An open-source computational programming language |
xantares
|
2023-07-27 16:55 (UTC) |
ttf-juisee
|
0.0.4-1 |
0 |
0.00
|
A font family for programming synthesized JuliaMono and LINE Seed JP |
cheatsc
|
2023-07-27 19:05 (UTC) |
python-pasp
|
0.0.4.post1-1 |
0 |
0.00
|
Probabilistic answer set programming |
RenatoLG
|
2023-07-28 19:41 (UTC) |
ttf-firacode
|
6.2-2 |
1 |
0.01
|
Free monospaced font with programming ligatures |
xihale
|
2023-07-29 02:03 (UTC) |
tokay
|
0.6.4-1 |
1 |
0.00
|
Tokay is a programming language designed for ad-hoc parsing. |
nuclearsandwich
|
2023-07-29 05:52 (UTC) |
bitburner
|
2.4.0-1 |
3 |
0.01
|
Bitburner is a programming-based incremental game |
konsonanz
|
2023-08-02 15:35 (UTC) |
swift-bin-development
|
4:5.9.DEVELOPMENT-1 |
4 |
0.00
|
Binary builds of the Swift programming language (dev snapshot) |
soloturn
|
2023-08-03 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) |
openfpgaloader-git
|
nightly.r.0.gfab58d7-1 |
1 |
0.00
|
Universal utility for programming FPGA |
nobodywasishere
|
2023-08-05 02:14 (UTC) |
openocd-game-and-watch-git
|
0.12.0.r278.g2ca6d25eb-1 |
0 |
0.00
|
Debugging, in-system programming and boundary-scan testing for embedded target devices (enable bank2 support for game and watch, git version) |
benob
|
2023-08-06 08:32 (UTC) |