Alternatives and similar repositories for agda-mode:

Users that are interested in agda-mode are comparing it to the libraries listed below

• dlicata335 / hott-agda
  ☆84Updated 7 years ago
• markokoleznik / agda-writer
  A simple GUI for Agda
  ☆31Updated 9 years ago
• TheoWinterhalter / formal-type-theory
  Formalising Type Theory in a modular way for translations between type theories
  ☆93Updated 7 years ago
• DimaSamoz / agda-soas
  Agda formalisation of second-order abstract syntax
  ☆55Updated 2 years ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆123Updated 8 months ago
• sstucki / system-f-agda
  A formalization of the polymorphic lambda calculus extended with iso-recursive types
  ☆71Updated 5 years ago
• valis / hoq
  A language based on homotopy type theory with an interval
  ☆85Updated 10 years ago
• sweirich / replib
  Replib: generic programming & Unbound: generic treatment of binders
  ☆44Updated 2 years ago
• UlfNorell / agda-prelude
  Programming library for Agda
  ☆127Updated 8 months ago
• konn / type-natural
  Type-level well-kinded natural numbers.
  ☆34Updated 3 months ago
• pedagand / typechecker-evolution
  The Evolution of a Typechecker
  ☆54Updated 6 years ago
• gallais / idris-tparsec
  TParsec - Total Parser Combinators in Idris
  ☆93Updated last year
• pi8027 / lambda-calculus
  A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2
  ☆81Updated 4 years ago
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆56Updated last year
• simhu / cubical
  Implementation of Univalence in Cubical Sets
  ☆144Updated 9 years ago
• ucsd-progsys / liquidhaskell-tutorial
  Tutorial for LiquidHaskell
  ☆76Updated 6 months ago
• david-christiansen / idris-type-providers
  Type provider library for Idris
  ☆94Updated 7 years ago
• agda / agda-language-server
  Language Server for Agda
  ☆108Updated 4 months ago
• wenkokke / schmitty
  Agda bindings to SMT-LIB2 compatible solvers.
  ☆97Updated 6 months ago
• AndrasKovacs / system-f-omega
  System F-omega normalization by hereditary substitution in Agda
  ☆58Updated 5 years ago
• gallais / potpourri
  Where my everyday research happens
  ☆52Updated last week
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆73Updated 2 years ago
• stepcut / idris-blink
  A simple Idris program to blink the LED on an Arduino
  ☆58Updated 3 years ago
• xnning / GHC-Core-Literature-Review
  Literature review of GHC's Core language, System FC
  ☆67Updated 6 years ago
• edofic / effect-handlers
  ☆19Updated 8 years ago
• rocq-archive / stdlib2
  ☆38Updated last year
• myuon / ghc-compiler-notes
  A collection of Notes on GHC
  ☆69Updated 6 years ago
• algebraic-graphs / agda
  The theory of algebraic graphs formalised in Agda
  ☆89Updated 6 years ago
• goldfirere / ghc
  Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
  ☆24Updated 6 years ago
• slindley / effect-handlers
  ☆82Updated 11 months ago