conal / quotesLinks
My favorite quotes
☆17Updated last year
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 7 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 11 months ago
- Efficient parsing and encoding of Lisp expressions for Haskell.☆24Updated 5 years ago
- Parser and type analysis for the Go programming language☆12Updated 2 years ago
- Auto-parallelizing Pure Functional Language☆27Updated 6 years ago
- An efficient graph library for Haskell☆38Updated last month
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 7 years ago
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Updated 7 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 10 years ago
- Cursor data and manipulation☆22Updated 4 months ago
- My NixOS configuration and custom Nix derivations.☆12Updated 4 years ago
- A nullary type class for partial functions☆15Updated 7 years ago
- Agda-style equational reasoning in Haskell☆54Updated 6 months ago
- the dynabook but for haskell☆23Updated 6 years ago
- Term Rewriting Systems☆17Updated 9 years ago
- Invertible parsing for S-expressions☆34Updated 6 months ago
- Extends stdenv.mkDerivation based builds with a distributed build cache on Amazon S3.☆25Updated 4 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- ☆40Updated 7 years ago
- ☆23Updated 7 years ago
- ☆11Updated 8 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- Blazing fast signature detection☆11Updated 3 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 7 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Updated 7 years ago
- Vector builder☆16Updated 8 months ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- Because Kmett is not expressive enough. You need CoKmett!☆35Updated 11 years ago
- Example project for developing PureScript projects with Nix☆19Updated 7 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 4 months ago