accelerate your knowledge of LaTeX
☆16Feb 28, 2025Updated last year
Alternatives and similar repositories for latex-tutor
Users that are interested in latex-tutor are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🦀 C2 Framework in Rust 🦀☆49May 30, 2025Updated 10 months ago
- A tool for writing Sauerbraten .ogz files (maps) using JavaScript.☆12Feb 3, 2025Updated last year
- A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.☆11Jan 5, 2025Updated last year
- CVE-2021-41773 | CVE-2021-42013 Exploit Tool (Apache/2.4.49-2.4.50)☆10Apr 8, 2022Updated 4 years ago
- Parser combinators in Rust☆12Feb 28, 2021Updated 5 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.
- funny glowing washing machine game docs.☆20Dec 13, 2025Updated 4 months ago
- A Python 3.6+ script to detect game engines.☆25Jul 24, 2023Updated 2 years ago
- Interactive Lua value visualizer☆11May 10, 2016Updated 9 years ago
- PAM Backdoor☆32Mar 29, 2023Updated 3 years ago
- lava - open-source cross-platform **game engine** in Jai☆12Apr 13, 2025Updated last year
- LiveSplit component for Source engine games☆36Dec 20, 2021Updated 4 years ago
- An in-house engine for some of our games, like Carmine Impact!☆30Mar 26, 2026Updated 3 weeks ago
- Apple 2 full screen clock driven by the pendulum of my wall clock☆25Jan 28, 2024Updated 2 years ago
- Thingy for 2b2t april fools☆15Apr 1, 2015Updated 11 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 6 years ago
- Solving the "Flow Free" game (mobile app) with Clojure and SAT☆11Jun 22, 2019Updated 6 years ago
- Jai bindings for Raylib☆13Nov 9, 2021Updated 4 years ago
- Sokol bindings for Jai☆12Oct 2, 2023Updated 2 years ago
- ☆17Sep 25, 2024Updated last year
- Type search engine for jai inspired by Tsoding's Coogle☆19Mar 18, 2025Updated last year
- An open source graphical proof construction assistant for the creation of Propositional Natural Deduction proofs.☆17Feb 3, 2024Updated 2 years ago
- The infrastructure setup for all of the Doki Theme assets!☆23Jul 12, 2023Updated 2 years ago
- A basic GLSL cel shading implementation☆17Oct 10, 2012Updated 13 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ImHex plugin that provides interface to Zlib inflate in PatternLanguage. Zlib inflate can autodetect and decompress raw deflate, zlib wra…☆10Aug 28, 2023Updated 2 years ago
- Native Jai port of the ENet Reliable UDP networking library☆12Feb 24, 2024Updated 2 years ago
- Links to recourses for the Lean Theorem Prover☆12Dec 3, 2019Updated 6 years ago
- ☆10Dec 13, 2022Updated 3 years ago
- ☆11Mar 31, 2023Updated 3 years ago
- Integration of the planning system Fast Downward with the unified-planning framework.☆13Aug 5, 2025Updated 8 months ago
- Python pixel glitcher -- disturbs image data to create cool effects☆17Sep 13, 2022Updated 3 years ago
- ☆26May 10, 2015Updated 10 years ago
- Verified decision procedures for modal logics in Lean☆12Jun 13, 2020Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆11Apr 14, 2023Updated 3 years ago
- A game server for Cube 2: Sauerbraten.☆12Oct 5, 2025Updated 6 months ago
- Github mirror of MediaWiki extension WikibaseQualityConstraints - our actual code is hosted with Gerrit (please see https://www.mediawiki…☆14Updated this week
- A library for handling DID identifiers used in Bluesky AT Protocol. Mirror of: https://tangled.org/mackuba.eu/didkit☆15Feb 27, 2026Updated last month
- String modules for Jai☆23Dec 22, 2025Updated 3 months ago
- jai bindings for https://github.com/nicbarker/clay☆20Jan 20, 2025Updated last year
- ☆18Feb 20, 2025Updated last year