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
Sorting:
- 🦀 C2 Framework in Rust 🦀☆49May 30, 2025Updated 9 months ago
- A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.☆11Jan 5, 2025Updated last year
- A tool for writing Sauerbraten .ogz files (maps) using JavaScript.☆12Feb 3, 2025Updated last year
- funny glowing washing machine game docs.☆18Dec 13, 2025Updated 2 months ago
- A Python 3.6+ script to detect game engines.☆25Jul 24, 2023Updated 2 years ago
- An open source graphical proof construction assistant for the creation of Propositional Natural Deduction proofs.☆17Feb 3, 2024Updated 2 years ago
- An in-house engine for some of our games, like Carmine Impact!☆30Jul 16, 2025Updated 7 months ago
- LiveSplit component for Source engine games☆35Dec 20, 2021Updated 4 years ago
- A game server for Cube 2: Sauerbraten.☆12Oct 5, 2025Updated 5 months ago
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 6 years ago
- A single repository for various puzzles I've solved for fun☆10Mar 3, 2020Updated 6 years ago
- ☆11Mar 31, 2023Updated 2 years ago
- Analysis and certain modifications of Sim City 2000 save files (*.SC2).☆16Jul 21, 2014Updated 11 years ago
- Solving the "Flow Free" game (mobile app) with Clojure and SAT☆11Jun 22, 2019Updated 6 years ago
- Control the VFD on a Wacca cabinet with Arduino☆10Apr 7, 2025Updated 11 months ago
- Integration of the planning system Fast Downward with the unified-planning framework.☆13Aug 5, 2025Updated 7 months ago
- LEGO Stunt Rally, done right.☆11Mar 24, 2024Updated last year
- 3DS Homebrew port of Notch's ludum dare game "Minicraft"☆12Feb 11, 2018Updated 8 years ago
- Xigncode X3.xem | Compile and rename the DLL to X3.xem☆11Nov 24, 2024Updated last year
- api backend for streampusher☆10Updated this week
- OpenGL binding for C#☆19Jul 26, 2016Updated 9 years ago
- Scripts that aid with the creation of private servers for apps and games that were shutdown by their parent companies☆12May 7, 2022Updated 3 years ago
- ☆11Apr 14, 2023Updated 2 years ago
- lava - open-source cross-platform **game engine** in Jai☆11Apr 13, 2025Updated 10 months ago
- Native Jai port of the ENet Reliable UDP networking library☆12Feb 24, 2024Updated 2 years ago
- Interactive Lua value visualizer☆11May 10, 2016Updated 9 years ago
- CVE-2021-41773 | CVE-2021-42013 Exploit Tool (Apache/2.4.49-2.4.50)☆10Apr 8, 2022Updated 3 years ago
- 3rd Party C# library for interacting with the social media at protocol developed by bluesky-social☆15Sep 27, 2023Updated 2 years ago
- IRC bot for freenode #minecraft☆14Jul 6, 2017Updated 8 years ago
- ALternateUI is a CubeScript based interface for the Cube 2 Engine☆11Jan 23, 2022Updated 4 years ago
- Parser combinators in Rust☆12Feb 28, 2021Updated 5 years ago
- Win32 TaskDialog Dark Theme☆23Feb 16, 2025Updated last year
- Links to recourses for the Lean Theorem Prover☆12Dec 3, 2019Updated 6 years ago
- Simply ITG ITGMania version☆12Jan 24, 2025Updated last year
- A library for handling DID identifiers used in Bluesky AT Protocol☆15Feb 27, 2026Updated last week
- A MS-DOS pseudo-3D space shoot 'em up made in SNES mode7 developed with DIV Games Studio 2 'vanilla' (the original MS-DOS version from 19…☆11Apr 16, 2021Updated 4 years ago
- Verified decision procedures for modal logics in Lean☆12Jun 13, 2020Updated 5 years ago
- Github mirror of MediaWiki extension WikibaseQualityConstraints - our actual code is hosted with Gerrit (please see https://www.mediawiki…☆14Updated this week
- OpenGL Console using SDL☆13Nov 20, 2023Updated 2 years ago