Ekdohibs

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.

coq-proofs

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

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/ )

minetest

Minetest, an open source infinite-world block sandbox game with survival and crafting. [also https://github.com/minetest/minetest_game]

coq_hanoi

Formalisation of Hanoi towers in Coq

foundations-of-proof-systems-project

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

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.

prologin2016

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

wires

atwt

A Tome With Trials

autovideo

Semi-automated video editing for editing videos of dance shows at ENS.

chamelon

flambda-backend

The Flambda backend project for OCaml

flambda2-opam

OPAM packages etc. for building with the Flambda 2 compiler

llama

WIP

mg

This is Ekdohib's personnal repo, for upstream, see https://www.github.com/minetest-mods/mg

minetest_game

The main game for the Minetest game engine [minetest_game] [https://github.com/minetest/minetest/]

ocaml

The core OCaml system: compilers, runtime system, base libraries

OmniPause

Control all of your media players with a single command

pipeworks

Adds a set of industrial, flanged pipes to minetest - by itself, this mod only adds a bunch of nodes - it is intended for others to build upon.

polybar-scripts

This is a community project. We write and collect scripts for polybar!

prologin2014

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

PVSCodegen

tsp

weenotify

A minimalist Weechat client using the Weechat relay protocol to retrieve notifications from a bouncer and display them locally.

wesnoth

Free, turn-based strategy game with a high fantasy theme, featuring both singleplayer and online/hotseat multiplayer combat.

why3-toposort

Topological sort in Why3. School project for the MPRI Proof of programs ( http://francois.bobot.eu/mpri2017/ ) course.

zig

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.