CheckFence is a SAT-based formal verification tool that analyzes C code implementing concurrent data types on multiprocessors (concurrent queues, sets etc.) with respect to a selected memory model.
A command-line utility for image processing.
OCR software written in C/CAML on Freebsd with a simple GTK+ gui.
Camlp4 extension to check code coverage of any OCaml code
A tool to facilitate writing and operating on fully structured, formalised data and functions. It can be used as a powerful parser, functional programming language or logic tool.
This project is also hosted on github at http://github.com/collaborativetrust/WikiTrust/tree/master
A modest extension to C, XMTC allows representing parallel (PRAM) algorithms as parallel programs, and run XMTC code using a compiler and cycle accurate simulator of the University of Maryland explicit multi-threaded (XMT) many-core architecture.
charconv64 converts images to Commodore 64 format. Currently it supports multicolor, hires, ESCOS and sprite overlays.
DPRLE (decision procedure for regular language equations) solves subset constraints that involve language variables and concatenation.