mp2i-info / mp2i-info.github.ioLinks
Cours d'informatique en MP2I (OCaml, C, SQL)
☆46Updated 5 months ago
Alternatives and similar repositories for mp2i-info.github.io
Users that are interested in mp2i-info.github.io are comparing it to the libraries listed below
Sorting:
- Matériel utilisé dans les cours Pédago1 et Pédago2 de l'ENS Rennes☆19Updated 3 weeks 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…☆43Updated 10 months ago
- An example that demonstrates how to write Python libraries in OCaml using pyml and pythonlib.☆16Updated 2 years ago
- Identifying similar OCaml codes☆30Updated last year
- A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities☆16Updated last year
- ☆14Updated last year
- A corpus of automatically graded exercises to learn functional programming in OCaml.☆31Updated last year
- An exact real arithmetic (aka constructive reals) for OCaml☆13Updated last year
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆13Updated 3 months ago
- Mathematical plotting library for ocaml☆40Updated 3 weeks ago
- A new language for optimization☆13Updated 4 years ago
- An OCaml library for creating pandoc filters.☆32Updated last year
- Final Year Project - A probabilisitic programming language in OCaml☆14Updated 5 years ago
- Prototype code for some Julia-OCaml bindings☆16Updated 5 years ago
- Another attempt for visualizing proofs☆12Updated last year
- Faithful reimplementation of Minisat 2.2 in OCaml.☆39Updated 2 years ago
- Generate a webpage with mathematical formulae, OCaml output and graphics from markdown☆16Updated 3 years ago
- LP and MIP modeling in OCaml☆29Updated 7 months ago
- Deployed version of Tableaunoir. Do not modify this repository.☆11Updated 2 months ago
- A parsing library that compiles grammars to combinators using elimination of left recursion☆27Updated last month
- ocb (OCaml Badgen) is an OCaml library for SVG badge generation. There's also a command-line tool provided.☆21Updated 4 months ago
- String searching with errors, using the Wu-Manber algorithm☆23Updated last year
- A minimal OCaml project☆50Updated 2 months ago
- Js_of_ocaml bindings for the p5.js library☆11Updated last year
- OCaml syntax extension for synchronous programming...☆32Updated 2 years ago
- A simple BDD library for OCaml☆13Updated 8 months ago
- Easy to use and user-friendly topological sort module for OCaml☆23Updated 8 months ago
- Page du cours preuves assistées par ordinateur 2021☆17Updated 8 months ago
- A simple state-machine framework for OCaml based on QCheck☆67Updated 4 years ago
- How do you do that recursive GADT thing again?☆30Updated last year