bashi-bazouk/Monograph
Collect and output OCaml ml files in dependency order.
Discovered public repositories for bashi-bazouk in the GitHub catalog.
Collect and output OCaml ml files in dependency order.
Socket binding to the Centaur ACL2 Bridge
Simple functions for reading requests and writing responses.
The Mongrel2 Web Server Project
IndividualAgent is a federated social network. Contact the owner for more information.
Tools and templates for CamlP4 syntax manipulations.
BNF Converter
OCaml bindings to the abc synthesis library
Public repository.
Chat with Unix Sockets
Public repository.
Type into an Android phone via USB
ZMQ API bindings for OCaml