MarcdeFalco / MarcdeFalco.github.io

Related projects: ⓘ

• mp2i-info / mp2i-info.github.io
  Cours d'informatique en MP2I (OCaml, C, SQL)
  ☆43Updated 2 months ago
• tableaunoir / tableaunoir.github.io
  Deployed version of Tableaunoir. Do not modify this repository.
  ☆10Updated 2 months ago
• francoisschwarzentruber / tikzzz
  A tiny tikzzz editor in the browser
  ☆11Updated last year
• glassus / nsi
  Cours de NSI - Lycée François Mauriac - Bordeaux
  ☆35Updated 2 years ago
• InfoSansOrdi / pedago-rennes
  Matériel utilisé dans les cours Pédago1 et Pédago2 de l'ENS Rennes
  ☆19Updated 4 months ago
• francoisschwarzentruber / prooffold
  Another attempt for visualizing proofs
  ☆10Updated last year
• exo7math / python2-exo7
  Python au lycée - tome 2
  ☆14Updated 4 years ago
• prepas-mp2i / prepas-mp2i.fr
  Site web des prépas MP2I.
  ☆48Updated this week
• Naereen / ParcourSup.py
  Un clone en Python 3 de ParcoursSup, écrit à but didactique
  ☆16Updated 4 years ago
• Quelklef / mathsproofbot
  Writing proofs to Twitter since April 2020
  ☆11Updated 2 years ago
• lasercata / MP2I
  Some MP2I and MPI courses
  ☆14Updated last year
• nathaniel-carre / MPI-LLG
  Ressources pour la classe de MPI* à Louis-le-Grand
  ☆12Updated this week
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆36Updated 3 months ago
• blegat / mathraining
  Site interactif avec théorie, exercices et problèmes
  ☆51Updated this week
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆35Updated 5 months ago
• pivaldi / asymptote-packages
  Personal packages for http://asymptote.sourceforge.net/
  ☆8Updated 6 years 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…
  ☆37Updated last week
• DaiF1 / Oditor
  A simple text editor written in OCaml
  ☆14Updated 10 months ago
• PierreSenellart / apxproof
  LaTeX package for automatically putting proof environments in appendix
  ☆23Updated 7 months ago
• MP2I-Kleber / another-mp2i-bot
  Le meilleur bot Discord qu'une promo de CPGE puisse avoir :)
  ☆18Updated 5 months ago
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 3 years ago
• nfzhou / lp-contest
  ☆9Updated last year
• sanette / oplot
  Mathematical plotting library for ocaml
  ☆31Updated last year
• nohtyprm / MrPython
  A simplified programming environment for Python (3.x) - based on IDLE
  ☆28Updated 2 weeks ago
• brunoscherrer / retraites
  simulateur du COR amélioré
  ☆25Updated 3 years ago
• ellieyhcheng / dice-vs-code
  Dice Language Support for VS Code
  ☆10Updated 3 years ago
• glassus / terminale_nsi
  ☆52Updated this week
• nobrakal / asak
  Identifying similar OCaml codes
  ☆30Updated last month
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆42Updated 2 weeks ago
• miking-lang / miking
  Miking - the meta viking: a meta-language system for creating embedded languages
  ☆51Updated last week