Alternatives and similar repositories for etna:

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

• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆39Updated 4 years ago
• nachivpn / nbe-course
  NbE course @ Chalmers
  ☆28Updated 4 months ago
• jespercockx / scope
  An agda2hs-compatible library for well-scoped syntax
  ☆10Updated last week
• j-mie6 / ParsleyHaskell
  Reimplementation of Parsley in Haskell, with improvements
  ☆51Updated 10 months ago
• DimaSamoz / agda-soas
  Agda formalisation of second-order abstract syntax
  ☆53Updated 2 years ago
• lexa-lang / lexa
  ☆30Updated 3 months ago
• AndrasKovacs / setoidtt
  Prototype implementations of systems based on setoid type theory
  ☆65Updated 4 years ago
• wenkokke / AutoInAgda
  Proof automation – for Agda, in Agda.
  ☆44Updated 4 years ago
• uds-psl / autosubst2
  Official repository of the Autosubst 2 project.
  ☆17Updated last year
• Rewbert / quickcheck
  Automatic testing of Haskell programs.
  ☆13Updated 7 months ago
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated 2 years ago
• IagoAbal / haskell-z3
  Haskell bindings to Microsoft's Z3 API (unofficial).
  ☆57Updated 10 months ago
• flupe / generics
  ☆23Updated 6 months ago
• HuStmpHrrr / mech-type-theories
  Mechanizations of Type Theories
  ☆28Updated last month
• AndrasKovacs / 2ltt-impl
  Eventually a practical 2-level TT-based compiler
  ☆27Updated 3 weeks ago
• coq-community / coqdocjs
  Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]
  ☆37Updated 6 months ago
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆36Updated 4 years ago
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆42Updated 2 months ago
• tomdjong / MGS-domain-theory
  Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…
  ☆44Updated 10 months ago
• pigworker / Samizdat
  being bits and pieces I'm inclined to leave lying around
  ☆48Updated last month
• sstucki / system-f-agda
  A formalization of the polymorphic lambda calculus extended with iso-recursive types
  ☆70Updated 5 years ago
• FrozenWinters / stlc
  This aims to be the most pretentious implementation of stlc in existence
  ☆61Updated 2 years ago
• MevenBertrand / NbEReadingGroup
  A repository for material from the reading group on NbE
  ☆17Updated last year
• AndrasKovacs / system-f-omega
  System F-omega normalization by hereditary substitution in Agda
  ☆57Updated 5 years ago
• berenoguz / Math
  Formalization of Mathematics using Type Theory of Agda Programming Language
  ☆11Updated 7 years ago
• lpw25 / shifted-names
  Coq library for handling names
  ☆18Updated 2 years ago
• andorp / mini-grin
  ICFP tutorial
  ☆39Updated 3 years ago
• AndrasKovacs / antifunext
  antifunext
  ☆31Updated 7 months ago
• lambdageek / unbound-generics
  Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
  ☆56Updated 10 months ago
• gallais / type-scope-semantics
  A self-contained repository for the paper Type and Scope Preserving Semantics
  ☆22Updated 5 years ago