Vertmo

ocamltokotlin

Compiling OCaml to Kotlin (to eventually make some android apps)

OContrainte

A constraint programming library for OCaml, optimized for microcontrollers

OMicroB

An Ocaml generic virtual machine for microcontrollers

ACM-ICPC-Algorithms

Algorithms used in Competitive Programming

APS

Le langage développé en cours d'APS à Sorbonne Université

Carp

A statically typed lisp, without a GC, for real-time applications.

CompCert

The CompCert formally-verified C compiler

coq2html

An HTML documentation generator for Coq source files

crazyflie-lib-python

Python library to communicate with Crazyflie

gitignore

A collection of useful .gitignore templates

hello-menhir

Example app for menhir + reason + esy + dune

LaTeX-Game-Engine

A game engine utilising the best medium: .pdf

MiniLucy

The MiniLucy compiler, realized for the Synchronous Systems module at MPRI

mm

Decompilation of The Legend of Zelda: Majora's Mask

MPRI-2.4-DTP

MPRI-2.4 Dependently-typed Functional Programming

Nand2Tetris

The project from the "Nand2Tetris" book (https://www.nand2tetris.org/)

OCaLustre

OCaml syntax extension for synchronous programming...

ocamljava

ollvm

An higher-level LLVM binding for OCaml

orgcss

Simple and clean CSS for Org-exported HTML

ott

The Ott tool for writing definitions of programming languages and calculi

PG

This repo is the new home of Proof General

smpl

A Coq plugin providing an extensible tactic similar to first.

stage2019-rapport

Mon rapport pour le stage 2019 à Nomadic Labs

tokei

Count your code, quickly.

tp-ghidra-server

Ghidra server for the Twilight Princess Speedrun & Decomp communities

try-minilucy

A web editor for MiniLucy

ubuntu-party-p5

Tout ce qu'il faut pour notre anim à l'Ubuntu Party 2018

vglang

A language to write video games

YANBF

Yet another nds-bootstrap forwarder. Runs from 3DS-mode!