InfoSansOrdi / CSIRLLinks
Computer Science In Real Life
☆26Updated 8 years ago
Alternatives and similar repositories for CSIRL
Users that are interested in CSIRL are comparing it to the libraries listed below
Sorting:
- (almost) Everything I know in math.☆128Updated last week
- A tiny tikzzz editor in the browser☆11Updated 4 months ago
- Matériel utilisé dans les cours Pédago1 et Pédago2 de l'ENS Rennes☆19Updated 2 months ago
- ☆1Updated 2 years ago
- Linux learning game☆38Updated last year
- LaTeX template used for PDF exports☆17Updated last year
- Une extension pour navigateur qui permet de lire les articles de presse en ligne sur le compte de bibliothèques ayant souscrit à europres…☆87Updated last week
- Cours d'informatique en MP2I (OCaml, C, SQL)☆45Updated last year
- Cours de NSI - Lycée François Mauriac - Bordeaux☆34Updated 3 years ago
- SCIENTIfic coLLaborative Archive☆11Updated 10 years ago
- Système de recommandation minimal sur Movielens (pour Girls Can Code! 2016)☆18Updated 2 months ago
- 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)☆60Updated this week
- ☆103Updated last year
- Deployed version of Tableaunoir. Do not modify this repository.☆10Updated 2 weeks ago
- Hevea is a fast latex to html translator☆107Updated 3 weeks ago
- simulateur du COR amélioré☆25Updated 4 years ago
- Another attempt for visualizing proofs☆12Updated 8 months ago
- Construire un vélo open source☆22Updated 3 years ago
- An online blackboard 🖉 with fridge magnets 🌈🧲 for teaching, and making animations 🏃 and presentations ⎚. All of that in a lightweigh…☆195Updated 2 weeks ago
- Ressources autour du logiciel libre dans l'enseignement supérieur et la recherche☆28Updated 3 years ago
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆14Updated last year
- This repository has migrated to https://gitlab.com/dissemin/dissemin☆164Updated 4 years ago
- Patoline typesetting system☆190Updated 3 years ago
- Pure Histoire de la Loi française – Git + Markdown☆103Updated 6 years ago
- Programmer's Learning Machine☆64Updated 3 weeks ago
- Extension Chrome et Firefox pour chercher un livre sur Amazon et l'acheter dans une vraie librairie.☆106Updated 2 years ago
- Un thème pour créer un diaporama avec MARP☆36Updated 3 years ago
- Web based tool for easy production of educational videos.☆33Updated 2 years ago
- Multinomials for the Mathematical Components library.☆14Updated last month
- A semantic Extension of TeX/LaTeX☆53Updated this week