nomeata / haskell-for-readersLinks
Lecture notes for teaching Haskell to those who want to read it
☆55Updated 3 years ago
Alternatives and similar repositories for haskell-for-readers
Users that are interested in haskell-for-readers are comparing it to the libraries listed below
Sorting:
- Efficient implementation of the implicit treap data structure☆62Updated 3 years ago
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- Write yourself a typed functional language☆65Updated 6 years ago
- An efficient graph library for Haskell☆39Updated last month
- Haskell Join-calculus DSL☆24Updated 6 years ago
- Simple reflection of expressions☆33Updated 4 years ago
- ICFP 2019 preprints/papers☆44Updated 5 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 4 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 7 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- https://mitchellwrosen.github.io/haskell-papers☆22Updated 6 years ago
- Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoization☆60Updated 6 months ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆68Updated 3 months ago
- ☆40Updated 5 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated 11 months ago
- Dependently-typed finite maps (partial dependent products)☆66Updated 5 months ago
- Haskell's Core in K.☆20Updated 8 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated last year
- A monad for managed values☆51Updated 2 years ago
- Pre-processor for .hsc files☆41Updated 2 weeks ago
- haskell memory☆48Updated last year
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- 🧠 Type-safe memory units☆61Updated 4 years ago
- Ties the knot on data structures that reference each other by unique keys☆47Updated 11 months ago
- Stacks and queues with compact representations☆16Updated 4 years ago
- Compositional type checking for Haskell☆37Updated 14 years ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago