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) |
cryptominisat4
|
4.5.3-1 |
2 |
0.00
|
A modern, multi-threaded, feature-rich, simplifying SAT solver |
keenerd
|
2016-11-17 19:26 (UTC) |
codec2-git
|
20201210-1 |
5 |
0.00
|
Open source 2400 bit/s speech codec |
keenerd
|
2020-12-18 02:40 (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) |
cavez-of-phear
|
0.5.1-1 |
8 |
0.00
|
A Boulder Dash like game for consoles/terminals. Level editor included. |
keenerd
|
2016-01-30 15:28 (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) |
bdf-bitocra
|
1.2-11 |
4 |
0.00
|
A monospace bit font, inspired by OCR-A. Created to be very readable on small sizes |
keenerd
|
2020-12-20 00:22 (UTC) |
approxmc-git
|
3.0.r32.g1022b19-1 |
0 |
0.00
|
Approximate Model Counter for SAT/CNF |
keenerd
|
2019-04-30 00:49 (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) |
albumbler
|
20110511-2 |
6 |
0.00
|
Like StumbleUpon for your music, it learns what you don't like. |
keenerd
|
2015-06-13 04:13 (UTC) |
airspy-git
|
20141216-1 |
7 |
0.00
|
Host code for Airspy SDR. |
keenerd
|
2015-06-13 04:32 (UTC) |