Alternatives and similar repositories for agdapad:

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

• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆29Updated last year
• iwilare / church-rosser
  A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…
  ☆26Updated 2 years ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆41Updated 4 years ago
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆48Updated 2 weeks ago
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆41Updated last year
• wenkokke / setup-agda
  Set up a specific version of Agda for your GitHub Actions workflow.
  ☆27Updated 5 months ago
• cedille / ial
  The Iowa Agda Library
  ☆47Updated 3 months ago
• gallais / potpourri
  Where my everyday research happens
  ☆52Updated 2 weeks ago
• ners / dosh
  📺 The power of Haskell in your terminal!
  ☆42Updated 3 months ago
• stefan-hoeck / idris2-sop
  Idris port of Haskell's sop-core library
  ☆34Updated last year
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆39Updated 3 years ago
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆46Updated 2 years ago
• Lysxia / system-F
  Formalization of the polymorphic lambda calculus and its parametricity theorem
  ☆34Updated 2 weeks ago
• AndrasKovacs / setoidtt
  Prototype implementations of systems based on setoid type theory
  ☆65Updated 4 years ago
• ConcreteCactus / lcc
  A compiler that translates a form of lambda calculus to C
  ☆12Updated 11 months ago
• phijor / agda-mode-ng
  Let's rethink how we interact with Agda
  ☆18Updated 2 years ago
• rocq-community / coq-nix-toolbox
  Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
  ☆38Updated this week
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆84Updated last month
• jaycech3n / Isabelle-HoTT
  An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
  ☆34Updated 2 years ago
• AndrasKovacs / 2ltt-impl
  Eventually a practical 2-level TT-based compiler
  ☆27Updated this week
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆57Updated 9 months ago
• Lysxia / bluefin-algae
  Algebraic effects in the Bluefin effect system
  ☆15Updated 10 months ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆47Updated 2 years ago
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆26Updated 3 years ago
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆37Updated 4 years ago
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆26Updated 3 weeks ago
• msp-strath / ask
  being a particular fragment of Haskell, extended to a proof system
  ☆30Updated last month
• jespercockx / agda2scheme
  Compiler backend for generating Scheme code
  ☆27Updated last year
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆34Updated last month