sjoerdvisscher / unfoldableLinks
Class of data structures that can be unfolded.
☆22Updated last year
Alternatives and similar repositories for unfoldable
Users that are interested in unfoldable are comparing it to the libraries listed below
Sorting:
- An implementation of Haskell’s MVars in Racket☆30Updated 11 months ago
- ☆23Updated last year
- First Class Record Fields in Haskell☆17Updated 3 months ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated last year
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated last week
- Quantitative Type Theory implementation☆54Updated 4 years ago
- A usable type system for call by push-value☆33Updated 5 years ago
- Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.☆21Updated 2 years ago
- A toy dependent typed language.☆32Updated 2 weeks ago
- ☆14Updated 2 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Updated 6 years ago
- Compositional type checking for Haskell☆37Updated 14 years ago
- Compiler for IMP programming language implemented in Haskell☆16Updated 5 years ago
- ☆12Updated 6 years ago
- Core modules for a blazing fast markup combinator library☆22Updated 3 months ago
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆21Updated 3 weeks ago
- Derivation of Optimized Definitions Based on Specs☆15Updated 5 years ago
- An efficient graph library for Haskell☆38Updated 3 weeks ago
- A library for benign effects in Haskell☆20Updated 3 months ago
- Practical type inference for arbitrary-rank types☆11Updated 6 years ago
- Yet another concurrent playground☆33Updated 9 years ago
- APIs for more recursive definitions☆19Updated 10 months ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 3 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Updated 7 years ago
- A verified compiler for a lazy functional language☆37Updated this week
- Anders: Cubical Type Checker☆23Updated last year
- ☆45Updated 2 years ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated 7 months ago