philzook58 / rel
Explorations in relations and the algebra of programming
☆17Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for rel
- the dynabook but for haskell☆23Updated 5 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 5 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆19Updated 4 years ago
- Dependently typed elimination functions using singletons☆28Updated 2 weeks ago
- An approach to user interfaces based in denotational design.☆26Updated last year
- Constraint Handling Rules☆15Updated last month
- Small random demonstrations of code☆12Updated 4 years ago
- Provides a type-safe way of working with permutations in Idris☆34Updated 3 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆11Updated 3 years ago
- A talk☆28Updated 3 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Updated 4 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Updated 10 years ago
- Blazing fast signature detection☆10Updated 2 years ago
- Lens interface for your filesystem☆22Updated 3 years ago
- Visualization of Haskell data structures☆14Updated 8 months ago
- Generate a command line client from a servant API☆29Updated 9 months ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- An experiment in functional interface design☆23Updated 8 years ago
- An efficient graph library for Haskell☆39Updated 3 months ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆14Updated last month
- A message-passing library, intended for simplifying network applications☆43Updated 6 years ago
- Graphviz code generation with Haskell☆18Updated last year
- A compiler for a strongly typed, haskell-like functional language☆22Updated 6 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- Morte IDE☆29Updated 10 months ago
- An experimental build system based on the Haxl library☆8Updated 5 years ago
- A categorical framework for circuit construction☆30Updated 8 years ago