groupoid/alonzo external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

groupoid/alonzo

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/groupoid/alonzo)

Close

groupoid / alonzoView on GitHubMore

• External links
• Readme badge

🧊 Типізоване ‏-ג‏‎числення

☆16Jun 2, 2025Updated 9 months ago

Alternatives and similar repositories for alonzo

Users that are interested in alonzo are comparing it to the libraries listed below

• bitedits / be

  View on GitHub
  Binary Editor
  ☆22Jul 17, 2025Updated 7 months ago
• erpuno / scan

  View on GitHub
  💧 SCAN: Сканування
  ☆13Sep 25, 2022Updated 3 years ago
• groupoid / cafe

  View on GitHub
  🧊 Презентації та воркшопи
  ☆19Jun 28, 2025Updated 8 months ago
• groupoid / anders

  View on GitHub
  🧊 Модальний гомотопічний верифікатор математики
  ☆24May 30, 2025Updated 9 months ago
• synrc / rpc

  View on GitHub
  ☎️ RPC: Type Driven Parser Generator
  ☆19Nov 8, 2021Updated 4 years ago
• synrc / sample

  View on GitHub
  💧 SAMPLE: WebSocket Sample Application
  ☆10Mar 8, 2024Updated last year
• o3 / n2o

  View on GitHub
  ⭕️ N2O: Haskell Application Server
  ☆47Feb 16, 2022Updated 4 years ago
• synrc / n2o.dev

  View on GitHub
  🌐 N2O.DEV: Open Source Enterprise Frameworks
  ☆15Dec 27, 2025Updated 2 months ago
• erpuno / hl7

  View on GitHub
  💠 HL7: FHIR Application Server ISO/HL7 27931:2009
  ☆11Feb 17, 2026Updated 2 weeks ago
• o83 / n2o

  View on GitHub
  N2O: Rust Application Server
  ☆17Jul 9, 2019Updated 6 years ago
• synrc / chat

  View on GitHub
  💬 CHAT: Instant Messenger. ITU/IETF: 3394, 3565, 5280, 5480, 5652, 5755 8551, X.509, CMS, PKCS-10, PCKS-7, OCSP, LDAP, DNS; ANSI: X9-42,…
  ☆11Feb 8, 2026Updated 3 weeks ago
• glagoly / glagoly

  View on GitHub
  online decision-making platform
  ☆14Sep 10, 2023Updated 2 years ago
• 5HT / a64

  View on GitHub
  A64: ARM64 Assembler for Erlang
  ☆11Sep 30, 2020Updated 5 years ago
• o7 / sample

  View on GitHub
  SAMPLE: Elixir Application
  ☆13Jan 26, 2021Updated 5 years ago
• JLimperg / cats

  View on GitHub
  Category Theory in Agda. Learning exercise, not for public consumption.
  ☆22Mar 17, 2020Updated 5 years ago
• ziman / itt

  View on GitHub
  Tiny dependent calculus with inference of irrelevance and erasure
  ☆15Jan 17, 2020Updated 6 years ago
• o7 / plm

  View on GitHub
  PLM: Product Lifecycle Management
  ☆13Sep 25, 2019Updated 6 years ago
• nocursor / b58

  View on GitHub
  Elixir library for encoding and decoding Base58 and Base58Check using the Bitcoin/IPFS, Ripple, and Flickr alphabets.
  ☆12Jul 7, 2022Updated 3 years ago
• synrc / ca

  View on GitHub
  🛡️ CA: Certificate Authority. ДСТУ: 4145. ITU/IETF: 3279, 5755, 7030, X.509.
  ☆20Feb 13, 2026Updated 2 weeks ago
• Chaaaos / formaltt

  View on GitHub
  Formalization of type theory
  ☆22Jul 5, 2021Updated 4 years ago
• synrc / form

  View on GitHub
  🧾 FORM: Business X-Forms
  ☆39Mar 24, 2023Updated 2 years ago
• DavidJaz / Cohesion

  View on GitHub
  A personal library, formalizing cohesive homotopy type theory in Agda.
  ☆13Apr 30, 2019Updated 6 years ago
• lumen / interpreter

  View on GitHub
  An Erlang/Elixir interpreter that runs in the browser
  ☆17Aug 5, 2020Updated 5 years ago
• HoTT / HoTT-2019

  View on GitHub
  Conference on Homotopy Type Theory 2019
  ☆16Sep 18, 2019Updated 6 years ago
• o89 / n2o

  View on GitHub
  N2O: Application Server
  ☆13Nov 22, 2022Updated 3 years ago
• 5HT / avz

  View on GitHub
  🔑 AVZ: Social Authorization
  ☆42Nov 8, 2021Updated 4 years ago
• o1 / n2o

  View on GitHub
  N2O: Standard ML Application Server
  ☆18Nov 6, 2021Updated 4 years ago
• groupoid / axio

  View on GitHub
  🧊 Методологія верифікації теорем
  ☆93Feb 12, 2026Updated 2 weeks ago
• mortberg / AlgTop

  View on GitHub
  Haskell library of algebraic topology
  ☆26Sep 23, 2011Updated 14 years ago
• jdan / compiler.lean

  View on GitHub
  A formally verified compiler for a simple language with numbers and sums
  ☆28Nov 29, 2020Updated 5 years ago
• mmasdeu / topologygame

  View on GitHub
  Learn Lean and topology
  ☆26Apr 28, 2023Updated 2 years ago
• Miko4 / ant

  View on GitHub
  ant is not TeX
  ☆24Apr 25, 2016Updated 9 years ago
• pcapriotti / hott-exercises

  View on GitHub
  Solutions of the exercises of the HoTT book
  ☆23Dec 15, 2016Updated 9 years ago
• kraftjectory / secrex

  View on GitHub
  Simple and secure secrets manager in Elixir projects
  ☆28Jul 6, 2023Updated 2 years ago
• ecavallo / ptt

  View on GitHub
  Experimental type-checker for internally parametric type theory
  ☆32Mar 27, 2025Updated 11 months ago
• AndrasKovacs / universes

  View on GitHub
  Generalized syntax & semantics for universe hierarchies
  ☆32Dec 11, 2023Updated 2 years ago
• VictorTaelin / ESCoC

  View on GitHub
  A nano "theorem prover".
  ☆62Feb 15, 2019Updated 7 years ago
• starkbank / ecdsa-elixir

  View on GitHub
  A lightweight and fast pure Elixir ECDSA library https://starkbank.com
  ☆28Oct 4, 2023Updated 2 years ago
• erpuno / cr

  View on GitHub
  💠 CR: Chain Replication Database for KVS
  ☆57Jul 31, 2025Updated 7 months ago