Explore projects

Primary library for necro, and standard tools (parse, print and compil)

A library for constraint-based Hindley-Milner type inference.

diodon project with numpy

Cadbiom is an open source modeling software. Based on Guarded transition semantic, it gives a formal framework to help the modeling of biological systems such as cell signaling network.

MoReFEM core library.

This library also contains some simple Models to illustrate how to use it, and several integration tests.

Tool to generate a graphical representation of disk/partitions of a machine

numerical solver for population-based systems with gnuplot graphical output

The Gazelle GeoIP is a tool using Country / City database lookup per IP.

A generator of debugger for the Skel language for semantics description