|
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) |
|
retrosmart-kvantum-theme
|
1.0b-1 |
0 |
0.00
|
Retrosmart theme for Kvantum |
mdomlop
|
2019-03-11 19:48 (UTC) |
|
retrosmart-qtcurve-theme
|
1.0b-1 |
0 |
0.00
|
Retrosmart theme for QtCurve. |
mdomlop
|
2019-03-11 18:55 (UTC) |
|
retrosmart-openbox-themes
|
1-1 |
2 |
0.00
|
Retrosmart Openbox themes. |
mdomlop
|
2019-03-11 18:49 (UTC) |
|
retrosmart-icon-theme
|
0.2-1 |
1 |
0.00
|
Retrosmart icon theme. |
mdomlop
|
2019-03-11 18:44 (UTC) |
|
cursewords-git
|
1.0.3.r0.ed5f7d5-1 |
0 |
0.00
|
Terminal-based crossword puzzle solver |
chungy
|
2019-03-11 04:39 (UTC) |
|
kisslicer
|
1.6.3-4 |
8 |
0.00
|
KISSlicer is a fast, easy-to-use, cross-platform program that takes 3D files (STL) and generates path information (G-code) for a 3D Printer. The FREE version has all the features needed for the hobbyist who uses a single-head machine. |
NeoTheFox
|
2019-03-08 16:10 (UTC) |
|
retrosmart-xfwm4-themes
|
1.0-1 |
1 |
0.00
|
Retrosmart themes for XFwm4 |
mdomlop
|
2019-03-08 15:26 (UTC) |
|
sjasmplus
|
20190306.1-1 |
2 |
0.00
|
SJAsmPlus: Z80 cross-assembler |
mkoloberdin
|
2019-03-06 22:00 (UTC) |
|
qlipper
|
5.1.2-1 |
23 |
0.00
|
Lightweight & cross-platform clipboard history applet based on qt |
E5ten
|
2019-03-02 23:09 (UTC) |
|
tmux-resurrect-git
|
2.4.0.r93.gc3ffe89-1 |
1 |
0.00
|
Persist tmux environment across system restarts. |
jamespharvey20
|
2019-02-20 02:31 (UTC) |
|
ruby-bundler1
|
1.17.3-1 |
0 |
0.00
|
Manages an application's dependencies through its entire life, across many machines, systematically and repeatably. Locked to <2.0, as required by Rails 4 (for example). |
tjbp
|
2019-02-18 10:05 (UTC) |
|
librouteros-git
|
20180719.c485c77-1 |
1 |
0.00
|
C library to communicate with network devices by MikroTik running RouterOS |
orphan
|
2019-02-13 22:16 (UTC) |
|
opn2bankeditor-git
|
1.3.beta.r80.g78c2a34-1 |
0 |
0.00
|
A small cross-platform editor of the OPN2 FM banks of different formats |
jpcima
|
2019-02-12 06:59 (UTC) |
|
opl3bankeditor-git
|
1.5.beta.r100.g603fbab-1 |
0 |
0.00
|
A small cross-platform editor of the OPL3 FM banks of different formats |
jpcima
|
2019-02-12 06:57 (UTC) |
|
haskell-dual-tree
|
0.2.2-1 |
0 |
0.00
|
Rose trees with cached and accumulating monoidal annotations. |
orphan
|
2019-02-06 14:57 (UTC) |
|
jdotxt
|
0.4.8-1 |
1 |
0.00
|
cross-platform desktop tool for managing your todo list |
jose1711
|
2019-02-01 22:01 (UTC) |
|
plplot510
|
5.10.0-3 |
2 |
0.00
|
A cross-platform software package for creating scientific plots |
orphan
|
2019-01-24 23:17 (UTC) |
|
marvell-msu
|
4.1.0.2032-3 |
2 |
0.00
|
Marvell storage utility drivers and software for SATA controller 88SE9230 (e.g., HPE ProLiant MicroServer Gen10) |
orphan
|
2019-01-21 08:29 (UTC) |
|
rosie-git
|
1.0.0-1 |
0 |
0.00
|
Rosie Pattern Language (RPL) and the Rosie Pattern Engine. |
jcob
|
2019-01-19 02:18 (UTC) |
|
nixio-git
|
1.5.dev-1 |
0 |
0.00
|
Neuroscience information exchange format (master branch) |
achilleas
|
2019-01-16 18:11 (UTC) |
|
nixio
|
1.4.3-1 |
0 |
0.00
|
Neuroscience information exchange format |
achilleas
|
2019-01-16 18:10 (UTC) |
|
cmake-remake-git
|
1-3 |
0 |
0.00
|
A set of CMake macros for restructuring GNU Automake/Autoconf projects. |
alexandria
|
2019-01-15 12:22 (UTC) |
|
meson-cross-riscv64-linux-gnu
|
1-1 |
0 |
0.00
|
Meson cross file for riscv64 |
1ace
|
2019-01-08 19:01 (UTC) |
|
faster-git
|
c4a2c68-1 |
2 |
0.00
|
Fast key-value store from Microsoft Research |
vbmithr
|
2019-01-05 15:22 (UTC) |
|
moros-git
|
r45.6e12809-1 |
1 |
0.00
|
A modern http(s) benchmark tool |
condy
|
2018-12-30 13:28 (UTC) |
|
ar-smileys
|
1.9b-2 |
5 |
0.00
|
AkiRoss Smileys (for Pidgin and Kopete) |
orphan
|
2018-12-29 22:18 (UTC) |
|
xmltreeedit-bin
|
0.1.0.32-1 |
0 |
0.00
|
Basic cross-platform tree view XML editor |
disc-kuraudo
|
2018-12-27 22:21 (UTC) |
|
mcpelauncher-msa-git
|
v0.1.beta.1.r10.g323bb82-1 |
3 |
0.00
|
Microsoft Account authentication daemon for mcpelauncher |
mrarm
|
2018-12-23 15:11 (UTC) |
|
lcab
|
1.0b12-5 |
1 |
0.00
|
A program to make Microsoft cabinet files |
severach
|
2018-12-15 23:46 (UTC) |
|
prosody-mod-filter-chatstates-hg
|
tip-2 |
0 |
0.00
|
Client State Indication module to filter chat states depending on the client state |
theYinYeti
|
2018-12-15 19:33 (UTC) |
|
everest
|
a1.3-3 |
1 |
0.00
|
A beautiful, cross-platform REST client. |
nicoulaj
|
2018-12-05 19:13 (UTC) |
|
studiomdl-git
|
v0.1.0.r0.g90a285a-1 |
0 |
0.00
|
A cross-platform compatible version of studiomdl for Half-Life. |
Cebtenzzre
|
2018-12-05 15:53 (UTC) |
|
python-sneakysnek-git
|
r11.8c760c5-1 |
0 |
0.00
|
Dead simple cross-platform keyboard & mouse global input capture solution |
greyltc
|
2018-11-27 22:37 (UTC) |
|
arm-none-eabi-gcc53-linaro-alternative
|
5.3_2018.11-1 |
0 |
0.00
|
The GNU Compiler Collection - cross compiler for ARM EABI (bare-metal) target. |
wtx
|
2018-11-26 09:25 (UTC) |
|
tarsnap-gui
|
1.0.2-2 |
4 |
0.00
|
Cross-platform GUI for the Tarsnap backup service. |
orphan
|
2018-10-29 13:09 (UTC) |
|
gpresent
|
2.5-1 |
0 |
0.00
|
groff presentation macros |
KingofToasters
|
2018-10-29 03:47 (UTC) |
|
xmount
|
0.7.6-1 |
3 |
0.01
|
Tool to crossmount between multiple input and output harddisk image files |
watashi
|
2018-10-29 00:00 (UTC) |
|
pbzx
|
1.0.2-2 |
1 |
0.00
|
stream parser for OS X payloads in .pkg files (Niklas Rosenstein's fork) |
akobel
|
2018-10-24 11:20 (UTC) |
|
vacuum-im
|
1.2.5-3 |
2 |
0.00
|
Crossplatform Jabber/XMPP client |
haxor
|
2018-10-23 00:01 (UTC) |
|
kreogist-mu
|
1:1.0.0beta5-1 |
5 |
0.00
|
Fantastic cross-platform music manager.based on Qt5 |
frantic1048
|
2018-10-17 07:58 (UTC) |
|
cloudburstlib-git
|
r16.r0.g83adabc-1 |
0 |
0.00
|
A cross platform dynamic library for BURST, also gives direct access to BURST Extensions |
13floorelevators
|
2018-10-14 19:08 (UTC) |
|
pros-core-bin
|
2.6.1.0-1 |
1 |
0.00
|
PROS core components, including the CLI and Arm Toolchain. |
kfish610
|
2018-10-13 23:19 (UTC) |
|
mingw-w64-pkg-config
|
2-4 |
72 |
0.37
|
Support pkg-config script (does not depend on any particular version of pkg-config). Useful for pkg-config powered cross-compiling with mingw-w64, see http://tinyurl.com/pkg-config-cross for more info |
xantares
|
2018-10-11 21:48 (UTC) |
|
butterflight-configurator-rc
|
10.4.3-1 |
0 |
0.00
|
Crossplatform configuration tool for the Butterflight flight control system. Release Candidate. |
Alex_Nowhere
|
2018-09-26 10:51 (UTC) |
|
mscompress
|
0.3-2 |
0 |
0.00
|
Microsoft "compress.exe/expand.exe" compatible (de)compressor |
grawity
|
2018-09-26 07:56 (UTC) |
|
disttask
|
2.4.0-1 |
0 |
0.00
|
Provides the ability to distribute a task across a fixed number of processes, for better utilization of multiprocessing |
kata198
|
2018-09-20 21:31 (UTC) |
|
cros-adapta-gtk-theme-git
|
r52.f4dee35-1 |
4 |
0.00
|
Adapta crostini theme, the Chrome OS GTK+ theme |
orphan
|
2018-09-20 11:23 (UTC) |
|
arm-none-eabi-gcc73-linaro
|
7.3_2018.05-1 |
0 |
0.00
|
The GNU Compiler Collection - cross compiler for ARM EABI (bare-metal) target. |
MarsSeed
|
2018-09-15 21:46 (UTC) |
|
qt5-pmp-base
|
5.9.5-2 |
0 |
0.00
|
A cross-platform application and UI framework (for plex-media-player) |
MarsSeed
|
2018-09-14 13:08 (UTC) |