lasercata / MP2ILinks
Some MP2I and MPI courses
☆16Updated 2 years ago
Alternatives and similar repositories for MP2I
Users that are interested in MP2I are comparing it to the libraries listed below
Sorting:
- A constraint solver built from scratch in OCaml☆11Updated 3 years ago
- 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☆15Updated 2 months ago
- The Caml Light implementation of the Caml language☆67Updated 2 years ago
- A cross-platform library for building Gemini servers☆37Updated 3 weeks ago
- A simple λProlog interpreter☆20Updated 3 years ago
- An OCaml library providing a C parser and lexer☆42Updated 8 months ago
- An SMT solver frontend for OCaml☆42Updated last week
- Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]☆38Updated 2 years ago
- A generic goal preprocessing tool for proof automation tactics in Coq☆16Updated last week
- A cute Gemini client written in OCaml☆16Updated 2 years ago
- NES emulator in OCaml☆43Updated last year
- Compile OCaml to standalone ANSI C file☆44Updated last month
- Fast and easy notes taking oriented markup language.☆22Updated 3 years ago
- Runtime assertion checking based on Gospel specifications☆46Updated last week
- LP and MIP modeling in OCaml☆28Updated 3 weeks ago
- Constraint solver based on abstract domains☆32Updated 8 months ago
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆27Updated 2 years ago
- Matita (proof assistant) with embedded elpi☆13Updated 7 years ago
- A first-order concurrent automated theorem prover☆19Updated this week
- A parsing library that compiles grammars to combinators using elimination of left recursion☆22Updated last year
- OCaml Implementation of the (famous) Baguette# exotic language, used as TIPE for the 2022,2023 seasons concours☆30Updated 4 months ago
- A simple library implementation of binary sessions☆11Updated last year
- An OCaml library for creating pandoc filters.☆31Updated 9 months ago
- An HTML documentation generator for Coq source files☆31Updated 10 months ago
- Print with style in your terminal using Format's semantic tags☆19Updated last year
- The Som functional programming language☆22Updated last year
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆40Updated 4 years ago
- Path tracer live coded in stream☆19Updated 4 years ago
- Yet another implementation of fork&exec and related functionality☆11Updated last month