Showing entries 1-15 out of 15.
Lightweight and fast battery icon that sits in the system tray
Mixed integer programming solver
Comic Book converter
Comic Book converter
Command-line program to draw animated colored circles in the terminal
Tool to format codeblocks inside markdown and org documents
An advanced multi-purpose FTP/FXP client
Portable version of Commodore's version of Microsoft BASIC 6502 as found on the Commodore 64
CBMC is a Bounded Model Checker for C and C++ programs
Produces browsable summary of CBMC model checker output
CLI App for converting cursor svg file to png
Grow bonsai trees in your terminal
CBOR diagnostic utilities
Tcl/Tk GUI front-end to cscope
In-memory Google Cloud Bigtable server