Some MP2I and MPI courses
☆16Jul 7, 2023Updated 2 years ago
Alternatives and similar repositories for MP2I
Users that are interested in MP2I are comparing it to the libraries listed below
Sorting:
- Cours d'informatique en MP2I (OCaml, C, SQL)☆47Feb 16, 2026Updated 2 weeks ago
- Dice Language Support for VS Code☆10Sep 29, 2020Updated 5 years ago
- Documents pour le cours de maths MP2I 2022/2023☆21May 7, 2023Updated 2 years ago
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆42Apr 14, 2021Updated 4 years ago
- Deployed version of Tableaunoir. Do not modify this repository.☆11Feb 28, 2026Updated last week
- Server implementation of the board game Go☆13Mar 30, 2019Updated 6 years ago
- One album per day☆13May 24, 2024Updated last year
- Homotopy type theory cheatsheets to read the HoTT Book☆12Jul 27, 2019Updated 6 years ago
- Sources of the EuroProofNet web site.☆13Feb 28, 2026Updated last week
- SIGPLAN website☆13Updated this week
- The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.☆59Oct 10, 2025Updated 4 months ago
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆47Feb 26, 2026Updated last week
- Forth package manager for theForthNet☆14Apr 4, 2018Updated 7 years ago
- Automated Tournament Organizer for Smash (ft. Discord, Challonge).☆12Oct 17, 2020Updated 5 years ago
- An implementation of a lexically scoped, referentially transparent, minimal Lisp with some added features☆10Mar 30, 2022Updated 3 years ago
- A LaTeX template for Bachelor or Master theses☆12Jun 10, 2022Updated 3 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10May 31, 2022Updated 3 years ago
- Module based on PocketSphynx to allow simple voice commands when using Anki☆10Oct 12, 2019Updated 6 years ago
- F2cl - A Fortran 77 to Common Lisp translator☆13Jun 23, 2025Updated 8 months ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Dec 19, 2023Updated 2 years ago
- site for projects and notes☆10Apr 2, 2024Updated last year
- formally and easily, describe the semantics.☆13Aug 17, 2020Updated 5 years ago
- A library for typed manipulation of UNIX-style file paths.☆13Jan 15, 2026Updated last month
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)☆12Oct 6, 2011Updated 14 years ago
- Proposition for modernizing the OCaml API from the official manual☆10Apr 1, 2023Updated 2 years ago
- The IdiomReplaceX Browser App is a special browser app from the net art project IdiomReplaceX. When using this browser, the IdiomReplace…☆16Nov 2, 2022Updated 3 years ago
- HTML5 Gamepad API bindings for js_of_ocaml☆17Jan 7, 2018Updated 8 years ago
- Js_of_ocaml bindings for the p5.js library☆11May 14, 2024Updated last year
- Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …☆18Updated this week
- Sound synthesis library for Common Lisp based on CLM-5☆12Aug 15, 2023Updated 2 years ago
- bindings for the raylib + raygui library in Factor☆10Dec 31, 2020Updated 5 years ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆16Updated this week
- Another attempt for visualizing proofs☆12Nov 19, 2024Updated last year
- A small example of a source->source pattern matching to decision tree compiler☆14Jul 29, 2020Updated 5 years ago
- glTF 2.0 parser for Common Lisp☆13Aug 13, 2025Updated 6 months ago
- An ocaml implementation of conflict-driven reasoning☆14Jul 13, 2018Updated 7 years ago
- VSCode extension that allows to speed up the drafting of .gitignore files.☆11Mar 16, 2024Updated last year
- A compiler and bytecode interpreter for a subset of Python☆10Jan 23, 2021Updated 5 years ago