philzook58 / rel
Explorations in relations and the algebra of programming
☆17Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for rel
- Dependently typed elimination functions using singletons☆28Updated 3 weeks ago
- the dynabook but for haskell☆23Updated 5 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- An approach to user interfaces based in denotational design.☆26Updated last year
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 5 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆19Updated 4 years ago
- Provides a type-safe way of working with permutations in Idris☆34Updated 3 years ago
- Invertible parsing for S-expressions☆33Updated 2 months 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
- Small random demonstrations of code☆12Updated 5 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆11Updated 3 years ago
- A categorical framework for circuit construction☆30Updated 8 years ago
- So, you want to write a DSL interpreter...☆25Updated 6 years ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆14Updated last month
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated 3 months ago
- Visualization of Haskell data structures☆14Updated 9 months ago
- A compiler for a strongly typed, haskell-like functional language☆22Updated 6 years ago
- Constraint Handling Rules☆15Updated 2 months ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 2 years ago
- Commonly useful extensions for the MMark markdown processor☆10Updated 2 weeks ago
- ☆23Updated 6 years ago
- Applicative lexer☆13Updated 4 years ago
- A talk☆28Updated 3 years ago
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- Sift through Haskell code for analysis purposes☆18Updated 6 years ago
- A small bifunctor library for idris☆21Updated 3 years ago
- Make presentations for data types☆25Updated 3 years ago