Documents pour le cours de maths MP2I 2022/2023
☆21May 7, 2023Updated 2 years ago
Alternatives and similar repositories for 2223-MP2I-maths
Users that are interested in 2223-MP2I-maths are comparing it to the libraries listed below
Sorting:
- ☆14Feb 2, 2023Updated 3 years ago
- Bring back drawing rectangles on your wm desktop☆20Jul 10, 2022Updated 3 years ago
- 📖 Viewing plugin's README easily like vim help☆28Jan 4, 2024Updated 2 years ago
- Homotopy type theory cheatsheets to read the HoTT Book☆12Jul 27, 2019Updated 6 years ago
- Server implementation of the board game Go☆13Mar 30, 2019Updated 6 years ago
- A Minecraft Classic Server compatible with all Minecraft Classic Clients☆45Dec 11, 2022Updated 3 years ago
- Module based on PocketSphynx to allow simple voice commands when using Anki☆10Oct 12, 2019Updated 6 years ago
- Forth package manager for theForthNet☆14Apr 4, 2018Updated 7 years ago
- F2cl - A Fortran 77 to Common Lisp translator☆13Jun 23, 2025Updated 8 months ago
- An implementation of a lexically scoped, referentially transparent, minimal Lisp with some added features☆10Mar 30, 2022Updated 3 years ago
- bindings for the raylib + raygui library in Factor☆10Dec 31, 2020Updated 5 years ago
- Kendo Tournament Manager NG☆13Feb 27, 2026Updated last week
- Sound synthesis library for Common Lisp based on CLM-5☆12Aug 15, 2023Updated 2 years ago
- The IdiomReplaceX Browser App is a special browser app from the net art project IdiomReplaceX. When using this browser, the IdiomReplace…☆16Nov 2, 2022Updated 3 years ago
- glTF 2.0 parser for Common Lisp☆13Aug 13, 2025Updated 6 months ago
- A batteries-included game engine.☆25Jan 13, 2015Updated 11 years ago
- A new (WIP) multilingual dictionary GUI program made in Zig.☆13May 12, 2024Updated last year
- A modded Zero-K Experience featuring heavier commanders, cluster bombs, more explosions, and more action!☆16Nov 25, 2025Updated 3 months ago
- Modern x86_64 UEFI bootloader☆13Oct 3, 2021Updated 4 years ago
- Persistent data structures in Common Lisp☆18Apr 26, 2023Updated 2 years ago
- Bot Discord du serveur Prépas MP2I☆11May 4, 2025Updated 10 months ago
- Create Anki decks from Takoboto lists.☆10Mar 30, 2021Updated 4 years ago
- Options menus. OptiFine is cluttered. Sodium is out of place. Let's meet in the middle!☆11Nov 25, 2021Updated 4 years ago
- ☆10Feb 15, 2023Updated 3 years ago
- ☆13Dec 13, 2020Updated 5 years ago
- A Simple HearthStone Battleground clone to demonstrate OOP concepts☆14Jan 9, 2023Updated 3 years ago
- Browse Common Lisp docstrings☆18Dec 3, 2024Updated last year
- @ swap drop (forth rogue). docforth processed code at☆16Jan 1, 2019Updated 7 years ago
- VSCode Extension - Proof Assistant for Metamath☆14Jan 10, 2026Updated last month
- find quickly font awesome characters☆12Mar 27, 2019Updated 6 years ago
- A binding to WebEngine Qt for Common Lisp☆18Jul 22, 2022Updated 3 years ago
- Prototype object system for Common Lisp and more. KR: Constraint-Based Knowledge Representation☆15Nov 20, 2024Updated last year
- Some MP2I and MPI courses☆16Jul 7, 2023Updated 2 years ago
- SETL4 brings the raw power and speed of SPITBOL to non-numeric computation using set-theoretic constructs.☆14Jun 13, 2019Updated 6 years ago
- Allegiance - RTS + FPS Space Combat game☆21Updated this week
- UFFI bindings to the GD graphics library☆17Oct 21, 2020Updated 5 years ago
- A port of the limine terminal which won't interfere with any user level address spaces (i.e. it's not in lower half memory anymore)☆16Dec 16, 2022Updated 3 years ago
- Coroutines for Zig☆19Feb 3, 2023Updated 3 years ago
- Android app to create AnkiDroid flashcards with images and examples☆15May 22, 2016Updated 9 years ago