The-EPL-Type-Foundry / HundarView external linksLinks
This is the project repository for Hundar, a typeface for books and articles, with a focus on scientific writing.
☆261Aug 18, 2025Updated 5 months ago
Alternatives and similar repositories for Hundar
Users that are interested in Hundar are comparing it to the libraries listed below
Sorting:
- Faculty Glyphic is a typeface that pays homage to London's rich history and spirit of innovation, taking cues from carved typography, it …☆26Oct 29, 2024Updated last year
- A formalization of the theory behind the mugen library☆19Jun 24, 2024Updated last year
- An English translation of Deligne's three "Hodge theory" papers☆14Feb 7, 2026Updated last week
- Organize mathematical thoughts☆21Oct 6, 2023Updated 2 years ago
- ☆17Jun 5, 2024Updated last year
- This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general☆39Aug 29, 2025Updated 5 months ago
- ☆16Jun 9, 2024Updated last year
- ☆28Aug 22, 2025Updated 5 months ago
- ☆17Aug 17, 2025Updated 5 months ago
- ☆13Oct 30, 2023Updated 2 years ago
- My Agda blog/lab/playground☆12Updated this week
- Achieve is a NASA-inspired typeface in multiple weights, with support for multiple languages, including Cyrillic.☆18Jul 10, 2023Updated 2 years ago
- VSCode support for Forester☆22Nov 17, 2025Updated 2 months ago
- Development of REM font☆17Jun 30, 2023Updated 2 years ago
- ☆27Jan 8, 2021Updated 5 years ago
- Is developed from and inspired by Arimo and Libra Sans☆21Feb 6, 2026Updated last week
- A font inspired by 1800s wood type☆34Oct 25, 2023Updated 2 years ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 3 years ago
- formalization of an equivariant cartesian cubical set model of type theory☆21Jan 3, 2025Updated last year
- Printline (previously Eddie Sans) is a work in progress grotesk variable typeface with humanist tendencies currently in Latin by Archit P…☆22May 15, 2025Updated 8 months ago
- A multifunctional sans serif typeface☆28Jan 8, 2024Updated 2 years ago
- The development of an African based typeface inspired by African masquerades☆20Aug 8, 2025Updated 6 months ago
- ☆10Oct 1, 2025Updated 4 months ago
- A program for generating LaTeX TikZ code for string diagrams.☆19May 5, 2021Updated 4 years ago
- A typeface family associated with the Funnel service product for marketers and data teams.☆90Dec 18, 2025Updated last month
- The Russolo typeface☆10Jan 4, 2026Updated last month
- ☆16Aug 2, 2023Updated 2 years ago
- A type theory with native support for Polynomial Functors.☆41Oct 8, 2023Updated 2 years ago
- The Perun font family is a part of the project for development of free-to-use fonts with the modern Bulgarian letterform model in Cyrilli…☆22Nov 22, 2025Updated 2 months ago
- The Radio-Canada typeface, from Canada's public broadcaster☆110Apr 13, 2023Updated 2 years ago
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆22Nov 20, 2025Updated 2 months ago
- VARIABLE FONT PROJECT☆20Mar 9, 2023Updated 2 years ago
- Experiment with synthetic domain theory in cubical agda☆14Nov 8, 2022Updated 3 years ago
- Repositorio del Primer Torneo Tipográfico Comunidad☆14Nov 21, 2023Updated 2 years ago
- Sour Gummy Font is a fun and playful typeface that was first created in 2018 and has recently been updated to offer even more versatility…☆11Sep 4, 2024Updated last year
- Higher Algebra with Opetopic Types☆16Mar 30, 2023Updated 2 years ago
- Blocksync Variable Font☆14Sep 15, 2025Updated 4 months ago
- Honk is a COLRv1, variable, modular, display typeface by Ek Type. It is a digital interpretation of the bold and vibrant lettering seen o…☆15Updated this week
- Labrada is a contemporary serif typeface family inspired by the art of woodcut☆42Jan 18, 2023Updated 3 years ago