A LaTeX Typesetting Game
β347Nov 1, 2026Updated this week
Alternatives and similar repositories for TeXnique
Users that are interested in TeXnique are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- π§ Penguins in LaTeX with TikZβ99Oct 8, 2026Updated 3 weeks ago
- Olympiad problem databaseβ66Updated this week
- Development tools for expl3 programmersβ23Sep 24, 2026Updated last month
- orzβ15Dec 8, 2022Updated 3 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.β13Jan 28, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer β’ AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- operating system but in effekt (poc)β18Sep 16, 2026Updated last month
- Mathematical learnings with Lean, for those of us who wish we knew more of both!β11Aug 27, 2022Updated 4 years ago
- Use GPT-3 to generate competitive programming ideas.β12Feb 29, 2024Updated 2 years ago
- A GitHub-Based Open Source and free Online Judge.β16Mar 11, 2025Updated last year
- Assorted TeX packagesβ103Jul 1, 2026Updated 4 months ago
- A compilation of lecture notesβ18May 1, 2019Updated 7 years ago
- Implementation of some information-set decoding algorithmsβ10Jul 21, 2021Updated 5 years ago
- My Advent Of Code solutionsβ10Dec 8, 2025Updated 10 months ago
- Learn LaTeX onlineβ177Jun 20, 2026Updated 4 months 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.
- An Infinitely Large Napkinβ1,990Updated this week
- A collection of crypto algorithms.β10Sep 3, 2023Updated 3 years ago
- The TeX FAQ Listβ57May 2, 2025Updated last year
- Easy translation of strings in LaTeXβ19Sep 13, 2023Updated 3 years ago
- Easily parse, normalize and display simple Ξ»-Calculus expressions.β11Jun 29, 2026Updated 4 months ago
- Code for our ICLR Trustworthy ML 2020 workshop paper "Improved Image Wasserstein Attacks and Defenses"β14Apr 28, 2020Updated 6 years ago
- A hopefully growing collection of (latex) beamer-themes that i have created over the years. All themes supplied are standalone versions.β34Sep 19, 2026Updated last month
- my ctf chalsβ11Jul 7, 2025Updated last year
- Calculates bounds on the sofa moving problemβ14Sep 12, 2019Updated 7 years ago
- Proton VPN Special Offer - Get 70% off β’ AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- β13Nov 10, 2021Updated 4 years ago
- Image-steganography toolβ15Aug 27, 2022Updated 4 years ago
- To Mock a Mockingbird, formalized in Coqβ11Mar 9, 2016Updated 10 years ago
- A new way to write and explore mathematical texts.β23May 20, 2017Updated 9 years ago
- β15Updated this week
- β24Mar 4, 2025Updated last year
- minimal working duckumentsβ14Sep 13, 2025Updated last year
- A Sage interface for FGb (GrΓΆbner basis computations)β39Feb 1, 2026Updated 9 months ago
- Cycle by major - Cycle through buffers with the same major-modeβ12Nov 16, 2017Updated 8 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.
- visualize an AST serialized as YAMLβ13Mar 13, 2023Updated 3 years ago
- β14Jul 7, 2025Updated last year
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.β105Oct 12, 2026Updated 2 weeks ago
- LuaTeX-specific enhancements and fixes for LaTeX math typesettingβ15Jan 1, 2022Updated 4 years ago
- β14Nov 4, 2025Updated 11 months ago
- Complex Analysis: A Visual and Interactive Introductionβ239Updated this week
- A regular expression module for MoonBitβ10Jul 4, 2025Updated last year