implementation of the SOCKS protocol while behaving like a regular
socket as much as possible."
From maintainer Nigel Taylor, small tweaks from me and jasper@, ok jasper@
called LADR (Library for Automated Deduction Research).
split into ladr (prover9 mace4 tools) and p9m4 (gui to ladr)
ok aja@
and thanks to landry@/robert@ too for putting up with my ranting about this..
altgraph is a fork of graphlib: a graph (network) package for
constructing graphs, BFS and DFS traversals, topological sort, shortest
paths, etc. with graphviz output.
ok aja@
PDF Mod is a simple application for modifying PDF documents. You can
reorder, rotate, and remove pages, export images from a document, edit
the title, subject, author, and keywords, and combine documents via drag
and drop.
ok jasper@ robert@ (on an older version 2 months ago...)
Hyena is a C# library used to make awesome applications. It contains a
lot of random things, including useful data structures, a Sqlite-based
db layer, cool widgets, a JSON library, a smart job/task scheduler, a
user-query/search parser, and much more. It's particularly useful for
Gtk# applications, though only the Hyena.Gui assembly requires Gtk#.
ok jasper@ robert@ (2 months ago...)
Gamine is a game designed for 2 years old children who are not able to
use mouse and keyboard. The child uses the mouse to draw coloured dots
and lines on the screen and keyboard to display letter.
ok jasper@
The Simulavr program is a simulator for the Atmel AVR family of
microcontrollers. Simulavr can be used either standalone or as a remote
target for gdb. When used in gdbserver mode, the simulator is used as a
backend so that gdb can be used as a source level debugger for AVR
programs.
ok aja@
