codemao-kitten3-uos
|
3.7.14-1 |
1 |
0.00
|
源码编辑器 A code editor tailed for programming for kids. |
Integral
|
2024-05-12 01:30 (UTC) |
codemao-wood-uos
|
0.1.3-1 |
1 |
0.00
|
海龟编辑器 Turtle Editor (An editor tailed for programming for kids). |
Integral
|
2024-05-12 01:28 (UTC) |
otf-fira-code-mozilla
|
r1.c4e1f82-1 |
2 |
0.00
|
Fira Code (Mozilla version) is Fira Mono with less Line Space (1.0) – does not include programming ligatures |
jairoabreu
|
2022-06-01 18:39 (UTC) |
open-fpga-loader-git
|
r585.3ea05cc-1 |
1 |
0.00
|
Universal utility for programming FPGA |
japm48
|
2021-08-05 15:27 (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) |
zterm-git
|
r80.9772c67-1 |
0 |
0.00
|
A simple terminal emulator using Vte and Gtk+ writting using the Zig programming language |
jeang3nie
|
2022-01-19 14:21 (UTC) |
cuda-10.2
|
10.2.89-3 |
1 |
0.00
|
NVIDIA's GPU programming toolkit |
jerry73204
|
2020-10-18 20:59 (UTC) |
cuda-11.1
|
11.1.1-4 |
0 |
0.00
|
NVIDIA's GPU programming toolkit |
jerry73204
|
2021-11-12 06:17 (UTC) |
crystal-git
|
1.10.1.r69.gf8fafc386c-1 |
7 |
0.00
|
The Crystal Programming Language |
jhass
|
2023-12-02 14:10 (UTC) |
nodejs-lambda
|
0.10.3-1 |
0 |
0.00
|
An effort to create the perfect programming language. |
jmc
|
2021-05-13 10:54 (UTC) |
python-brython
|
3.11.3-1 |
1 |
0.00
|
A Python 3 implementation for client-side web programming |
jnanar
|
2024-03-11 18:33 (UTC) |
perl-vim-x
|
1.3.0-1 |
1 |
0.00
|
Candy for Perl programming in Vim |
jnbek
|
2016-04-21 01:33 (UTC) |
tcloo
|
1.0.2-1 |
0 |
0.00
|
Tcl extension for object oriented programming. Tcl 8.5 Only!!! |
jnbek
|
2015-06-16 22:22 (UTC) |
numbat
|
1.11.0-1 |
2 |
0.02
|
A statically typed programming language for scientific computations with first class support for physical dimensions and units |
joajfreitas
|
2024-03-10 21:45 (UTC) |
numbat-bin
|
1.11.0-1 |
2 |
0.02
|
A statically typed programming language for scientific computations with first class support for physical dimensions and units |
joajfreitas
|
2024-03-10 21:51 (UTC) |
procal-git
|
135955b5-1 |
0 |
0.00
|
Simple Qt-based programming calculator |
joajfreitas
|
2023-09-22 13:33 (UTC) |
alice2-bin
|
2.4-2 |
1 |
0.00
|
An educational software that teaches students computer programming in a 3D environment |
johanv
|
2022-04-25 14:48 (UTC) |
agda-git
|
2.5.1.r8151.g4108da695-1 |
3 |
0.00
|
A dependently typed functional programming language and proof assistant: development version |
johngowers
|
2020-11-12 20:31 (UTC) |
cmpl-bin
|
1.10.0-1 |
1 |
0.00
|
A mathematical programming language and a system for mathematical programming and optimisation of linear optimisation problems. |
JonnyRobbie
|
2016-06-10 16:23 (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) |
bennugd-core
|
356-1 |
2 |
0.00
|
a programming language to create games (Fenix successor) - core |
jose1711
|
2022-06-30 03:32 (UTC) |
bennugd-modules
|
356-1 |
2 |
0.00
|
a programming language to create games (Fenix successor) - modules |
jose1711
|
2022-06-30 03:34 (UTC) |
gpmd85emulator-data
|
1-3 |
0 |
0.00
|
Misc programming languages, games and programs for gpmd85emulator |
jose1711
|
2019-12-07 21:41 (UTC) |
raylib-oldgl-git
|
5.0-1 |
0 |
0.00
|
Simple and easy-to-use game programming library (OpenGL 2.1) |
Jumps
|
2024-05-11 15:43 (UTC) |
chicken-pyffi
|
3.14-1 |
0 |
0.00
|
An interface to the Python programming language for Chicken Scheme |
Junker
|
2024-01-03 10:10 (UTC) |
solidity-language-server
|
0.8.2-2 |
0 |
0.00
|
A language server for the Solidity programming language. |
kalex
|
2024-05-05 09:37 (UTC) |
memeassembly
|
1.6-3 |
2 |
0.01
|
A Meme-based programming language |
kammt
|
2023-05-07 14:03 (UTC) |
cuda-10.0
|
10.0.130.1-1 |
3 |
0.00
|
NVIDIA's GPU programming toolkit. Version 10.0 |
KarelvdP
|
2019-05-24 12:50 (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) |
gri
|
1:2.12.27-2 |
2 |
0.00
|
A script-based language for scientific graphics programming |
kbipinkumar
|
2024-04-16 07:56 (UTC) |
erusfont
|
0.7-1 |
26 |
0.00
|
A bitmap font for programming and terminal/tty use, greatly inspired from montecarlo and gohufont, many thanks to their creator |
keenerd
|
2015-06-13 04:13 (UTC) |
gohufont
|
2.1-2 |
68 |
0.00
|
A bitmap font for programming and terminal use, in two sizes |
keenerd
|
2020-07-01 09:48 (UTC) |
metalua
|
0.5rc2-1 |
0 |
0.00
|
The metalua programming language |
keenerd
|
2015-08-09 18:41 (UTC) |
pforth-git
|
20160529-1 |
0 |
0.00
|
A portable implementation of the Forth programming language written in ANSI C |
keenerd
|
2016-12-10 15:00 (UTC) |
punt-git
|
20090731-1 |
1 |
0.00
|
A simple sexp-based programming language. |
keenerd
|
2015-06-13 04:10 (UTC) |
cozette-ttf
|
1.23.2-1 |
8 |
0.00
|
A bitmap programming font optimized for coziness |
KenjiTakahashi
|
2024-01-31 00:15 (UTC) |
bito-cli
|
3.0-1 |
0 |
0.00
|
Bito AI - AI assistance for programming |
Khaithang
|
2023-04-26 19: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) |
bitburner
|
2.4.0-1 |
3 |
0.01
|
Bitburner is a programming-based incremental game |
konsonanz
|
2023-08-02 15:35 (UTC) |
c0
|
1:553-1 |
4 |
0.00
|
A small safe subset of the C programming language, augmented with contracts |
kopecs
|
2021-08-16 23:29 (UTC) |
c0-bin
|
0.771-1 |
1 |
0.00
|
A small safe subset of the C programming language, augmented with contracts |
kopecs
|
2021-07-10 23:34 (UTC) |
labview-2020
|
0f1-1 |
0 |
0.00
|
A system-design platform and development environment for a visual programming language from National Instruments. |
Kostyanchik348
|
2020-10-26 13:19 (UTC) |
topcoder-applet
|
1.0-1 |
0 |
0.00
|
TopCoder applet for participating and practicing on TopCoder competitive programming events. All rights to the TopCoder applet are reserved by TopCoder, Inc. |
Koushik_Sahu
|
2022-06-04 10:35 (UTC) |
gdc-static
|
9.1.0-1 |
0 |
0.00
|
Compiler for D programming language which uses gcc backend |
kozzi
|
2019-08-07 12:27 (UTC) |
kuroko-git
|
1.4.0.r80.g9ad8501-2 |
1 |
0.05
|
Dynamic, bytecode-compiled programming language and a dialect of Python (development version) |
kseistrup
|
2024-02-27 14:51 (UTC) |
regina-rexx
|
1:3.9.6-4 |
15 |
0.87
|
An implementation of the ANSI Standard REXX Programming Language |
kseistrup
|
2024-05-16 15:03 (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) |
savilerow-bin
|
1.10.0-1 |
0 |
0.00
|
A modelling assistant for Constraint Programming |
laura7089
|
2024-05-18 00:30 (UTC) |
jason-bin
|
3.2.0-1 |
1 |
0.10
|
Fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language. |
laurasabucedo
|
2024-02-01 12:15 (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) |