A LaTeX math notes template with pre-defined tcolorboxes for theorems
☆33Mar 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:
- Some security by obscurity using port-jumping.☆14Jul 3, 2026Updated 3 months ago
- Tally Marks OpenType-SVG Font☆16Dec 3, 2019Updated 6 years ago
- Browse Common Lisp docstrings☆18Dec 3, 2024Updated last year
- happy birthday tcrf!☆13Oct 27, 2019Updated 6 years ago
- A frozen version of angr for the SAILR paper☆17Sep 4, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 主打完美支持舊字形顯示，不僅支持基本庫和擴展A全部字符，另外還支持越南喃字、香港增補字符集顯示，基於開源字體思源黑體進行創作，基於SIL Open Font License修改☆12May 29, 2024Updated 2 years ago
- Code formatter for cohost☆16May 7, 2024Updated 2 years ago
- ☆11Mar 1, 2020Updated 6 years ago
- Formalization of 2LTT in Agda☆17Oct 11, 2026Updated last week
- Convert any image to NES .chr file☆11Dec 31, 2019Updated 6 years ago
- Brew formula generator for common lisp projects☆21Aug 22, 2026Updated last month
- Anders: Cubical Type Checker☆23Oct 23, 2023Updated 2 years ago
- ☆21Apr 8, 2019Updated 7 years ago
- a visual novel engine in C for the NES☆22Sep 25, 2021Updated 5 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- An implementation of HOTP Indexed DNS☆16Jul 19, 2023Updated 3 years ago
- A Cataclysm DDA Launcher for Mac☆16Mar 6, 2026Updated 7 months ago
- 📃 A compact guide to help you write professional LaTeX documents☆58Jan 8, 2023Updated 3 years ago
- cl-webdriver-client is a client library for WebDriver (W3C specification).☆30Sep 23, 2024Updated 2 years ago
- MNIST-like Datasets for African Numeral Systems☆16Sep 29, 2020Updated 6 years ago
- ☆17Mar 2, 2018Updated 8 years ago
- ☆29Nov 14, 2025Updated 11 months ago
- Galaforce 2 for the BBC Micro home computer from 1987 ( full, buildable 6502 source code )☆24Nov 29, 2021Updated 4 years ago
- Scripts to make Pokémon Crystal accessible to screen readers☆18Apr 5, 2020Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 自作フォント「Xim Sans」の配布場所☆31Sep 16, 2023Updated 3 years ago
- Lean 4 port of Megaparsec☆37Jan 11, 2024Updated 2 years ago
- ☆23Feb 25, 2013Updated 13 years ago
- A full-featured repl implementation☆41Feb 28, 2026Updated 7 months ago
- mpOTR: Multi-party Off-the-Record Messaging☆28Feb 15, 2013Updated 13 years ago
- ☆30Jul 30, 2025Updated last year
- Lua scripts for emulators supporting Emulua☆26Sep 21, 2026Updated 3 weeks ago
- 基於 Klee One 改造的字型，以傳承字形風格為主。☆25Jul 26, 2026Updated 2 months ago
- Minimal setup to trigger the xz backdoor☆29Oct 19, 2024Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Datatypes as quotients of polynomial functors☆41May 4, 2020Updated 6 years ago
- Small library for JavaCard CAP file parsing and verification - MOVED to https://github.com/martinpaljak/ant-javacard☆19Nov 15, 2023Updated 2 years ago
- Moved to https://codeberg.org/ISSOtm/gb-bootroms☆107Sep 23, 2025Updated last year
- Make your own simple, public, searchable Twitter archive☆40Jul 31, 2024Updated 2 years ago
- A library for doing constant-time fixed-point numeric operations☆26Nov 6, 2020Updated 5 years ago
- NES music driver☆35Oct 8, 2025Updated last year
- This is a reimplementation of Nintendo's mid2agb tool. It's not related to the original and is intended to fix a bunch of mid2agb's flaws…☆31Jan 5, 2026Updated 9 months ago