ekdohibs Goto Github PK

atwt

A Tome With Trials

autovideo

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

bees

Adds bees and hives to minetest

calinou_mods

Calinou's Mods for Minetest, a free and opensource Minecraft-like game.

camlboot

Experiment on how to bootstrap the OCaml compiler

chamelon

common

Minetest Common Mods, official as hell!

coq-proofs

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

coq_hanoi

Formalisation of Hanoi towers in Coq

flambda-backend

The Flambda backend project for OCaml

flambda2-opam

OPAM packages etc. for building with the Flambda 2 compiler

forth_computer

Computer for Minetest, programmable in Forth

foundations-of-proof-systems-project

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

item_transport

itest

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.

llama

WIP

mesecons.net

The source for the website mesecons.net

mesecons_simulator

mg

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

microblocks

minetest

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

minetest-mod-mesecons

Mod for minetest c55 that adds mesecons [=minecraft redstone]

minetest-stress

minetest_game

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

miningtp

minitest

A game for Minetest C55

mobs

Mobs for Minetest

moreores

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.