jwshii / etnaLinks
☆11Updated last month
Alternatives and similar repositories for etna
Users that are interested in etna are comparing it to the libraries listed below
Sorting:
- A work-in-progress core language for Agda, in Agda☆52Updated 2 weeks ago
- A tutorial on how Agda infers things☆43Updated 4 years ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated 2 years ago
- NbE course @ Chalmers☆28Updated 9 months ago
- This aims to be the most pretentious implementation of stlc in existence☆63Updated 3 years ago
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…☆46Updated last year
- Reimplementation of Parsley in Haskell, with improvements☆56Updated last year
- Automatic testing of Haskell programs.☆13Updated 2 weeks ago
- Agda formalisation of second-order abstract syntax☆55Updated 2 years ago
- A Coq library for parametric coinduction☆49Updated 4 months ago
- being the materials for a paper I have in mind to write about the bidirectional discipline☆52Updated 10 months ago
- Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]☆59Updated 9 months ago
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago
- being bits and pieces I'm inclined to leave lying around☆50Updated 6 months ago
- Agda bindings to SMT-LIB2 compatible solvers.☆99Updated 8 months ago
- Fast equality saturation in Haskell☆84Updated 4 months ago
- A non-interactive proof assistant using the Haskell type system☆37Updated 5 years ago
- ☆33Updated 8 months ago
- Eventually a practical 2-level TT-based compiler☆27Updated 3 months ago
- Haskell bindings to Microsoft's Z3 API (unofficial).☆58Updated last year
- A slow-paced introduction to reflection in Agda. ---Tactics!☆101Updated 3 years ago
- A self-contained repository for the paper Type and Scope Preserving Semantics☆23Updated 6 years ago
- Benchmarks for capture-avoiding substitution☆114Updated 3 weeks ago
- Lambda normalization and conversion checking benchmarks for various implementations☆59Updated 4 years ago
- Lecture notes on realizability☆72Updated 4 months ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆21Updated 2 weeks ago
- A Really Cool Calculator written in Haskell... or is it?☆43Updated 3 years ago
- A statically typed embedding of miniKanren in Haskell☆22Updated 2 weeks ago
- System F-omega normalization by hereditary substitution in Agda☆59Updated 5 years ago
- Formal semantics in Agda.☆16Updated 9 years ago