|
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) |
|
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) |
|
zkl
|
1.14.7-2 |
0 |
0.00
|
The zkl programming language |
orphan
|
2021-04-03 22:11 (UTC) |
|
kattis
|
1.2.5-1 |
0 |
0.00
|
Competitive programming checker for open.kattis.com |
marcelroed
|
2021-03-28 11:30 (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) |
|
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) |
|
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-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-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) |
|
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) |
|
ktrl-git
|
r165.55f7697-1 |
0 |
0.00
|
A Supercharged Keyboard Programming Daemon |
gmy
|
2021-03-11 19:57 (UTC) |
|
ats2-contrib
|
0.4.2-1 |
4 |
0.00
|
Extra libraries for the ATS2 programming language |
mdl
|
2021-03-11 01:22 (UTC) |
|
ats2-postiats
|
0.4.2-1 |
12 |
0.00
|
Statically typed programming language |
orphan
|
2021-03-11 01:19 (UTC) |
|
emojicode
|
1.0.beta.2-2 |
4 |
0.00
|
An open-source, full-blown programming language consisting of emojis |
betseg
|
2021-03-03 19:34 (UTC) |
|
cx-latest
|
autogenerated-1 |
0 |
0.00
|
CX Skycoin Blockchain Programming Language - most recent github commits (+opengl) |
moe_narrow
|
2021-02-23 01:56 (UTC) |
|
taoup-git
|
1.1.11.r0.gdb220bc-1 |
0 |
0.00
|
TAO (The Art) of Unix Programming (and related systemic epiphanies) |
PrinceMachiavell
|
2021-02-14 23:01 (UTC) |
|
gravity-lang-git
|
0.8.1.r11.g73d8837-1 |
1 |
0.00
|
Gravity Programming Language. |
FabioLolix
|
2021-02-04 22:25 (UTC) |
|
alan
|
0.1.26-1 |
0 |
0.00
|
The Alan programming language compiler and runtime |
david_atalan
|
2021-02-02 04:49 (UTC) |
|
skalibs-musl
|
2.10.0.0-1 |
1 |
0.00
|
A set of general-purpose C programming libraries |
ryosei
|
2021-01-29 11:06 (UTC) |
|
jelly-git
|
r319.70c9fd9-1 |
1 |
0.00
|
An esoratic programming language |
Majora320
|
2021-01-27 17:14 (UTC) |
|
pcf-profont-powerline
|
1-4 |
0 |
0.00
|
A small bitmap font which is absolutely great for programming. Patched to include the powerline symbols. |
mox
|
2021-01-25 19:40 (UTC) |
|
libadalang-git
|
r4370.89d25ed1-1 |
1 |
0.00
|
High performance syntactic and semantic engine for the Ada programming language |
pmderodat
|
2021-01-24 15:44 (UTC) |
|
gurobi81
|
8.1.0-1 |
0 |
0.00
|
State-of-the-art solver for mathematical programming |
user20159
|
2021-01-16 20:09 (UTC) |
|
otf-code-new-roman
|
2.1-2 |
0 |
0.00
|
Monospaced font aimed for use in programming environments |
Ashymad
|
2021-01-16 13:04 (UTC) |
|
mingw-w64-glpk
|
5.0-1 |
0 |
0.00
|
GNU Linear Programming Kit : solve LP, MIP and other problems. (mingw-w64) |
xantares
|
2021-01-12 18:46 (UTC) |
|
dmrconfig-git
|
r245.9e65be7-1 |
1 |
0.00
|
DMRconfig is a utility for programming digital radios via USB programming cable. |
simonvik
|
2021-01-06 07:01 (UTC) |
|
hamler-bin
|
0.2.2-1 |
0 |
0.00
|
Haskell-style functional programming language running on Erlang VM. |
orphan
|
2020-12-24 11:54 (UTC) |
|
cmm-svn
|
r8466-1 |
0 |
0.00
|
SPHINX C-- Compiler . C-- is a programming language occupying an intermediate position between Assembler and C. |
mxlgv
|
2020-12-22 16:43 (UTC) |
|
dart-1.x
|
1.24.3-1 |
0 |
0.00
|
The dart programming language SDK |
bertogs
|
2020-12-19 23:03 (UTC) |
|
ballerina
|
1.2.11-1 |
3 |
0.00
|
an open source programming language and platform for cloud-era application programmers to easily write software that just works |
auroq
|
2020-12-10 19:45 (UTC) |
|
julia-nightly-bin
|
20200701-1 |
0 |
0.00
|
High-level, high-performance, dynamic programming language - official nightly binaries |
fusion809
|
2020-12-09 13:29 (UTC) |
|
battery
|
0.1.24-1 |
1 |
0.00
|
Build System and Package Manager for the Volt Programming Language |
necklace
|
2020-11-27 21:26 (UTC) |
|
felix-bin
|
3.16.5-1 |
0 |
0.00
|
Project Calico's per-host agent, responsible for programming routes and security policy |
orphan
|
2020-11-18 01:11 (UTC) |
|
cpp-taskflow-git
|
r1609.e406e95b-1 |
0 |
0.00
|
Modern C++ Parallel Task Programming Library |
akstrfn
|
2020-11-16 13:52 (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) |
|
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) |
|
cuda-10.2
|
10.2.89-3 |
1 |
0.00
|
NVIDIA's GPU programming toolkit |
jerry73204
|
2020-10-18 20:59 (UTC) |
|
otf-fira-code-symbol
|
1.206-2 |
3 |
0.00
|
Fira Code: monospaced font with programming ligatures (symbol font). |
neon64
|
2020-10-01 12:20 (UTC) |
|
snap4arduino
|
6.2-1 |
2 |
0.00
|
A modification of the Snap! visual programming language that lets you seamlessly interact with almost all versions of the Arduino board. |
orphan
|
2020-09-26 11:00 (UTC) |
|
zerynth-studio
|
2.6.0-2 |
2 |
0.00
|
A powerful IDE for embedded programming in Python that enables the IoT |
MarsSeed
|
2020-09-20 22:28 (UTC) |
|
otb-zevv-peep
|
1-1 |
0 |
0.00
|
Monospace bitmap programming font aimed for FullHD displays |
aperez
|
2020-09-20 21:05 (UTC) |
|
lanthanum-git
|
r149.d74bc01-1 |
0 |
0.00
|
A small byte code interpreted programming language |
fioriandrea
|
2020-09-17 16:18 (UTC) |
|
bdf-zevv-peep
|
1-3 |
3 |
0.00
|
Monospace bitmap programming font aimed for FullHD displays |
aperez
|
2020-09-17 12:28 (UTC) |
|
pyrescene-git
|
0.7.r31.g78e9c0c-2 |
6 |
0.00
|
pyReScene is a port of ReScene .NET to the Python programming language. |
ichundes
|
2020-09-16 04:16 (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) |
|
supercollider-git
|
3.11.1.r395.gcd3b936457-1 |
14 |
0.00
|
Environment and programming language for real time audio synthesis and algorithmic composition |
dvzrv
|
2020-09-09 19:30 (UTC) |
|
thrust-git
|
1.9.10.r60.g52a8bda4-1 |
0 |
0.00
|
A C++ parallel programming library which resembles the C++ Standard Library |
vicp74
|
2020-08-29 21:50 (UTC) |
|
eli
|
4.8.1-1 |
0 |
0.00
|
A programming environment that supports all phases of translator construction. |
orphan
|
2020-08-21 22:39 (UTC) |
|
lpcscrypt
|
2.1.1.15-0 |
1 |
0.00
|
Programming tool for LPC1800 and LPC4000 series microcontrollers |
codyps
|
2020-08-18 17:42 (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) |