lasercata / MP2I
Some MP2I and MPI courses
☆15Updated last year
Alternatives and similar repositories for MP2I:
Users that are interested in MP2I are comparing it to the libraries listed below
- Paso is a meta and functional programming language with a strong static inferred and iso-polymorphic type system☆29Updated 2 years ago
- Page du cours preuves assistées par ordinateur 2021☆12Updated last week
- A simple text editor written in OCaml☆15Updated last year
- r86 is a 8086 real mode programming language which supports segmentation☆16Updated 2 years ago
- OCaml Implementation of the (famous) Baguette# exotic language, used as TIPE for the 2022,2023 seasons concours☆29Updated last week
- A cross-platform library for building Gemini servers☆37Updated 9 months ago
- A simple λProlog interpreter☆20Updated 3 years ago
- A first-order concurrent automated theorem prover☆16Updated this week
- Fast and easy notes taking oriented markup language.☆21Updated 2 years ago
- SFLK programing language reference interpreter☆12Updated 2 years ago
- Another attempt for visualizing proofs☆11Updated 3 months ago
- Ressources pour la classe de MPI* à Louis-le-Grand☆21Updated last week
- A cute Gemini client written in OCaml☆15Updated 2 years ago
- Présentation des classes préparatoires MP2I et MPI☆50Updated this week
- A mini language for logic programming☆24Updated 4 years ago
- Drop some lyrics and highlights the rhymes with colors☆12Updated 2 years ago
- One album per day☆11Updated 9 months ago
- An imperative, object-oriented, static and type-infered programming language.☆8Updated last year
- An abstract-interpretation-based static analysis for inferring refinement types☆16Updated 3 months ago
- Like the Programming Languages Zoo but with esoteric languages.☆25Updated 4 years ago
- Programming language written in Rust.☆12Updated 2 years ago
- A SKI combinators interpreter written in assembly☆19Updated 4 years ago
- The compiler for N⋆, a statically typed assembly language used as a compiler backend for Zilch☆29Updated last year
- Documents pour le cours de maths MP2I 2022/2023☆21Updated last year
- ppx_system is a syntax extension to known operating system at compile time☆12Updated last year
- Collaborative Game of Life☆14Updated 5 years ago
- Cours d'informatique en MP2I (OCaml, C, SQL)☆42Updated 8 months ago
- An OCaml library providing a C parser and lexer☆41Updated 3 months ago
- A powerful keybind library and daemon for Linux.☆10Updated 2 years ago