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:
- Paso is a meta and functional programming language with a strong static inferred and iso-polymorphic type system☆29Updated 3 years ago
- A constraint solver built from scratch in OCaml☆12Updated 4 years ago
- A first-order concurrent automated theorem prover☆23Updated 5 months ago
- Constraint solver based on abstract domains☆33Updated last year
- An SMT solver frontend for OCaml☆59Updated this week
- Page du cours preuves assistées par ordinateur 2021☆17Updated 8 months ago
- NES emulator in OCaml☆43Updated 2 years ago
- A cross-platform library for building Gemini servers☆37Updated 2 months ago
- Formalisation of a capability machine and principles for reasoning about security properties☆25Updated 7 months ago
- A verified Implementation of a mini prolog☆17Updated 3 years ago
- A mini language for logic programming☆23Updated 5 years ago
- A simple λProlog interpreter☆20Updated 4 years ago
- Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]☆38Updated 2 years 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
- An OCaml library providing a C parser and lexer☆42Updated last year
- Like the Programming Languages Zoo but with esoteric languages.☆25Updated 5 years ago
- A generic goal preprocessing tool for proof automation tactics in Coq☆15Updated this week
- Purely functional GUI algebra☆81Updated 10 months ago
- Another attempt for visualizing proofs☆12Updated last year
- The Caml Light implementation of the Caml language☆68Updated 2 years ago
- LP and MIP modeling in OCaml☆29Updated 7 months ago
- Compile OCaml to standalone ANSI C file☆45Updated 2 months ago
- A Deductive Verification Tool for OCaml Programs☆76Updated 4 months ago
- Fast and easy notes taking oriented markup language.☆22Updated 3 years ago
- Binding to Cairo, a 2D Vector Graphics Library.☆56Updated last year
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆13Updated 3 months ago
- TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)☆56Updated 3 weeks ago
- A parsing library that compiles grammars to combinators using elimination of left recursion☆27Updated last month
- A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities☆16Updated last year
- Hanoi tower in Coq☆26Updated last week