105 packages found. Page 3 of 3.

« First ‹ Previous 1 2 3

Name Version Votes Popularity? Description Maintainer Last Updated
kusemono 20120519-1 0 0.00 Sneak into a mutant ant hive and stab them. keenerd 2015-06-13 04:22 (UTC)
gnuradio-ra-blocks-git 20150623-1 0 0.00 Essential radio astronomy tools for Gnuradio. keenerd 2015-11-19 03:24 (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)
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)
approxmc-git 3.0.r32.g1022b19-1 0 0.00 Approximate Model Counter for SAT/CNF keenerd 2019-04-30 00:49 (UTC)

105 packages found. Page 3 of 3.

« First ‹ Previous 1 2 3