lasercata / MP2ILinks
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
Sorting:
- Paso is a meta and functional programming language with a strong static inferred and iso-polymorphic type system☆29Updated 2 years ago
- Fast and easy notes taking oriented markup language.☆22Updated 2 years ago
- A cross-platform library for building Gemini servers☆37Updated last week
- A powerful keybind library and daemon for Linux.☆11Updated 2 years ago
- A constraint solver built from scratch in OCaml☆11Updated 3 years ago
- A cute Gemini client written in OCaml☆16Updated 2 years ago
- One album per day☆12Updated last year
- ppx_system is a syntax extension to known operating system at compile time☆12Updated 2 years ago
- r86 is a 8086 real mode programming language which supports segmentation☆19Updated 3 years ago
- Page du cours preuves assistées par ordinateur 2021☆15Updated last month
- Programming language written in Rust.☆12Updated 2 years ago
- Drop some lyrics and highlights the rhymes with colors☆13Updated 2 years ago
- Omega-Bot for Discord, v2!☆12Updated 2 years ago
- A library to make easier dialog box in a terminal.☆12Updated 3 years ago
- A first-order concurrent automated theorem prover☆18Updated last week
- An imperative, object-oriented, static and type-infered programming language.☆9Updated 2 years ago
- An SMT solver frontend for OCaml☆42Updated this week
- A script to dynamically change your wallpaper with a travel photo by Richard Stallman.☆12Updated 4 years ago
- Smart shell that can handle mutliple REPLs☆13Updated 8 years ago
- Ressources pour la classe de MPI* à Louis-le-Grand☆20Updated 2 weeks ago
- A verified Implementation of a mini prolog☆15Updated 2 years ago
- A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.1.1, interpreter by your browser (so it w…☆40Updated 3 months ago
- Compile OCaml to standalone ANSI C file☆44Updated last month
- A simple λProlog interpreter☆20Updated 3 years ago
- NES emulator in OCaml☆43Updated last year
- Formally specified computations on dates☆12Updated last month
- OCaml Implementation of the (famous) Baguette# exotic language, used as TIPE for the 2022,2023 seasons concours☆30Updated 4 months ago
- The compiler for N⋆, a statically typed assembly language used as a compiler backend for Zilch☆29Updated 2 years ago
- A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities☆14Updated 6 months ago
- A simple text editor written in OCaml☆15Updated last year