Discover @Ekdohibs Open Source projects

Nathanaëlle Courant (@Ekdohibs)

Ekdohibs

Stars
225
Global Rank 112,351 (Top 4 %)
Followers 101
Following 2
Registered almost 12 years ago
Most used languages

OCaml
33.3 %

Coq 22.2 %

Lua
16.7 %

Python
16.7 %

Scala
5.6 %

C++
5.6 %

camlboot

Experiment on how to bootstrap the OCaml compiler

joujou

A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a static type system with inference of types and effects, with subtyping.

PolyGen

PolyGen is a code generator for the polyhedral model, written and proved in Coq.

pforth

A Forth implementation on a virtual machine ran by Python

Mesecons_simulator

itest

toy-smt

Toy SMT solver, for deciding SAT with equality theroy. Written for the Sémantique et applications à la vérification course at ENS ( https://www.di.ens.fr/~rival/semverif-2016/ )

coq-proofs

Various proofs in Coq. Contains the proof of quadratic reciprocity and of Baire theorem.

pscala

Compiler from a fragment of Scala to x86-64 assembly. Was written for the Compilation course at ENS ( https://www.lri.fr/~filliatr/ens/compil/2015-2016/ ).

prologin2015

My submission for the prologin2015 contest: http://www.prologin.org

forth_computer

Computer for Minetest, programmable in Forth

netlist-simulator

Netlist simulator for the "Digital systems" course at ENS ( http://www.di.ens.fr/~bourke/sysdig.html ). Compiles netlist to C, with some optimizations.

technic_tutorial

coq_hanoi

Formalisation of Hanoi towers in Coq

prologin2016

My submission for the prologin2016 contest: http://www.prologin.org

wires

foundations-of-proof-systems-project

Project for the "Foundation of proof systems" course of the MPRI.

chamelon