A LaTeX math notes template with pre-defined tcolorboxes for theorems
☆31Mar 23, 2025Updated last year
Alternatives and similar repositories for math-notes-template
Users that are interested in math-notes-template are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Jun 12, 2024Updated last year
- Kernel PWN Tooklkit aimed mainly for CTF players☆18Jul 31, 2024Updated last year
- Tally Marks OpenType-SVG Font☆16Dec 3, 2019Updated 6 years ago
- All-in-one benchmarking platform for evaluating LLM.☆15Nov 12, 2025Updated 6 months ago
- Some Lean proofs☆29Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Scarica il file e mandami un writeup se riesci a risolvere la CTF :)☆23Jul 9, 2023Updated 2 years ago
- Exercises for the Cybersecurity Principles & Practice @UNIPD☆23Jan 26, 2022Updated 4 years ago
- ☆23Oct 10, 2025Updated 7 months ago
- Prototype road engine from 1993. Finally morphed into Road Rash after getting the contract from Ocean via Gary Bracey☆16Sep 23, 2025Updated 8 months ago
- [satire] A complete language backed by C++☆22May 1, 2015Updated 11 years ago
- An NSF player for the Gameboy Advance☆12Feb 7, 2020Updated 6 years ago
- Code formatter for cohost☆16May 7, 2024Updated 2 years ago
- 主打完美支持舊字形顯示，不僅支持基本庫和擴展A全部字符，另外還支持越南喃字、香港增補字符集顯示，基於開源字體思源黑體進行創作，基於SIL Open Font License修改☆12May 29, 2024Updated 2 years ago
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆19Nov 26, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Convert documentation in mkdocs format to a readable book in different formats (PDF/EPUB/HTML).☆19Jan 7, 2021Updated 5 years ago
- Cross-platform terminal library for text-mode graphics games like Dwarf Fortress☆25Nov 29, 2025Updated 6 months ago
- A script font based on the first hand of Corpus Christi College, Cambridge, MS 173☆16Apr 1, 2020Updated 6 years ago
- ☆11Mar 1, 2020Updated 6 years ago
- Formalization of 2LTT in Agda☆18Aug 6, 2025Updated 9 months ago
- A more sophisticated implementation of Whitaker's WORDS program written for Python☆37Apr 27, 2023Updated 3 years ago
- A simple cross-platform runtime / startup for Rust on embedded devices.☆19Oct 16, 2024Updated last year
- Easily change macOS (Ventura and earlier versions) system-wide mouse sensitivity and acceleration settings.☆19Dec 24, 2024Updated last year
- Patching fun into the game☆16Jul 6, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An implementation of HOTP Indexed DNS☆16Jul 19, 2023Updated 2 years ago
- ☆21Apr 8, 2019Updated 7 years ago
- a visual novel engine in C for the NES☆23Sep 25, 2021Updated 4 years ago
- Anders: Cubical Type Checker☆23Oct 23, 2023Updated 2 years ago
- ☆23Jun 14, 2024Updated last year
- Automatic tool to quickly start a pwn CTF challenge☆45Nov 3, 2023Updated 2 years ago
- Themes Collection for Wofi Launcher☆79Sep 11, 2023Updated 2 years ago
- A fluffy and girly VSCode theme☆12May 29, 2021Updated 5 years ago
- Dumps TCP packets☆20Jan 8, 2018Updated 8 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A Cataclysm DDA Launcher for Mac☆15Mar 6, 2026Updated 2 months ago
- Nes tests☆19Oct 16, 2024Updated last year
- Tool for easy conversion of MIDI to MOD audio format☆22May 17, 2025Updated last year
- The Wave Web Browser for C64/C128 GEOS Wheels☆22Jan 27, 2015Updated 11 years ago
- ☆19Oct 7, 2024Updated last year
- MNIST-like Datasets for African Numeral Systems☆16Sep 29, 2020Updated 5 years ago
- ☆17Mar 2, 2018Updated 8 years ago