Site interactif avec théorie, exercices et problèmes
☆70Feb 20, 2026Updated 2 weeks ago
Alternatives and similar repositories for mathraining
Users that are interested in mathraining are comparing it to the libraries listed below
Sorting:
- Course materials for Aircraft Dynamics (ASEN 3728) at CU Boulder☆14May 2, 2025Updated 10 months ago
- This repository has been replaced by https://github.com/LedgerHQ/ledger-secure-sdk/. Please read the new repository README for more infor…☆18Mar 23, 2023Updated 2 years ago
- A reflection-based proof tactic for lattices in Coq☆21Oct 15, 2023Updated 2 years ago
- ☆27Mar 28, 2022Updated 3 years ago
- Learning Algebraic Varieties from Samples☆24Jan 5, 2024Updated 2 years ago
- AI-powered book-writing system that converts ideas into full manuscripts in hours with multi-agent collaboration, real-time streaming, an…☆31Oct 13, 2025Updated 4 months ago
- ☆11Updated this week
- Coloring algorithms for sparse Jacobian and Hessian matrices☆37Feb 27, 2026Updated last week
- A webapp for UCLouvain's ADE scheduling tool.☆34Updated this week
- An experimental raytracer in LaTeX☆30Nov 29, 2021Updated 4 years ago
- Cochlear implant signal processing☆10Jun 24, 2021Updated 4 years ago
- An introduction course about scientific computing and research for the first year undergraduates taught at Fudan University.☆10Nov 6, 2025Updated 4 months ago
- RentEase is a minimal, offline-first app that helps a building owner keep all renter information in one place. Forget flipping through he…☆21Oct 20, 2025Updated 4 months ago
- A semidefinite programming solver for clustered low-rank SDPs☆14Feb 25, 2026Updated last week
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Apr 18, 2018Updated 7 years ago
- ☆11Jan 10, 2023Updated 3 years ago
- Set in the magical realm of the Sacred Lands, three races - the Empire, the Legions of the Damned, and the Undead Hordes - battle for the…☆10Updated this week
- ☆21Oct 24, 2025Updated 4 months ago
- Collection of Pure Data patches collected from all over the world (mostly not mine)☆11Dec 17, 2020Updated 5 years ago
- A semantic analysis tool for debugging python code☆24Jan 12, 2026Updated last month
- Researching Physics in LJPW Space☆20Updated this week
- Download and read data from CVRPLIB: http://vrp.atd-lab.inf.puc-rio.br/index.php/en/☆13Jan 23, 2026Updated last month
- White Cats define Pure functions☆15Nov 4, 2025Updated 4 months ago
- A synthesizer using React, ToneJS, and nexusUI.☆10Jul 18, 2016Updated 9 years ago
- Amazing package to compute decompositions into irreducibles of explicit group representations and the Wedderburn decomposition for endomo…☆12Dec 22, 2025Updated 2 months ago
- A general purpose gpu computation library in odin☆12May 9, 2025Updated 9 months ago
- ☆26Aug 26, 2025Updated 6 months ago
- A white-box Speck implementation using self-equivalence encodings☆13Jun 25, 2022Updated 3 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- Template for EPL's UCLouvain Ph.D. Theses☆11Dec 18, 2020Updated 5 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- API Pronote 🎉 très facile à utiliser, vous permettant d'extraire des données de votre compte Pronote.☆38Jul 9, 2021Updated 4 years ago
- Building and Deploying a Secure ReactJS App with Docker, NGINX, and Automating with GitHub Actions to AWS EC2☆10Mar 26, 2025Updated 11 months ago
- Programming with LVars, by example☆36Jul 20, 2015Updated 10 years ago
- ☆19Nov 19, 2025Updated 3 months ago
- ☆12Dec 2, 2025Updated 3 months ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Mar 26, 2020Updated 5 years ago
- Visual SPARQL query tool☆10Feb 26, 2016Updated 10 years ago
- Security related data and information for all aspects of Grin☆14Aug 2, 2021Updated 4 years ago