A Forge-like world editor for the AlephOne engine. We have migrated to GitHub for all future releases.
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.
*** Moved to http://github.com/esumii/min-caml ***
*** Moved to http://github.com/esumii/min-caml *** MinCaml: An educational compiler from a tiny ML subset to the SPARC or PowerPC assembly language; Only 2000 lines of Objective Caml, but almost as efficient as---or even more efficient than---OCaml and GCC!
A functional programming language
Cartesian is a pure functional programming language, wrapped in an imperative and object oriented layer. The main goal is to separate both worlds and to have some very clean and well defined interfaces. This project is the reference implementation of the language, as an interpreter. The interpreter's goal is not performance.
tdir is an LDAP translator, initially it will facilitate easy replication to MS Active Directory, but support for other directories may be added in the future
Capstone disassembly engine
Multiple-arch, multiple-platform disassembly engine with advanced features
coThreads (formerly known as STMlib), is a concurrent programming library for OCaml. It features both high and low level constructors, for both shared-memory and message-passing style concurrency. The library is equipped with a set of source-level and ob
Simple collection of Artificial Intelligence methods implemented in OCaml
Newspeak is a simplified programming language, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.
A software for indexing and searching a samba based files sharing network.
abandoned project. No real need to do that.
A Data Bus to share Time Series at high-frequency and low latency between programs on the same machine or on the network Publisher/subscribers model Any type data Shared-memory, TCP, RDMA, Ethernet Language independent API Time and content access