gdevelop-git
|
v5.0.0.beta106.r10.g35bf3861a-1 |
5 |
0.00
|
A full featured, open source game development software, allowing to create HTML5 and native games without knowing a programming language. All the game logic is made thanks to an intuitive and powerful event based system. |
arthuro555
|
2021-03-20 16:57 (UTC) |
ros-melodic-vision-opencv
|
1.13.0-3 |
0 |
0.00
|
ROS - Packages for interfacing ROS with OpenCV, a library of programming functions for real time computer vision. |
orphan
|
2021-03-22 15:37 (UTC) |
ros-melodic-ecl-utilities
|
0.62.2-2 |
0 |
0.00
|
ROS - Includes various supporting tools and utilities for c++ programming. |
orphan
|
2021-03-23 03:10 (UTC) |
ros-melodic-ecl-threads
|
0.62.2-2 |
0 |
0.00
|
ROS - This package provides the c++ extensions for a variety of threaded programming tools. |
orphan
|
2021-03-23 03:12 (UTC) |
ros-melodic-ecl-mpl
|
0.62.2-2 |
0 |
0.00
|
ROS - Metaprogramming tools move alot of runtime calculations to be shifted to compile time. |
orphan
|
2021-03-23 03:12 (UTC) |
dafny-git
|
v3.0.0.rpre.rrelease.r1.r256.rgd25ae257-1 |
0 |
0.00
|
Dafny is a verification-aware programming language |
crave
|
2021-03-25 19:52 (UTC) |
kattis
|
1.2.5-1 |
0 |
0.00
|
Competitive programming checker for open.kattis.com |
marcelroed
|
2021-03-28 11:30 (UTC) |
zkl
|
1.14.7-2 |
0 |
0.00
|
The zkl programming language |
orphan
|
2021-04-03 22:11 (UTC) |
makepad-git
|
0.1.0.r883.5c05e153-1 |
0 |
0.00
|
VR, web and native collaborative shader programming environment |
orphan
|
2021-04-05 09:55 (UTC) |
go-exp-git
|
r601.4513512a-1 |
0 |
0.00
|
Experimental and unreliable tools for the Go programming language. |
arnottcr
|
2021-04-08 10:16 (UTC) |
smlsharp
|
4.0.0-1 |
7 |
0.00
|
A new programming language in the Standard ML family |
xuanruiqi
|
2021-04-08 19:50 (UTC) |
gri-git
|
2.12.23.r20.gd9969d1-1 |
0 |
0.00
|
A script-based language for scientific graphics programming |
orphan
|
2021-04-18 10:08 (UTC) |
cdk8s
|
1.0.0beta11-1 |
0 |
0.00
|
Define Kubernetes native apps and abstractions using object-oriented programming |
christoph.gysin
|
2021-04-19 06:08 (UTC) |
openocd-mips-git
|
2d0c1aa-1 |
0 |
0.00
|
Debugging, in-system programming and boundary-scan testing for embedded target devices (git version) |
maniacata
|
2021-04-25 14:25 (UTC) |
pure-glpk
|
0.6-1 |
2 |
0.00
|
A feature complete GLPK interface for the Pure programming language. |
pure-aur
|
2021-04-30 00:33 (UTC) |
pure-git
|
r5928.fc71134b-1 |
1 |
0.00
|
Pure is a modern-style functional programming language based on term rewriting. |
pure-aur
|
2021-04-30 17:39 (UTC) |
pure-pcre-git
|
r5928.fc71134b-1 |
0 |
0.00
|
Pure is a modern-style functional programming language based on term rewriting (variant with Perl regex support). |
pure-aur
|
2021-04-30 17:44 (UTC) |
profont-otb
|
1.0.1-1 |
2 |
0.00
|
A small bitmap font which is absolutely great for programming (OTB version) |
svanrossem
|
2021-05-03 12:01 (UTC) |
aspectc++-bin
|
2.3-1 |
0 |
0.00
|
A set of C++ language extensions to facilitate aspect-oriented programming with C/C++ |
MasWag
|
2021-05-06 13:33 (UTC) |
openeuphoria
|
4.1.0-3 |
5 |
0.00
|
Fast interpreted or compiled general purpose programming language. |
Frontier
|
2021-05-07 10:12 (UTC) |
emacs-whitespace-mode
|
20150609-2 |
0 |
0.00
|
Major mode for editing Whitespace (an esoteric programming language). |
soimort
|
2021-05-07 14:40 (UTC) |
agda-bin-git
|
2.6.2.98d4eb0-1 |
0 |
0.00
|
A dependently typed functional programming language and proof assistant: development version |
LightQuantum
|
2021-05-13 08:41 (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) |
gnome-c-utils
|
3.38.0-1 |
0 |
0.00
|
Utilities when programming for GNOME, for the C language. |
FirstAirBender
|
2021-05-14 20:05 (UTC) |
basic256
|
2.0.0.11-3 |
6 |
0.00
|
Educational BASIC programming environment |
FredBezies
|
2021-05-16 10:20 (UTC) |
sage-numerical-backends-gurobi
|
9.3.1-1 |
0 |
0.00
|
Gurobi mixed integer linear programming backend for SageMath |
orphan
|
2021-05-19 06:12 (UTC) |
golang-golang-x-tour-git
|
404.a278aee-1 |
0 |
0.00
|
A tour of Go - an introduction to the Go programming language |
mytbk
|
2021-05-20 05:13 (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) |
sac-compiler-weekly
|
1.3.3.659-1 |
0 |
0.00
|
The compiler (sac2c) of the Single-Assignment C programming language (weekly build) |
hv15
|
2021-05-24 09:45 (UTC) |
sac-stdlib-weekly
|
1.3.115-2 |
0 |
0.00
|
The standard library for the Single-Assignment C programming language (weekly build) |
hv15
|
2021-05-24 09:49 (UTC) |
setlx
|
2.7.2-1 |
0 |
0.00
|
Interpreter for the SetlX programming language |
corvus_192
|
2021-05-30 12:01 (UTC) |
adscript
|
0.6-1 |
0 |
0.00
|
A high-performance, s-expressions based programming language that is natively compiled. |
Luddifee
|
2021-06-06 14:42 (UTC) |
ipknot
|
1.0.0-1 |
0 |
0.00
|
IPknot for predicting RNA pseudoknot structures using integer programming |
tzok
|
2021-06-10 09:14 (UTC) |
ttf-ubuntu-mono-ligaturized-git
|
3.0.0-1 |
2 |
0.00
|
Ubuntu Mono font with programming ligatures |
sdore
|
2021-07-01 20:27 (UTC) |
otf-cascadia-code-git
|
2105.24.r13.gf1a0b0e6-1 |
1 |
0.00
|
A new monospaced font that includes programming ligatures |
trollixx
|
2021-07-03 02:32 (UTC) |
ttf-cascadia-code-git
|
2105.24.r13.gf1a0b0e6-1 |
1 |
0.00
|
A new monospaced font that includes programming ligatures |
trollixx
|
2021-07-03 02:32 (UTC) |
alif
|
3.0.32-1 |
1 |
0.00
|
The Alif Arabic Programming Language - لغة البرمجة العربية ألف |
suliman
|
2021-07-07 04:07 (UTC) |
lines
|
5.2-1 |
0 |
0.00
|
A modern and minimalist IDE supporting over 150 programming languages |
orphan
|
2021-07-08 07:14 (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) |
dexed-ide-bin
|
3.9.11-1 |
11 |
0.00
|
IDE for the D programming language, its compilers, tools and libraries |
seeseemelk
|
2021-07-14 05:53 (UTC) |
robot-karol
|
3.0.4-1 |
0 |
0.00
|
A programming environment for introducing children to programming and algorithm design. |
ChaosKid42
|
2021-07-17 09:03 (UTC) |
jolie
|
1.10.5-2 |
0 |
0.00
|
The Jolie programming language |
orphan
|
2021-07-18 21:31 (UTC) |
tklib
|
0.7-1 |
7 |
0.00
|
Tklib specializes in utilities for GUI programming. |
mschu
|
2021-07-20 08:56 (UTC) |
alif-git
|
r94.5975e21-1 |
1 |
0.00
|
The Alif Arabic Programming Language - لغة البرمجة العربية ألف |
suliman
|
2021-07-23 14:15 (UTC) |
hashem
|
0.07-1 |
0 |
0.00
|
Mr. Hashemi Programming Language |
orphan
|
2021-07-24 10:26 (UTC) |
python-ldns
|
1.7.1-1 |
0 |
0.00
|
Python bindings for the ldns library for DNS programming |
fordprefect
|
2021-07-27 13:22 (UTC) |
ahven
|
2.8-1 |
5 |
0.00
|
A simple unit test framework for the Ada programming language. |
charlie5
|
2021-07-29 11:13 (UTC) |
xc3sprog-svn
|
0.r795-1 |
6 |
0.00
|
Utilities for programming Xilinx FPGAs, CPLDs, and EEPROMs with the Xilinx Parallel Cable and other JTAG adapters |
uffe
|
2021-08-02 16:15 (UTC) |
open-fpga-loader-git
|
r585.3ea05cc-1 |
1 |
0.00
|
Universal utility for programming FPGA |
japm48
|
2021-08-05 15:27 (UTC) |
minilibx-git
|
r61.9cd1813-1 |
1 |
0.00
|
A simple X-Window (X11R6) programming API in C suitable for X-beginners. |
taigah
|
2021-08-05 18:44 (UTC) |