ekdohibs Goto Github PK

ocaml

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

omnipause

Control all of your media players with a single command

partial

My attempt at coding a partial evaluator. Written for TIPE in "classes prépa".

pforth

A Forth implementation on a virtual machine ran by Python

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!

polygen

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

prologin2014

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

prologin2015

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

prologin2016

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

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

pvscodegen

realms

Realms mod for Minetest

sliding_door

technic

Technic mod for Minetest

technic_tutorial

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

tsp

turtle

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

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.

wires

zig

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