approxmc-git
|
3.0.r32.g1022b19-1 |
0 |
0.00
|
Approximate Model Counter for SAT/CNF |
keenerd
|
2019-04-30 00:49 (UTC) |
bdflib-git
|
20150305-1 |
0 |
0.00
|
A Python library for reading, writing and modifying bitmap fonts in BDF format |
keenerd
|
2018-08-24 17:09 (UTC) |
cryptominisat5-git
|
5.6.8.r171.gc1b9ed65-1 |
0 |
0.00
|
A modern multi-threaded SAT solver. With experimental features enabled. |
keenerd
|
2019-04-29 21:43 (UTC) |
gnuradio-ra-blocks-git
|
20150623-1 |
0 |
0.00
|
Essential radio astronomy tools for Gnuradio. |
keenerd
|
2015-11-19 03:24 (UTC) |
kusemono
|
20120519-1 |
0 |
0.00
|
Sneak into a mutant ant hive and stab them. |
keenerd
|
2015-06-13 04:22 (UTC) |
liblfds
|
7.1.1-1 |
0 |
0.00
|
Lock free data structures for C. |
keenerd
|
2017-03-18 11:47 (UTC) |
metalua
|
0.5rc2-1 |
0 |
0.00
|
The metalua programming language |
keenerd
|
2015-08-09 18:41 (UTC) |
necpp
|
1.6.1-1 |
0 |
0.00
|
Free NEC-2 compatable electromagnetic code. With C, C++ APIs. |
keenerd
|
2016-11-02 12:34 (UTC) |
nickle-git
|
20101024-1 |
0 |
0.00
|
A C-like language with the functionality of bc/dc/expr in much-improved form. |
keenerd
|
2015-06-13 04:15 (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) |
python-cs1graphics
|
1.2-2 |
0 |
0.00
|
Simple python2/python3 graphics library. |
keenerd
|
2015-06-13 04:23 (UTC) |
python-polygon
|
3.0.9.1-1 |
0 |
0.00
|
Python package that handles polygonal shapes in 2D |
keenerd
|
2022-03-04 05:55 (UTC) |
summon
|
1.8.10-1 |
0 |
0.00
|
Rapid prototyping of 2D visualizations for Python. |
keenerd
|
2022-03-04 07:11 (UTC) |
tmenu-git
|
20140614-1 |
0 |
0.00
|
Fuzzy completion for anything in the terminal, like dmenu. |
keenerd
|
2015-06-13 04:24 (UTC) |
tome2-git
|
20121104-1 |
0 |
0.00
|
A dungeon crawler similar to Angband, based on the works of Tolkien. |
keenerd
|
2015-06-13 04:21 (UTC) |
waffles
|
1.0.0-1 |
0 |
0.00
|
Comprehensive collection of CLI tools for machine learning and data mining. |
keenerd
|
2022-03-04 08:22 (UTC) |
am335x-pru-git
|
20170212-1 |
1 |
0.00
|
The PASM assembler and prussdrv library for the BBB (beaglebone black) PRU. |
keenerd
|
2017-02-18 19:05 (UTC) |
datastat-git
|
20131228-1 |
1 |
0.00
|
Simple command line statistics |
keenerd
|
2015-06-13 04:27 (UTC) |
dupmerge
|
1.73-2 |
1 |
0.00
|
Create hardlinks between duplicate files. |
keenerd
|
2015-08-09 03:03 (UTC) |
durdraw-git
|
20220216-1 |
1 |
0.00
|
Frame based ASCII and ANSI drawing and playback program |
keenerd
|
2022-03-04 08:34 (UTC) |
ficl
|
4.1.0-1 |
1 |
0.00
|
Forth Inspired Command Language |
keenerd
|
2015-06-13 04:17 (UTC) |
glucose
|
4.1-1 |
1 |
0.00
|
Parallel SAT solver based on Minisat, with glue clauses. |
keenerd
|
2018-01-30 23:26 (UTC) |
gnuradio-multi-rtl-git
|
r43.cbc12d5-1 |
1 |
0.00
|
Multi-channel receiver with use of RTL-SDR dongles |
keenerd
|
2016-06-24 02:46 (UTC) |
konoha
|
1.0.0.952-1 |
1 |
0.00
|
A high speed static scripting language. |
keenerd
|
2015-06-13 04:18 (UTC) |
lingeling
|
180517-1 |
1 |
0.00
|
A BSP SAT solver derived from Picosat. |
keenerd
|
2019-04-29 03:39 (UTC) |
ministat-git
|
20120914-1 |
1 |
0.00
|
A small tool to do the statistics legwork on benchmarks etc. |
keenerd
|
2015-08-09 22:59 (UTC) |
oleo
|
1.99.16-3 |
1 |
0.00
|
GNU's lightweight spreadsheet program with a curses-based interface |
keenerd
|
2017-02-18 19:13 (UTC) |
punt-git
|
20090731-1 |
1 |
0.00
|
A simple sexp-based programming language. |
keenerd
|
2015-06-13 04:10 (UTC) |
pyspeed
|
0.1.1-1 |
1 |
0.00
|
Add progress bars with easy pythonic wrapper iterators. Py2 and Py3 |
keenerd
|
2015-06-13 04:18 (UTC) |
smart-kobold
|
002-1 |
1 |
0.00
|
Kobolds in this roguelike are smarter than your average kobold. |
keenerd
|
2015-06-13 04:20 (UTC) |
spooftooph
|
0.5.2-1 |
1 |
0.00
|
Designed to automate spoofing or cloning Bluetooth device Name, Class, and Address. Cloning this information effectively allows Bluetooth device to hide in plain site |
keenerd
|
2015-08-09 22:46 (UTC) |
tines
|
1.11.1-1 |
1 |
0.00
|
A hierarchical console-based outliner/planner/notebook and fork of HNB. |
keenerd
|
2019-03-07 00:14 (UTC) |
ttf-lobsang-monlam
|
1-2 |
1 |
0.00
|
A Tibetan font, Monlam Bod-Yig |
keenerd
|
2020-12-23 23:12 (UTC) |
ttrk
|
0.7.0-1 |
1 |
0.00
|
Tektracker is a console based MIDI tracker/sequencer. Requires /dev/midi. |
keenerd
|
2015-06-13 04:18 (UTC) |
vfu-utf
|
4.21-1 |
1 |
0.00
|
VFU is console (text mode) file manager. Patched for Unicode (UTF-8) support. |
keenerd
|
2021-07-30 10:19 (UTC) |
xscreensaver-hacks
|
5.43-1 |
1 |
0.00
|
Standalone apps from xscreensaver, including phosphor and apple2 terminals. |
keenerd
|
2020-01-30 01:53 (UTC) |
clonekeen
|
8.4-2 |
2 |
0.00
|
A clone of the classic DOS game, Commander Keen: Invasion of the Vorticons |
keenerd
|
2020-12-24 03:14 (UTC) |
cryptominisat4
|
4.5.3-1 |
2 |
0.00
|
A modern, multi-threaded, feature-rich, simplifying SAT solver |
keenerd
|
2016-11-17 19:26 (UTC) |
gnubik
|
2.4.3-1 |
2 |
0.00
|
The GNUbik program is an interactive, graphical, cube puzzle. |
keenerd
|
2017-04-22 23:10 (UTC) |
haserl
|
0.9.35-1 |
2 |
0.00
|
Tiny dynamic CGI web server with your shell or Lua. |
keenerd
|
2020-01-14 12:41 (UTC) |
mininim
|
201701122309-1 |
2 |
0.00
|
the Advanced Prince of Persia Engine, based on 1989 release |
keenerd
|
2018-08-24 17:23 (UTC) |
netwag
|
5.39.0-1 |
2 |
0.00
|
GUI for a kit of 222 network tools. |
keenerd
|
2015-06-13 04:31 (UTC) |
overgod
|
1.0-4 |
2 |
0.00
|
overgod is a shoot em up space game |
keenerd
|
2015-06-13 04:34 (UTC) |
picosat
|
965-2 |
2 |
0.00
|
The PicoSAT solver |
keenerd
|
2019-04-29 20:12 (UTC) |
rox-lib
|
2.0.6-5 |
2 |
0.00
|
Shared code which can be used by other ROX applications. This is rox-lib2 |
keenerd
|
2019-03-30 02:49 (UTC) |
setl
|
0.1.2-1 |
2 |
0.00
|
High level dynamic set based language. |
keenerd
|
2015-06-13 04:17 (UTC) |
vdmfec
|
1.0-1 |
2 |
0.00
|
Save and recover data from unreliable media |
keenerd
|
2015-06-13 04:29 (UTC) |
vicious-orcs
|
001-1 |
2 |
0.00
|
A Seven Day Roguelike written by Jeff Lait. |
keenerd
|
2015-06-13 04:20 (UTC) |
eggwm
|
0.2-1 |
3 |
0.00
|
A simple and light Qt4 WM. 100% compatible with the EWMH and ICCCM standards. |
keenerd
|
2017-02-10 01:39 (UTC) |
fortunelock
|
0.1.2-3 |
3 |
0.00
|
A simple, program to lock a terminal while showing fortunes. |
keenerd
|
2015-06-13 04:09 (UTC) |