conal / quotesLinks
My favorite quotes
☆17Updated 11 months ago
Alternatives and similar repositories for quotes
Users that are interested in quotes are comparing it to the libraries listed below
Sorting:
- Keynote talk for Lambda Jam 2017 in Sydney☆20Updated 6 years ago
- Produce Haskell functions out of partial definitions☆12Updated last week
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 8 months ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 6 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆16Updated 6 years ago
- An efficient graph library for Haskell☆39Updated last month
- Auto-parallelizing Pure Functional Language☆27Updated 6 years ago
- Parser and type analysis for the Go programming language☆12Updated last year
- the dynabook but for haskell☆23Updated 5 years ago
- enumerative property-based testing for Haskell☆52Updated 5 months ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated last month
- Austin's supercompiler work☆21Updated 5 years ago
- generalize counter-examples of property-based testing☆13Updated 5 months ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 7 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated last year
- Types representing line and column positions and ranges in text files☆11Updated 2 years ago
- ☆23Updated 7 years ago
- A set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.☆11Updated 8 years ago
- Markup language on top of Haskell☆12Updated 8 months ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- Fixed length vector for haskell☆21Updated last week
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- lazy generators with observation☆14Updated last year
- Efficient parsing and encoding of Lisp expressions for Haskell.☆24Updated 5 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Updated 7 years ago
- The Prettiest Printer☆35Updated last year
- The generalized intensional compiler for a Haskell-like language.☆14Updated 7 years ago
- Vector builder☆16Updated 5 months ago
- Reimplementation of a subset of Cabal☆30Updated this week