- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
OCR software written in C/CAML on Freebsd with a simple GTK+ gui.
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.6 weekly downloads
DPRLE (decision procedure for regular language equations) solves subset constraints that involve language variables and concatenation.1 weekly downloads
A command-line utility for image processing.
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.1 weekly downloads
Camlp4 extension to check code coverage of any OCaml code
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.
charconv64 converts images to Commodore 64 format. Currently it supports multicolor, hires, ESCOS and sprite overlays.