|
cpoint-git
|
0.2-1 |
0 |
0.00
|
C-like programming language compiler based on LLVM with garbage collection |
Vinz2008
|
2023-09-02 21:53 (UTC) |
|
lean4
|
4.0.0.rc4-1 |
4 |
0.00
|
Lean 4 programming language and theorem prover |
dariost
|
2023-08-31 05:05 (UTC) |
|
naturaldocs2-git
|
r2141.dc9452d-1 |
0 |
0.00
|
Readable Source Code Documentation for 20 Programming Languages |
alcubierre-drive
|
2023-08-30 14:46 (UTC) |
|
ps2-lua
|
5.1-1 |
1 |
0.00
|
Powerful lightweight programming language designed for extending applications (Sony Playstation® 2 videogame system port). |
tallero
|
2023-08-29 00:18 (UTC) |
|
tslab
|
1.0.21-1 |
0 |
0.00
|
Interactive JavaScript and TypeScript programming with Jupyter |
dringsim
|
2023-08-27 10:14 (UTC) |
|
c2prog
|
2.0.5-2 |
0 |
0.00
|
Fast and easy-to-use programming tool for TI C2000 MCUs |
giomba
|
2023-08-25 12:24 (UTC) |
|
adv
|
1.0.0-1 |
0 |
0.00
|
Dispenses programming aphorisms in the style of UNIX fortune |
grevans
|
2023-08-24 23:10 (UTC) |
|
noweb
|
2_13-1 |
10 |
0.00
|
A Simple, Extensible Tool for Literate Programming build against ICON libs and texlive |
aksr
|
2023-08-12 13:49 (UTC) |
|
zigmod-bin
|
1:r87-1 |
2 |
0.00
|
A package manager for the Zig programming language |
sourgrasses
|
2023-08-11 15:14 (UTC) |
|
r-purrr
|
1.0.2-1 |
2 |
0.00
|
Functional Programming Tools |
BioArchLinuxBot
|
2023-08-10 12:03 (UTC) |
|
ttf-sarasa-ui-sc
|
0.41.6-1 |
0 |
0.00
|
A CJK programming font based on Iosevka and Source Han Sans. (123M/248M, only Sarasa UI SC inside) |
ayatale
|
2023-08-07 22:23 (UTC) |
|
lpcscrypt-bin
|
2.1.2-2 |
0 |
0.00
|
LPCScrypt is the recommended tool for programming the latest versions of CMSIS-DAP and J-Link firmware onto boards with Link2/LPC-Link2 debug probes. |
taotieren
|
2023-08-07 17:29 (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) |
|
openfpgaloader-git
|
nightly.r.0.gfab58d7-1 |
1 |
0.00
|
Universal utility for programming FPGA |
nobodywasishere
|
2023-08-05 02:14 (UTC) |
|
futhark-bin
|
0.25.2-1 |
3 |
0.00
|
A data-parallel functional programming language. |
mbloms
|
2023-08-05 00:52 (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) |
|
bitburner
|
2.4.0-1 |
3 |
0.01
|
Bitburner is a programming-based incremental game |
konsonanz
|
2023-08-02 15:35 (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) |
|
ttf-firacode
|
6.2-2 |
1 |
0.01
|
Free monospaced font with programming ligatures |
xihale
|
2023-07-29 02:03 (UTC) |
|
python-pasp
|
0.0.4.post1-1 |
0 |
0.00
|
Probabilistic answer set programming |
RenatoLG
|
2023-07-28 19:41 (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) |
|
openmatrix
|
1.0.12-1 |
0 |
0.00
|
An open-source computational programming language |
xantares
|
2023-07-27 16:55 (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) |
|
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) |
|
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) |
|
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) |
|
gren-bin
|
0.3.0-1 |
0 |
0.00
|
Compiler for the Gren programming language. |
bakseter
|
2023-07-07 14:19 (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) |
|
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) |
|
jetbrains-mps
|
2022.3-1 |
7 |
0.00
|
JetBrains Meta Programming System |
harrietobrien
|
2023-06-21 20:07 (UTC) |
|
cuda11.1
|
11.1.1-3 |
3 |
0.01
|
NVIDIA's GPU programming toolkit (version 11.1) |
dbermond
|
2023-06-20 02:36 (UTC) |
|
cuda11.1-tools
|
11.1.1-3 |
3 |
0.01
|
NVIDIA's GPU programming toolkit (extra tools: nvvp, nsight) (version 11.1) |
dbermond
|
2023-06-20 02:36 (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) |
|
python37
|
3.7.17-1 |
32 |
0.10
|
Major release 3.7 of the Python high-level programming language |
greut
|
2023-06-14 07:53 (UTC) |
|
perl-badger
|
0.16-1 |
0 |
0.00
|
Perl Application Programming Toolkit |
orphan
|
2023-06-08 19:31 (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) |
|
blackvoxel
|
2.5-1 |
3 |
0.01
|
Game of automation and programming in a voxel world |
patlefort
|
2023-05-23 01:40 (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) |
|
alda-bin
|
2.2.5-1 |
1 |
0.00
|
A music programming language for musicians |
Ajmeade
|
2023-05-16 00:06 (UTC) |
|
alda
|
2.2.5-1 |
2 |
0.00
|
A music programming language for musicians |
Ajmeade
|
2023-05-15 23:38 (UTC) |
|
papi-cuda
|
7.0.1-2 |
0 |
0.00
|
Performance Application Programming Interface (with CUDA componet) |
hv15
|
2023-05-15 08:24 (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) |
|
python-pasp-git
|
r270.28a64dd-1 |
0 |
0.00
|
Probabilistic answer set programming (install from git) |
RenatoLG
|
2023-05-09 18:07 (UTC) |
|
guesslang
|
2.2.1-2 |
1 |
0.00
|
Detect the programming language of a source code |
carlosal1015
|
2023-05-07 21:28 (UTC) |
|
memeassembly
|
1.6-3 |
2 |
0.01
|
A Meme-based programming language |
kammt
|
2023-05-07 14:03 (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) |
|
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) |
|
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) |
|
libconcord
|
1.5-1 |
18 |
0.00
|
A library for programming Logitech(R) Harmony(TM) remote controls. |
webmeister
|
2023-04-28 06:49 (UTC) |