Alternatives and similar repositories for nsi

Users that are interested in nsi are comparing it to the libraries listed below

• mp2i-info / mp2i-info.github.io
  Cours d'informatique en MP2I (OCaml, C, SQL)
  ☆45Updated 2 weeks ago
• francoisschwarzentruber / tikzzz
  A tiny tikzzz editor in the browser
  ☆11Updated 5 months ago
• exo7math / python2-exo7
  Python au lycée - tome 2
  ☆17Updated 5 years ago
• glassus / terminale_nsi
  ☆59Updated this week
• tableaunoir / tableaunoir.github.io
  Deployed version of Tableaunoir. Do not modify this repository.
  ☆10Updated 3 weeks ago
• prepas-mp2i / prepas-mp2i.fr
  Présentation des classes préparatoires MP2I et MPI
  ☆48Updated this week
• blegat / mathraining
  Site interactif avec théorie, exercices et problèmes
  ☆64Updated last month
• kikocorreoso / pizarra-nb
  Jupyter notebook extension that creates a canvas of a cell and allows to paint onto the contents so it could be used to explain some conc…
  ☆13Updated 6 years ago
• MP2I-Kleber / another-mp2i-bot
  Le meilleur bot Discord qu'une promo de CPGE puisse avoir :)
  ☆19Updated 7 months ago
• luffah / Terminus
  Linux learning game
  ☆38Updated last year
• francoisschwarzentruber / prooffold
  Another attempt for visualizing proofs
  ☆12Updated 9 months ago
• exo7math / python1-exo7
  Python au lycée - tome 1
  ☆41Updated 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 2 months ago
• Quelklef / mathsproofbot
  Writing proofs to Twitter since April 2020
  ☆11Updated 3 years ago
• InfoSansOrdi / pedago-rennes
  Matériel utilisé dans les cours Pédago1 et Pédago2 de l'ENS Rennes
  ☆19Updated 3 months ago
• InfoSansOrdi / CSIRL
  Computer Science In Real Life
  ☆26Updated 8 years ago
• tjwei / Fractran
  Javascript implementation of Fractran
  ☆14Updated 7 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆31Updated last year
• dEAduction / dEAduction
  Source for the d∃∀duction project.
  ☆21Updated last month
• mmasdeu / topologygame
  Learn Lean and topology
  ☆24Updated 2 years ago
• France-ioi / taskgrader
  This simple tool manages every step of grading a contest task, from the generation of test data to the grading of a solution output
  ☆12Updated 4 months ago
• LaurentClaessens / mazhe
  (almost) Everything I know in math.
  ☆128Updated last week
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• zenith391 / numworks-wolfenstein
  A clone of Wolfenstein 3D for the NumWorks calculator
  ☆10Updated last year
• felko / sluggo
  Smart shell that can handle mutliple REPLs
  ☆13Updated 8 years ago
• Tim-ats-d / Punchboy
  Drop some lyrics and highlights the rhymes with colors
  ☆13Updated 3 years ago
• mb64 / simple-lambda-prolog
  A simple λProlog interpreter
  ☆20Updated 3 years ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆67Updated last year
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated 11 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…
  ☆41Updated 5 months ago