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 🦀☆50May 30, 2025Updated last year
- 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
- LEGO Stunt Rally, done right.☆13May 10, 2026Updated last month
- CVE-2021-41773 | CVE-2021-42013 Exploit Tool (Apache/2.4.49-2.4.50)☆10Apr 8, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Parser combinators in Rust☆12Feb 28, 2021Updated 5 years ago
- funny glowing washing machine game docs.☆22Dec 13, 2025Updated 6 months ago
- A Python 3.6+ script to detect game engines.☆25Jul 24, 2023Updated 2 years ago
- Interactive Lua value visualizer☆11May 10, 2016Updated 10 years ago
- PAM Backdoor☆33Mar 29, 2023Updated 3 years ago
- lava - open-source cross-platform **game engine** in Jai☆12May 18, 2026Updated last month
- LiveSplit component for Source engine games☆38Dec 20, 2021Updated 4 years ago
- An in-house engine for some of our games, like Carmine Impact!☆30Mar 26, 2026Updated 2 months ago
- Apple 2 full screen clock driven by the pendulum of my wall clock☆25Jan 28, 2024Updated 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.
- Thingy for 2b2t april fools☆15Apr 1, 2015Updated 11 years ago
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 7 years ago
- Solving the "Flow Free" game (mobile app) with Clojure and SAT☆12Jun 22, 2019Updated 6 years ago
- Jai bindings for Raylib☆14Nov 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.☆17May 24, 2026Updated 3 weeks ago
- The infrastructure setup for all of the Doki Theme assets!☆23Jul 12, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A basic GLSL cel shading implementation☆17Oct 10, 2012Updated 13 years ago
- 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
- Links to recourses for the Lean Theorem Prover☆13Dec 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.☆14Aug 5, 2025Updated 10 months ago
- Python pixel glitcher -- disturbs image data to create cool effects☆17Sep 13, 2022Updated 3 years ago
- Native Jai port of the ENet Reliable UDP networking library☆13Feb 24, 2024Updated 2 years ago
- Enables the use of the Undressing window in the ADV, Recollection, Scout, and Guest modes. With experimental Halfundress support.☆10Oct 25, 2025Updated 7 months ago
- 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.
- ☆26May 10, 2015Updated 11 years ago
- Verified decision procedures for modal logics in Lean☆12Jun 13, 2020Updated 6 years ago
- ☆11Apr 14, 2023Updated 3 years ago
- A game server for Cube 2: Sauerbraten.☆13Oct 5, 2025Updated 8 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☆15May 19, 2026Updated 3 weeks ago
- String modules for Jai☆23Dec 22, 2025Updated 5 months ago