foncteur

Orphée Radet's repositories

Language:HTML000

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

NOASSERTION000

Project for the 2.4 mpri course "Programmation fonctionnelle et systèmes de types"

Language:OCaml000

Exercices of SICP, in Scheme

Language:Scheme100

Language:OCaml100

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

LGPL-2.1000

Little automata library for OCaml

Language:OCaml100

Language:Python000

Projet de SPA (solver principles and architecture), 2019

Language:Roff000

Language:Coq000

Re-implementation of the kilo editor, thanks to the tutorial

Language:C000