buzden / deptycheck
Facilities for generating dependently-typed data
☆26Updated this week
Alternatives and similar repositories for deptycheck
Users that are interested in deptycheck are comparing it to the libraries listed below
Sorting:
- Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]☆48Updated 4 months ago
- Coq Lecture Notes (WIP)☆54Updated 4 years ago
- An Idris port of the Haskell Hedghog library☆33Updated 7 months ago
- Proof theory seminar☆34Updated 4 years ago
- A course on formal verification at https://compsciclub.ru/en, Spring term 2021☆57Updated 2 years ago
- Utilities and documentation for exploring idirs2's new elaborator reflection.☆81Updated 3 months ago
- ☆13Updated 2 weeks ago
- A core language and API for dependently typed languages☆94Updated 2 months ago
- The category theory by example book☆59Updated last year
- Learn the Agda basics in three 2-hour sessions.☆56Updated last year
- Reimplementation of Parsley in Haskell, with improvements☆52Updated last year
- ☆47Updated 5 months ago
- A statically typed embedding of miniKanren in Haskell☆19Updated 2 months ago
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago
- ☆35Updated last year
- Idris port of Haskell's sop-core library☆35Updated last year
- high-performance cubical evaluation☆72Updated 2 weeks ago
- Organization and planning for the Initial Types Club☆72Updated 2 years ago
- Distributors - Unifying Parsers, Printers & Grammars☆24Updated last week
- GRIN backend for Idris2☆34Updated 2 years ago
- libcurl bindings for idris2☆14Updated 4 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- This aims to be the most pretentious implementation of stlc in existence☆63Updated 3 years ago
- An Idris 2 build tool and a package manager☆28Updated 2 years ago
- A non-interactive proof assistant using the Haskell type system☆37Updated 5 years ago
- ☆25Updated 2 years ago
- being the materials for a paper I have in mind to write about the bidirectional discipline☆51Updated 9 months ago
- Lambda normalization and conversion checking benchmarks for various implementations☆58Updated 4 years ago
- Benchmarking various normalization algorithms for the lambda calculus☆45Updated 2 years ago
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming☆44Updated 4 years ago