Alternatives and similar repositories for arend-io

Users that are interested in arend-io are comparing it to the libraries listed below

• owo-lang / Mini-TT

  View on GitHub
  Documented version of a simple type-theoretic language: Mini-TT
  ☆18May 5, 2019Updated 6 years ago
• Glavo / kala-lang

  View on GitHub
  ☆12Aug 19, 2021Updated 4 years ago
• niltok / itp-ard

  View on GitHub
  🚧施工中🚧 用 Arend 写证明的交互式教程
  ☆14Sep 7, 2022Updated 3 years ago
• LemonVM / LemonVM-V3

  View on GitHub
  第三次重构!
  ☆16Dec 22, 2020Updated 5 years ago
• ice1k / ConsHoTT

  View on GitHub
  Constructive Interpretations of HoTT
  ☆36Aug 26, 2020Updated 5 years ago
• edwinb / idris2-clibs

  View on GitHub
  Idris 2 bindings to various C libraries
  ☆15Jun 28, 2021Updated 4 years ago
• ice1000 / agda-mode

  View on GitHub
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆28Nov 12, 2025Updated 3 months ago
• AndrasKovacs / thesis

  View on GitHub
  my phd thesis
  ☆26Aug 7, 2024Updated last year
• edwinb / SchemeEval

  View on GitHub
  Experimental normalisation via scheme
  ☆12Jul 25, 2021Updated 4 years ago
• maxdore / csolver

  View on GitHub
  ☆16Aug 2, 2023Updated 2 years ago
• lawcho / agda2c

  View on GitHub
  Agda to C compiler
  ☆10Sep 23, 2025Updated 4 months ago
• ice1000 / copilot-learning-materials

  View on GitHub
  My type-ups for copilot to learn from.
  ☆11Aug 30, 2022Updated 3 years ago
• ToposInstitute / polytt

  View on GitHub
  A type theory with native support for Polynomial Functors.
  ☆41Oct 8, 2023Updated 2 years ago
• sap-lang / sap-lang-archived

  View on GitHub
  Next-GEN Confguration Template Generation Language
  ☆12Jul 21, 2022Updated 3 years ago
• HoTT / HoTT-2023

  View on GitHub
  Conference on Homotopy Type Theory 2023
  ☆13Jan 24, 2024Updated 2 years ago
• ncfavier / agda-stuff

  View on GitHub
  My Agda blog/lab/playground
  ☆12Updated this week
• LemonVM / LemonVMAlpha

  View on GitHub
  A Register Based VM. 柠檬手写的看起来像栈机的寄存器机
  ☆65Aug 7, 2020Updated 5 years ago
• Phosphorus15 / intellij-prolog

  View on GitHub
  Prolog plugin for Intellij IDEA
  ☆28Mar 5, 2023Updated 2 years ago
• MarisaKirisame / zombie

  View on GitHub
  Zombie chan revive!
  ☆27Feb 27, 2024Updated last year
• um-catlab / cubical-categorical-logic

  View on GitHub
  Extensions to cubical for categorical logic/type theory
  ☆36Updated this week
• akemimadoka / GC

  View on GitHub
  ☆12Oct 2, 2021Updated 4 years ago
• rahulc29 / realizability

  View on GitHub
  Experiments with Realizability in Univalent Type Theory
  ☆19Oct 21, 2024Updated last year
• JoeyEremondi / GDTL-artifact

  View on GitHub
  A Gradual Dependently-typed Language
  ☆14Jun 26, 2019Updated 6 years ago
• sea-design / sea-design

  View on GitHub
  🌊 A React UI library
  ☆13Feb 2, 2022Updated 4 years ago
• rustcc / GEFS

  View on GitHub
  Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.
  ☆14Dec 16, 2020Updated 5 years ago
• Glavo / kala-compress

  View on GitHub
  Modular Apache commons compress
  ☆11Dec 9, 2024Updated last year
• HoshinoTented / luogu-intellij

  View on GitHub
  Luogu plugin on IntelliJ Platform
  ☆10Jan 6, 2020Updated 6 years ago
• arend-lang / tutorial-code

  View on GitHub
  Source code & exercises in Arend's documentation
  ☆21Jul 19, 2021Updated 4 years ago
• KonjacSource / ShiTT

  View on GitHub
  Deprecated
  ☆39Nov 2, 2025Updated 3 months ago
• szumixie / stlc

  View on GitHub
  Simply-typed lambda calculus as a QIT in cubical Agda + normalization
  ☆15Jan 23, 2024Updated 2 years ago
• camoy / trace-contract

  View on GitHub
  ☆12Jul 1, 2025Updated 7 months ago
• ralsei / six-eyes

  View on GitHub
  A work-in-progress structure editor for the cooltt proof assistant.
  ☆18Jul 28, 2022Updated 3 years ago
• tlringer / thesis

  View on GitHub
  haha I'm graduating
  ☆14Jul 22, 2021Updated 4 years ago
• RedPRL / agda-mugen

  View on GitHub
  A formalization of the theory behind the mugen library
  ☆19Jun 24, 2024Updated last year
• nachivpn / k

  View on GitHub
  Meta-theory and normalization for Fitch-style modal lambda calculi
  ☆19May 27, 2024Updated last year
• SchrodingerZhu / reussir-lang

  View on GitHub
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆19Mar 29, 2025Updated 10 months ago
• imlyzh / emei

  View on GitHub
  The 峨眉 (EMei) JIT/AOT backend framework.
  ☆18Nov 19, 2024Updated last year
• awswan / oraclemodality

  View on GitHub
  ☆14Jun 7, 2024Updated last year
• Glavo / kala-ansi

  View on GitHub
  ☆13Jun 2, 2025Updated 8 months ago