mp2i-info / mp2i-info.github.io

Related projects ⓘ

Alternatives and complementary repositories for mp2i-info.github.io

• MarcdeFalco / MarcdeFalco.github.io
  ☆0Updated last year
• InfoSansOrdi / pedago-rennes
  Matériel utilisé dans les cours Pédago1 et Pédago2 de l'ENS Rennes
  ☆19Updated 6 months ago
• herbelin / cours-preuves-ordinateur
  Page du cours preuves assistées par ordinateur 2021
  ☆9Updated 7 months ago
• jbdoderlein / BetterOCaml
  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…
  ☆38Updated last month
• nobrakal / asak
  Identifying similar OCaml codes
  ☆29Updated 3 months ago
• nathaniel-carre / MPI-LLG
  Ressources pour la classe de MPI* à Louis-le-Grand
  ☆17Updated 3 weeks ago
• marc-chevalier / ocolor
  Print with style in your terminal using Format's semantic tags
  ☆18Updated last year
• smimram / ocaml-pandoc
  An OCaml library for creating pandoc filters.
  ☆29Updated last month
• stevenvar / OCaLustre
  OCaml syntax extension for synchronous programming...
  ☆31Updated last year
• francoisschwarzentruber / tikzzz
  A tiny tikzzz editor in the browser
  ☆11Updated last month
• OCamlPro / ocplib-simplex
  A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
  ☆13Updated 5 months ago
• Firobe / nes-ml
  NES emulator in OCaml
  ☆37Updated last year
• ktahar / ocaml-lp
  LP and MIP modeling in OCaml
  ☆26Updated 2 years ago
• lindig / hello
  A minimal OCaml project
  ☆43Updated 4 months ago
• backtracking / ptmap
  Implementation of maps of integers with Patricia trees
  ☆20Updated 4 years ago
• Drup / pumping
  Regular languages in types
  ☆21Updated 7 years ago
• Octachron / tensority
  Strongly typed multidimensional array library for OCaml
  ☆51Updated 5 months ago
• lasercata / MP2I
  Some MP2I and MPI courses
  ☆14Updated last year
• d-plaindoux / transept
  An OCaml modular and generalised parser combinator library.
  ☆21Updated 3 years ago
• xavierleroy / camlidl
  Stub code generator for OCaml/C interface
  ☆33Updated 4 months ago
• ocaml-gospel / ortac
  Runtime assertion checking based on Gospel specifications
  ☆38Updated 3 weeks ago
• art-w / babiseat
  add/remove for AVL, red-black, 2-3, 2-3-4 trees using GADTs
  ☆16Updated last year
• xavierleroy / coq2html
  An HTML documentation generator for Coq source files
  ☆30Updated 2 months ago
• logsem / cerise
  Formalisation of a capability machine and principles for reasoning about security properties
  ☆17Updated this week
• progman1 / genprintlib
  general value printing within compiled programs
  ☆29Updated 4 years ago
• francoisschwarzentruber / prooffold
  Another attempt for visualizing proofs
  ☆10Updated last year
• pveber / scirep
  Generate a webpage with mathematical formulae, OCaml output and graphics from markdown
  ☆15Updated 2 years ago
• jmid / mutaml
  An OCaml mutation tester
  ☆65Updated last month
• Firobe / 6502-ml
  6502 chip simulator in OCaml
  ☆10Updated 7 months ago
• ocaml-gospel / cameleer
  A Deductive Verification Tool for OCaml Programs
  ☆60Updated 4 months ago