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 3 years ago
- Parser combinators in Rust☆12Feb 28, 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.
- funny glowing washing machine game docs.☆19Dec 13, 2025Updated 3 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☆11Apr 13, 2025Updated 11 months ago
- LiveSplit component for Source engine games☆36Dec 20, 2021Updated 4 years ago
- An in-house engine for some of our games, like Carmine Impact!☆30Jul 16, 2025Updated 8 months 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 10 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- 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☆12Nov 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- 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 2 years ago
- Integration of the planning system Fast Downward with the unified-planning framework.☆13Aug 5, 2025Updated 7 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
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆11Apr 14, 2023Updated 2 years ago
- A game server for Cube 2: Sauerbraten.☆12Oct 5, 2025Updated 5 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☆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