blegat / mathrainingLinks
Site interactif avec théorie, exercices et problèmes
☆66Updated 2 weeks ago
Alternatives and similar repositories for mathraining
Users that are interested in mathraining are comparing it to the libraries listed below
Sorting:
- Présentation des classes préparatoires MP2I et MPI☆47Updated last month
- Nihil, a statically typed interpreted functional programming language☆69Updated 4 years ago
- A schwifty programming language made by a former out of school space cucumber☆31Updated 3 years ago
- Programming language written in Rust.☆12Updated 2 years ago
- An experimental raytracer in LaTeX☆30Updated 3 years ago
- ☆285Updated 3 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆123Updated last year
- CAS (Computer Algebra System) written in Rust for no_std environments.☆16Updated 2 years ago
- ☆32Updated 2 years ago
- A LaTeX Typesetting Game☆258Updated 7 months ago
- Operating system written in Rust for NumWorks calculator (model n0110)☆39Updated 2 years ago
- Olympiad problem database☆53Updated 3 weeks ago
- Complicated math expression generator☆103Updated last year
- Olympiad GeoGuessr☆18Updated 7 months ago
- CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)☆11Updated 3 months ago
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆61Updated 2 months ago
- External application installer for N110 calculators☆12Updated 4 years ago
- Paso is a meta and functional programming language with a strong static inferred and iso-polymorphic type system☆29Updated 3 years ago
- A little UNIX-inspired terminal application for the Numworks Calculator.☆22Updated 2 years ago
- ☁️ cloud.sh is a lightweight self-hosted cloud for your home lab.☆16Updated 3 years ago
- ☆167Updated 7 years ago
- ☆345Updated last month
- A program for drawing knots and links, with support for importing images☆32Updated last year
- Search for the K12 neighborly polyhedron.☆114Updated 10 months ago
- Source files for https://web.evanchen.cc☆58Updated this week
- Linear algebra formalization in Agda☆16Updated 5 years ago
- A simple esolang, based on things people say while trying to think of an answer☆13Updated 5 years ago
- Omega 2.0, the next evolution of Epsilon! Now available for your Numworks calculator!☆343Updated last year
- Magic textboxes where you can type math as easily as writing!☆170Updated last month
- Natural Number Game☆238Updated last month