lasercata / MP2I

Related projects: ⓘ

• SimonHauguel / Paso
  Paso is a meta and functional programming language with a strong static inferred and iso-polymorphic type system
  ☆29Updated 2 years ago
• DaiF1 / Oditor
  A simple text editor written in OCaml
  ☆14Updated 10 months ago
• Psi-Prod / Mehari
  A cross-platform library for building Gemini servers
  ☆37Updated 3 months ago
• ArtichOwO / r86
  r86 is a 8086 real mode programming language which supports segmentation
  ☆16Updated 2 years ago
• prepas-mp2i / prepas-mp2i.fr
  Site web des prépas MP2I.
  ☆48Updated this week
• Tim-ats-d / Postem-markup
  Fast and easy notes taking oriented markup language.
  ☆21Updated 2 years ago
• Tim-ats-d / Suricate
  ☆11Updated this week
• coco33920 / ocaml-baguettesharp-interpreter
  OCaml Implementation of the (famous) Baguette# exotic language, used as TIPE for the 2022,2023 seasons concours
  ☆27Updated 8 months ago
• Tim-ats-d / Macron
  A powerful keybind library and daemon for Linux.
  ☆10Updated 2 years ago
• zilch-lang / nstar
  The compiler for N⋆, a statically typed assembly language used as a compiler backend for Zilch
  ☆29Updated last year
• mortim / noc
  ☆26Updated this week
• nathaniel-carre / MPI-LLG
  Ressources pour la classe de MPI* à Louis-le-Grand
  ☆12Updated this week
• Tim-ats-d / Indigobi
  A cute Gemini client written in OCaml
  ☆14Updated last year
• wyx0-xyz / flush
  Programming language written in Rust.
  ☆11Updated last year
• herbelin / cours-preuves-ordinateur
  Page du cours preuves assistées par ordinateur 2021
  ☆9Updated 5 months ago
• Tim-ats-d / Punchboy
  Drop some lyrics and highlights the rhymes with colors
  ☆12Updated 2 years ago
• apoleon33 / cradle
  One album per day
  ☆11Updated 3 months ago
• mp2i-info / mp2i-info.github.io
  Cours d'informatique en MP2I (OCaml, C, SQL)
  ☆43Updated 2 months ago
• marc-chevalier / ocolor
  Print with style in your terminal using Format's semantic tags
  ☆18Updated 10 months ago
• Psi-Prod / ppx_system
  ppx_system is a syntax extension to known operating system at compile time
  ☆12Updated last year
• Uriopass / Collagol
  Collaborative Game of Life
  ☆14Updated 4 years ago
• Alkouille / douki
  Douki-next (同期『ネクスト』) is a synchronization software for anilist and myanimelist.
  ☆10Updated 3 years ago
• quark-lang / quark
  ☆45Updated this week
• acorrenson / minilog
  A verified Implementation of a mini prolog
  ☆13Updated last year
• felko / sluggo
  Smart shell that can handle mutliple REPLs
  ☆13Updated 7 years ago
• Firobe / 6502-ml
  6502 chip simulator in OCaml
  ☆10Updated 6 months ago
• Eravys-Noton / algebre1_info_2022_2023
  ☆7Updated last year
• blegat / mathraining
  Site interactif avec théorie, exercices et problèmes
  ☆51Updated this week
• logsem / cerise
  Formalisation of a capability machine and principles for reasoning about security properties
  ☆17Updated this week