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:
- JHC Haskell compiler split into reusable components☆57Updated 6 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Updated 2 months ago
- A hip inductive theorem prover!☆90Updated 4 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- ☆41Updated 5 years ago
- Compositional type checking for Haskell☆37Updated 14 years ago
- The compilation target that functional programmers always wanted.☆62Updated 5 years ago
- Write yourself a typed functional language☆65Updated 7 years ago
- Hedgehog will eat your typeclass bugs☆56Updated 5 months ago
- ICFP 2019 preprints/papers☆44Updated 6 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 4 years ago
- An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"☆23Updated 13 years ago
- https://mitchellwrosen.github.io/haskell-papers☆22Updated 6 years ago
- Agda-style equational reasoning in Haskell☆54Updated 7 months ago
- Compiler for the Rum language☆26Updated 6 years ago
- A usable type system for call by push-value☆33Updated 5 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- Tiny type-checker with dependent types☆78Updated 11 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 5 months ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 7 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 9 months ago
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- A workshop on learning Agda with minimal prerequisites.☆85Updated 9 years ago
- Named parameters (keyword arguments) for Haskell☆97Updated 8 months ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated last year
- Derivation of Optimized Definitions Based on Specs☆15Updated 6 years ago
- 🧠 Type-safe memory units☆61Updated 5 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- Pre-processor for .hsc files☆43Updated 4 months ago