elm-platform
|
0.19.0-1 |
18 |
0.00
|
Bundle of all core development tools for the Elm language. |
orphan
|
2018-08-21 18:55 (UTC) |
android-ndk-14b
|
r14_b-1 |
0 |
0.00
|
Android C/C++ developer kit |
fl.duriez
|
2018-08-28 15:54 (UTC) |
timelens
|
0.1.0-1 |
1 |
0.00
|
Creates visual timelines from video files, to visualize color development. Inspired by the moviebarcode tumblr. |
blinry
|
2018-09-06 09:35 (UTC) |
timelens-git
|
0.1.0.r0.d6e4026-1 |
0 |
0.00
|
Creates visual timelines from video files, to visualize color development. Inspired by the moviebarcode tumblr. |
blinry
|
2018-09-06 09:39 (UTC) |
mozart2-bin
|
2.0.1-3 |
1 |
0.00
|
Runtime and development environment of Oz |
axesd9
|
2018-09-25 01:35 (UTC) |
asm6f
|
1.6_freem02-2 |
3 |
0.00
|
A 6502 assembler primarily targeted at NES/Famicom development. |
uffe
|
2018-10-02 18:05 (UTC) |
vhdl-simili
|
3.1b16-5 |
5 |
0.00
|
A low-cost VHDL development system designed for the serious hardware designer. |
robertfoster
|
2018-10-11 14:34 (UTC) |
pauker
|
1.9b3-2 |
1 |
0.00
|
A flash card based learning tool using shortterm and longterm memory training (no active development) |
RubenKelevra
|
2018-10-18 02:51 (UTC) |
gnucap-git
|
dev.0831.r0.gf1c8c78-3 |
1 |
0.00
|
GNU Circuit Analysis Package (develop branch) |
d_adler
|
2018-10-19 21:17 (UTC) |
tempus-framework
|
2.6.2-1 |
0 |
0.00
|
Tempus is a C++ framework which offers generic graph manipulation abilities in order to develop multimodal path planning requests (Core) |
geosam
|
2018-10-21 20:09 (UTC) |
tempus-wps-server
|
2.6.2-1 |
0 |
0.00
|
Tempus is a C++ framework which offers generic graph manipulation abilities in order to develop multimodal path planning requests (WPS Server) |
geosam
|
2018-10-21 20:11 (UTC) |
librttopo-devel
|
1.1.0-2 |
0 |
0.00
|
RT Topology Library |
geosam
|
2018-10-21 23:02 (UTC) |
liblas-git
|
1.8.1.r59.ga847cf2b-1 |
4 |
0.00
|
A C/C++ library for reading and writing the very common LAS LiDAR format. Development master |
orphan
|
2018-10-23 02:01 (UTC) |
kit-git
|
r252.8aa8a0a-1 |
0 |
0.00
|
A magical, high performance programming language for game development. |
pixeljoelson
|
2018-10-23 13:15 (UTC) |
nctelegram-git
|
0.9.6.r32.g7042362-1 |
18 |
0.00
|
A ncurse Telegram client developed in Python |
orphan
|
2018-10-30 20:31 (UTC) |
perl-devel-callsite
|
1.0.1-1 |
0 |
0.00
|
Perl/CPAN Module Devel::Callsite |
damien-43
|
2018-10-31 21:04 (UTC) |
perl-devel-trepan-deparse
|
3.1.0-1 |
0 |
0.00
|
Adds deparse support via B::DeparseTree to Devel::Trepan |
damien-43
|
2018-10-31 21:50 (UTC) |
emacs-maplev
|
2.37-1 |
0 |
0.00
|
Emacs package for Maple developers |
akobel
|
2018-11-08 09:45 (UTC) |
polkit-qt4
|
0.112.0+git20180107-1 |
17 |
0.00
|
A library that allows developers to access PolicyKit API with a nice Qt-style API |
flaviut
|
2018-11-11 22:02 (UTC) |
android-ndk-11c
|
r11_c-1 |
1 |
0.00
|
Android C/C++ developer kit |
GI_Jack
|
2018-11-14 23:37 (UTC) |
rgbds-git
|
0.3.7.r34.g5cb6c4a-1 |
4 |
0.00
|
Rednex GameBoy Development System (development version) |
46620
|
2018-11-22 18:26 (UTC) |
hashit-git
|
1.0.0.r2.gaee4f09-1 |
0 |
0.00
|
Checksum tool for Pantheon, developed by Artem Anufrij |
FabioLolix
|
2018-12-10 23:01 (UTC) |
librcsc
|
4.1.0-1 |
3 |
0.00
|
The basic library to develop the RoboCup Soccer Simulation client and tools |
nslxndr
|
2018-12-16 10:14 (UTC) |
minetest-mod-advanced_npc-git
|
258.a43233f-1 |
0 |
0.00
|
hkzorman's advanced npc mod for Minetest. Still under development! |
tombenko
|
2018-12-22 19:18 (UTC) |
log4cxx-git
|
20181214-1 |
0 |
0.00
|
A C++ port of Log4j, development version (GIT) |
akkenoth
|
2018-12-22 22:29 (UTC) |
asmtools
|
7.0_b06-1 |
0 |
0.00
|
The AsmTools open source project is used to develop tools for the production of proper and improper Java '.class' files. |
tsachev
|
2018-12-28 15:08 (UTC) |
libfaction
|
0.0.4-8 |
2 |
0.00
|
A C library for test-driven software development |
orphan
|
2019-01-11 04:27 (UTC) |
devd
|
0.9-1 |
6 |
0.00
|
devd: a web daemon for developers |
tiberiousr
|
2019-01-22 19:16 (UTC) |
navicat121_premium_cs_x64
|
12.1.12-1 |
0 |
0.00
|
Navicat Premium is a multi-connection database development tool. (Chinese Simplified) |
orphan
|
2019-01-24 09:54 (UTC) |
navicat121_premium_en_x64
|
12.1.12-1 |
0 |
0.00
|
Navicat Premium is a multi-connection database development tool. |
yiranzai
|
2019-01-24 10:00 (UTC) |
libnavajo-git
|
v1.5.r38.1180842-1 |
0 |
0.00
|
Framework to develop easily web interfaces for C++ application |
vnuke
|
2019-01-25 02:36 (UTC) |
jiri-git
|
r1437-1 |
1 |
0.00
|
A tool for multi-repo development similar to Android repo |
anatolik
|
2019-01-26 17:16 (UTC) |
riot-web-develop-git
|
r6845.8630d031-1 |
0 |
0.00
|
A glossy Matrix collaboration client for the web (develop branch). |
devplayer0
|
2019-02-05 22:04 (UTC) |
artifact
|
2.1.5-2 |
2 |
0.00
|
The design doc tool made for developers |
rubdos
|
2019-02-07 11:44 (UTC) |
truestudio
|
9.3.0-1 |
12 |
0.00
|
A flexible and extensible Arm development and debugging IDE by Atollic. |
orphan
|
2019-03-02 20:26 (UTC) |
warsaw-openrc
|
1.12.3.11-5 |
0 |
0.00
|
Banking security tool developed by GAS Tecnologia |
ryukinix
|
2019-03-06 14:11 (UTC) |
wio
|
0.9.0-1 |
0 |
0.00
|
An IoT Development Environment |
waterloop
|
2019-03-09 20:06 (UTC) |
graphql-playground-electron
|
1.8.10-1 |
2 |
0.00
|
GraphQL IDE for better development workflows (GraphQL Subscriptions, interactive docs & collaboration). |
orphan
|
2019-03-11 16:42 (UTC) |
z3-stable-git
|
4.8.4.g05663592e-1 |
0 |
0.00
|
Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Github) |
Ice_Phoenix
|
2019-03-12 14:50 (UTC) |
socnetv-git
|
2.5.r0.g83dc2237-1 |
0 |
0.00
|
Social Networks Analysis and Visualisation (Development version) |
thanos
|
2019-03-12 17:54 (UTC) |
wikidpad-dev
|
2.3beta15-1 |
10 |
0.00
|
wikidPad is a Wiki-like notebook for storing your thoughts, ideas, todo lists, contacts, or anything else you can think of to write down. [Development version] |
jaylectric
|
2019-03-19 09:05 (UTC) |
socat2
|
2.0.0_b9-4 |
0 |
0.00
|
Multipurpose relay, version 2 (development version) |
lilydjwg
|
2019-03-21 20:54 (UTC) |
brig-git
|
develop-5 |
0 |
0.00
|
File synchronization on top of ipfs with git like interface and web based UI -- development branch |
vasket
|
2019-03-26 18:58 (UTC) |
qt5-qmllive-git
|
v5.12.1_QtAS.r4.g402894e-1 |
0 |
0.00
|
QmlLive live reloader environment for rapid UI development |
aa13q
|
2019-03-28 21:56 (UTC) |
gsql
|
0.2.2-14 |
0 |
0.00
|
Integrated database development tool for GNOME |
orphan
|
2019-03-29 17:58 (UTC) |
rodin
|
3.4-2 |
3 |
0.00
|
Tool for cost effective rigorous development of dependable software systems |
orphan
|
2019-04-03 05:22 (UTC) |
jalgo-doc-git
|
1:r484.20190207.51652be-1 |
0 |
0.00
|
Algorithm visualization tool written in Java developed at TU Dresden: Documentation. |
dreieck
|
2019-04-05 14:07 (UTC) |
easyrpg-editor-qt-git
|
r442.dd516cd-1 |
3 |
0.00
|
EasyRPG's Game Editor (QT, development version) |
carstene1ns
|
2019-04-07 12:40 (UTC) |
sludge
|
2.2.2-2 |
6 |
0.00
|
An engine and development kit for the creation of 2D adventure games. |
dos1
|
2019-04-10 20:14 (UTC) |
dindent
|
2.3.0-1 |
0 |
0.00
|
PHP library and CLI for indenting HTML for development and testing. |
flying-sheep
|
2019-04-17 19:15 (UTC) |