nicolasmarti/why3theories
why3 projects: combinatorial and sequential logic elements (from nand2tetris), some redefined theories (set, map), seplog theories
Developer Profile
nicolasmarti
Discovered public repositories for nicolasmarti in the GitHub catalog.
nicolasmarti/hol-in-coq
Simple shallow embedding of a HOL logic, LCF style in coq
nicolasmarti/gc
A non-copying garbage collector (from ICFP2011)
nicolasmarti/opam-updates
personal version of some opam packages
nicolasmarti/mylibc
building a minimal certified library using frama-c
nicolasmarti/vdm2why
attempt to build a tool for vdm using why3 as a backend for proof obligation
nicolasmarti/ibtws
A API for Interactive Brokers TWS in OCaml
nicolasmarti/pythonlibs
several libraries for python development
nicolasmarti/poussin
An implementation of the Calculus of Inductive Construction
nicolasmarti/misc-dev
several old dev
nicolasmarti/misc-dev-2
another repo of old dev