This is the project repository for Hundar, a typeface for books and articles, with a focus on scientific writing.
☆263Aug 18, 2025Updated 7 months ago
Alternatives and similar repositories for Hundar
Users that are interested in Hundar are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
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
- This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general☆39Aug 29, 2025Updated 6 months ago
- ☆18Jun 5, 2024Updated last year
- ☆28Aug 22, 2025Updated 7 months ago
- ☆21Aug 17, 2025Updated 7 months ago
- An English translation of Deligne's three "Hodge theory" papers☆15Feb 7, 2026Updated last month
- VSCode support for Forester☆22Nov 17, 2025Updated 4 months ago
- Organize mathematical thoughts☆20Oct 6, 2023Updated 2 years ago
- A formalization of the theory behind the mugen library☆19Jun 24, 2024Updated last year
- ☆27Jan 8, 2021Updated 5 years ago
- A font inspired by 1800s wood type☆34Oct 25, 2023Updated 2 years ago
- ☆16Jun 9, 2024Updated last year
- 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 4 months ago
- Achieve is a NASA-inspired typeface in multiple weights, with support for multiple languages, including Cyrillic.☆18Jul 10, 2023Updated 2 years ago
- Is developed from and inspired by Arimo and Libra Sans☆20Feb 6, 2026Updated last month
- Development of REM font☆17Jun 30, 2023Updated 2 years ago
- Platypi is a wedge serif typeface family of six weights designed for long copy text setting. Available on Google Fonts.☆36Aug 16, 2024Updated last year
- ☆11Oct 1, 2025Updated 5 months ago
- Printline (previously Eddie Sans) is a work in progress grotesk variable typeface with humanist tendencies currently in Latin by Archit P…☆22May 15, 2025Updated 10 months ago
- A typeface family associated with the Funnel service product for marketers and data teams.☆93Dec 18, 2025Updated 3 months ago
- A serif typeface designed for readability at small sizes.☆15Oct 29, 2024Updated last year
- The development of an African based typeface inspired by African masquerades☆21Aug 8, 2025Updated 7 months ago
- formalization of an equivariant cartesian cubical set model of type theory☆21Jan 3, 2025Updated last year
- ☆13Oct 30, 2023Updated 2 years ago
- Blocksync Variable Font☆14Sep 15, 2025Updated 6 months ago
- VARIABLE FONT PROJECT☆20Mar 9, 2023Updated 3 years ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 3 years ago
- ☆27Nov 11, 2025Updated 4 months ago
- A type theory with native support for Polynomial Functors.☆42Oct 8, 2023Updated 2 years ago
- My Agda blog/lab/playground☆12Mar 8, 2026Updated 2 weeks ago
- Repositorio del Primer Torneo Tipográfico Comunidad☆14Nov 21, 2023Updated 2 years ago
- A multifunctional sans serif typeface☆30Feb 22, 2026Updated last month
- The Russolo typeface☆10Jan 4, 2026Updated 2 months ago
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆22Nov 20, 2025Updated 4 months ago
- Labrada is a contemporary serif typeface family inspired by the art of woodcut☆44Jan 18, 2023Updated 3 years ago
- ☆13May 2, 2024Updated last year
- A program for generating LaTeX TikZ code for string diagrams.☆19May 5, 2021Updated 4 years ago
- A historically accurate rivival of the Cooper fonts☆91May 25, 2025Updated 9 months ago
- Oi is a static display font.☆23Dec 4, 2024Updated last year