Alternatives and similar repositories for CSIRL

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

• luffah / Terminus
  Linux learning game
  ☆50Updated last year
• InfoSansOrdi / pedago-rennes
  Matériel utilisé dans les cours Pédago1 et Pédago2 de l'ENS Rennes
  ☆19Updated last month
• LaurentClaessens / mazhe
  (almost) Everything I know in math.
  ☆129Updated last week
• mp2i-info / mp2i-info.github.io
  Cours d'informatique en MP2I (OCaml, C, SQL)
  ☆46Updated 4 months ago
• tableaunoir / tableaunoir
  An online blackboard 🖉 with fridge magnets 🌈🧲 for teaching, and making animations 🏃 and presentations ⎚. All of that in a lightweigh…
  ☆199Updated last month
• francoisschwarzentruber / prooffold
  Another attempt for visualizing proofs
  ☆12Updated last year
• Legilibre / legi.py
  Outils de manipulation des archives LEGI (lois françaises)
  ☆58Updated 3 years ago
• Legilibre / Archeo-Lex
  Pure Histoire de la Loi française – Git + Markdown
  ☆102Updated 6 years ago
• mseri / doi2bib
  Smalls CLIs to get a bibtex entries from a DOI, an arXiv ID or a PubMed ID and to pretty print bibtex entries (or files)
  ☆63Updated last week
• marc-chevalier / ocolor
  Print with style in your terminal using Format's semantic tags
  ☆20Updated 2 years ago
• elliotlepers / Amazon-Killer
  Extension Chrome et Firefox pour chercher un livre sur Amazon et l'acheter dans une vraie librairie.
  ☆106Updated 3 years ago
• glassus / nsi
  Cours de NSI - Lycée François Mauriac - Bordeaux
  ☆34Updated 4 years ago
• francoisschwarzentruber / tikzzz
  A tiny tikzzz editor in the browser
  ☆10Updated 9 months ago
• Armael / stone
  A simple static website generator, written in OCaml
  ☆24Updated 2 months ago
• fabmob / velolibre
  Construire un vélo open source
  ☆22Updated 3 years ago
• bzg / logiciel-libre-esr
  Ressources autour du logiciel libre dans l'enseignement supérieur et la recherche
  ☆28Updated 4 years ago
• Polochon-street / leleleplayer
  ☆13Updated 5 years ago
• pytition / Pytition
  Django app for self-hosted privacy-friendly online petitions
  ☆112Updated 2 months ago
• sgimenez / laby
  Learn programming, playing with ants and spider webs ;-)
  ☆104Updated 2 years ago
• ocaml-jupyter / jupyter-kernel
  Library for writing arbitrary jupyter kernels in OCaml.
  ☆16Updated 3 years ago
• Armael / papiers
  A tool to index your papers/interesting links/... and quickly search through them
  ☆49Updated 4 years ago
• rocq-community / huffman
  Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
  ☆14Updated 2 months ago
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆16Updated 2 months ago
• legifrance / La-Constitution
  Ce dépôt de la Constitution Française permet à tout un chacun de consulter, modifier (_fork_) et proposer leurs changements (_Pull Reques…
  ☆48Updated 9 years ago
• Guiraud / incluzor-e
  récriture inclusive des textes en ligne
  ☆15Updated 3 years ago
• kit-ty-kate / mastodon-archive-viewer
  View your Mastodon archive offline
  ☆26Updated 3 years ago
• ecranceMERCE / trakt
  A generic goal preprocessing tool for proof automation tactics in Coq
  ☆15Updated 3 months ago
• ocaml / ocaml-logo
  Official Logo for OCaml
  ☆32Updated 10 years ago
• mangaki / movielens
  Système de recommandation minimal sur Movielens (pour Girls Can Code! 2016)
  ☆17Updated 7 months ago
• lovasoa / ophirofox
  Une extension pour navigateur qui permet de lire les articles de presse en ligne sur le compte de bibliothèques ayant souscrit à europres…
  ☆97Updated last month