|
memeassembly
|
1.6-3 |
2 |
0.01
|
A Meme-based programming language |
kammt
|
2023-05-07 14:03 (UTC) |
|
mcreator
|
2024.1.17319-1 |
2 |
0.00
|
Make Minecraft Java Edition mods, Bedrock Edition Add-Ons, and data packs using visual graphical programming or integrated IDE |
Inetol
|
2024-04-24 19:32 (UTC) |
|
literate-git
|
r340.6a9a3af-1 |
2 |
0.00
|
A literate programming tool for any language |
orphan
|
2022-08-21 15:07 (UTC) |
|
liteide-git
|
x28.r24.g7d2dac5-1 |
2 |
0.00
|
IDE for editing and building projects written in the Go programming language - git variant. |
GreenRaccoon23
|
2016-03-15 00:58 (UTC) |
|
libcsptr-git
|
v2.0.1.r0.gff405f2-1 |
2 |
0.00
|
A smart pointers library for the C programming language |
Snaipe
|
2017-12-02 16:54 (UTC) |
|
kuroko
|
1.4.0-1 |
2 |
0.01
|
Dynamic, bytecode-compiled programming language and a dialect of Python |
aperez
|
2023-09-03 22:39 (UTC) |
|
kumir2-git
|
19.04.2020-1 |
2 |
0.00
|
An educational programming language and IDE in Russian schools |
vtyulb
|
2020-04-19 15:25 (UTC) |
|
kokkos
|
4.3.00-1 |
2 |
0.01
|
C++ performance portability programming ecosystem |
carlosal1015
|
2024-04-05 23:46 (UTC) |
|
kink-hg
|
0.1-2 |
2 |
0.00
|
Kink is a prototype-based functional language on the JVM. The goal of the language is easy and elastic programming with handful number of simple mechanisms. |
raa0121
|
2020-09-10 05:56 (UTC) |
|
julia-beta-bin
|
1.10.0.beta3-1 |
2 |
0.00
|
High-level, high-performance, dynamic programming language - official pre-release binaries |
ShalokShalom
|
2023-10-09 12:29 (UTC) |
|
jevois-inventor
|
0.5.0-5 |
2 |
0.00
|
An easy to use GUI for programming the Jevois smart camera |
creikey
|
2019-10-27 09:02 (UTC) |
|
injection
|
0.10.2-1 |
2 |
0.00
|
Python-based ASCII programming-puzzle game |
orphan
|
2021-09-07 17:56 (UTC) |
|
gush-git
|
1:0.1.0.r1.g755f5b4-2 |
2 |
0.00
|
Genetic programming / stack based language on top of Guile |
orphan
|
2020-08-16 22:57 (UTC) |
|
gri
|
1:2.12.27-2 |
2 |
0.00
|
A script-based language for scientific graphics programming |
kbipinkumar
|
2024-04-16 07:56 (UTC) |
|
extempore-git
|
v0.8.9.r0.g0368489b-1 |
2 |
0.00
|
A cyber-physical programming environment for live coding |
castix
|
2021-05-22 13:51 (UTC) |
|
eltclsh
|
1.17-1 |
2 |
0.00
|
interactive shell for the TCL programming language |
tequa
|
2018-10-10 07:15 (UTC) |
|
dlib-git
|
r7718.b0e3c360-1 |
2 |
0.00
|
General purpose C++ library using contract programming and modern C++ techniques |
sandsmark
|
2019-12-08 14:08 (UTC) |
|
dialogblocks
|
5.03-3 |
2 |
0.00
|
Cross-plattform GUI programming assistant - wxwidget |
pschmitt
|
2015-07-29 07:10 (UTC) |
|
dafny-bin
|
4.4.0-1 |
2 |
0.00
|
Dafny is a verification-aware programming language |
tchajed
|
2023-12-12 19:55 (UTC) |
|
cuda-9.2
|
9.2.148.1-1 |
2 |
0.00
|
NVIDIA's GPU programming toolkit. Version 9.2 |
Lopo
|
2018-10-14 14:52 (UTC) |
|
cuda-11.7
|
11.7.1-3 |
2 |
0.22
|
NVIDIA's GPU programming toolkit |
yodaembedding
|
2023-11-16 12:39 (UTC) |
|
cs-libguarded
|
1.4.1-2 |
2 |
0.01
|
Header only library for multithreaded programming |
dbermond
|
2024-01-05 16:37 (UTC) |
|
otf-commit-mono
|
1.143-2 |
2 |
0.63
|
An anonymous and neutral programming font focused on creating a better reading experience |
mhdi
|
2024-01-21 15:15 (UTC) |
|
ttf-commit-mono
|
1.143-2 |
2 |
0.63
|
An anonymous and neutral programming font focused on creating a better reading experience |
mhdi
|
2024-01-21 15:15 (UTC) |
|
colm
|
0.12.0-2 |
2 |
0.00
|
Programming language designed for analysis and transformation of computer languages |
bacondropped
|
2016-12-05 05:32 (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) |
|
clean-lang-bin
|
3.1-1 |
2 |
0.00
|
Provides the general purpose, pure and lazy functional programming language Clean. |
hv15
|
2022-02-08 14:27 (UTC) |
|
chuck-pulse
|
1.5.2.0-1 |
2 |
0.00
|
Concurrent, on-the-fly audio programming language |
tjbp
|
2024-01-04 00:18 (UTC) |
|
ce-toolchain-bin
|
11.2-2 |
2 |
0.00
|
Toolchain and libraries for C/C++ programming on the TI-84+ CE calculator series |
HurricanePootis
|
2024-04-02 04:39 (UTC) |
|
cafeobj-sbcl
|
1.5.7-1 |
2 |
0.00
|
New generation algebraic specification and programming language (built by SBCL) |
tomoaki
|
2018-03-24 22:03 (UTC) |
|
bossa
|
1.9.1-5 |
2 |
0.00
|
Flash programming utility for Atmel's SAM family of flash-based ARM microcontrollers |
mcoffin
|
2022-07-23 14:37 (UTC) |
|
bennugd-modules
|
356-1 |
2 |
0.00
|
a programming language to create games (Fenix successor) - modules |
jose1711
|
2022-06-30 03:34 (UTC) |
|
bennugd-core
|
356-1 |
2 |
0.00
|
a programming language to create games (Fenix successor) - core |
jose1711
|
2022-06-30 03:32 (UTC) |
|
beluga-git
|
v0.8.1.r190.3d50c74-1 |
2 |
0.00
|
Beluga is a functional programming language designed for reasoning about formal systems. It features direct support for object-level binding constructs using higher order abstract syntax and treats contexts as first class objects. |
tsani
|
2016-02-16 05:45 (UTC) |
|
battlestar
|
0.7.0-2 |
2 |
0.00
|
Programming language for creating tiny executables |
xyproto
|
2022-07-21 13:52 (UTC) |
|
awk-language-server
|
0.10.5-2 |
2 |
0.14
|
Language server for the AWK programming language |
Ordoviz
|
2024-04-02 09:08 (UTC) |
|
alpaca
|
0.2.8-3 |
2 |
0.00
|
Functional programming inspired by ML for the Erlang VM |
NobbZ
|
2018-09-24 09:56 (UTC) |
|
allegro-git
|
r11630.ce68911b4-1 |
2 |
0.00
|
Portable library mainly aimed at video game and multimedia programming |
dos1
|
2020-06-21 03:51 (UTC) |
|
alda
|
2.2.5-1 |
2 |
0.00
|
A music programming language for musicians |
Ajmeade
|
2023-05-15 23:38 (UTC) |
|
zterm
|
0.3.1-1 |
1 |
0.00
|
A simple terminal emulator using Vte and Gtk+ writting using the Zig programming language |
jeang3nie
|
2022-03-13 14:29 (UTC) |
|
zoem
|
21.341-1 |
1 |
0.00
|
Zoem programming language |
orphan
|
2022-09-30 20:42 (UTC) |
|
xod
|
v0.38.0-1 |
1 |
0.00
|
XOD is a visual programming language for microcontrollers. |
satriani
|
2024-02-25 13:12 (UTC) |
|
vsprog-git
|
a-1 |
1 |
0.00
|
Versaloon Programmer Platform is a generic framework for MCU programming. Unofficial repo! |
swiftgeek
|
2019-08-10 20:52 (UTC) |
|
vim-brainfuck
|
1.0.3-1 |
1 |
0.00
|
Vim syntax highlighting for the brainfuck programming language |
karlguy
|
2017-06-05 04:42 (UTC) |
|
ttf-spline-sans-mono
|
1.002-1 |
1 |
0.00
|
Monospaced Grotesque purpose-built for UI interfaces, checkout processes, and programming |
amoka
|
2022-05-03 21:54 (UTC) |
|
ttf-greybeard-bin
|
1.0.0-2 |
1 |
0.37
|
a chunky monospaced bitmap programming font for old nerds that hate eyestrain |
volbot
|
2024-04-23 19:38 (UTC) |
|
ttf-firacode
|
6.2-2 |
1 |
0.02
|
Free monospaced font with programming ligatures |
xihale
|
2023-07-29 02:03 (UTC) |
|
ttf-fifteen
|
20180531-1 |
1 |
0.00
|
Narrow monospace font for programming and terminal emulators |
aperez
|
2018-05-31 00:36 (UTC) |
|
tsim
|
0.84-1 |
1 |
0.00
|
Simulation code for Principles of Concurrent Programming at CTH, courses TDA384/DIT391 |
factor
|
2020-01-22 09:44 (UTC) |
|
tokay
|
0.6.4-1 |
1 |
0.01
|
Tokay is a programming language designed for ad-hoc parsing. |
nuclearsandwich
|
2023-07-29 05:52 (UTC) |