philzook58 / relLinks
Explorations in relations and the algebra of programming
☆17Updated 5 years ago
Alternatives and similar repositories for rel
Users that are interested in rel are comparing it to the libraries listed below
Sorting:
- ☆44Updated 2 years ago
- Monadic Constraint Programming framework☆28Updated 7 years ago
- Category theory in Coq, by Jason Gross☆15Updated 10 years ago
- Finite domain constraint solver in Haskell☆19Updated 3 years ago
- Provides a type-safe way of working with permutations in Idris☆37Updated 3 years ago
- Morte IDE☆29Updated 5 months ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 5 years ago
- TODO☆23Updated 9 years ago
- An extended typed Lambda Calculus☆21Updated last year
- A general purpose programming language with linear types☆43Updated 8 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 10 months ago
- A categorical semantics library in Agda.☆17Updated 5 years ago
- Agda-style equational reasoning in Haskell☆54Updated 5 months ago
- A talk☆28Updated 4 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- A Datalog extension to reason about time with CTL operators☆14Updated 5 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Updated 5 years ago
- An approach to user interfaces based in denotational design.☆27Updated 2 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- Dependently typed elimination functions using singletons☆28Updated 8 months ago
- Small random demonstrations of code☆12Updated 5 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 3 months ago
- i bet you there is a typesystem behind music☆32Updated 6 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Updated 11 years ago
- Bindings to Haskell's IO monad which respect Agda's semantics☆24Updated 6 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 6 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆25Updated last year
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Updated last year
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated last year
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Updated 4 months ago