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:
- Dependently typed elimination functions using singletons☆28Updated 5 months ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 5 years ago
- Provides a type-safe way of working with permutations in Idris☆35Updated 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 5 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 6 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated 10 months ago
- A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''☆10Updated 6 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- A talk☆28Updated 4 years ago
- Category theory in Coq, by Jason Gross☆14Updated 10 years ago
- An approach to user interfaces based in denotational design.☆27Updated 2 years ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆11Updated 2 weeks ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- being the programs and code for a paper about general recursion☆25Updated 10 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 3 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 6 months ago
- Try Idris☆35Updated 9 years ago
- Visualization of Haskell data structures☆16Updated last year
- Codo notation for programming with comonads in Haskell☆26Updated 4 years ago
- Invertible parsing for S-expressions☆34Updated 2 months ago
- Port "Software Foundations" to LiquidHaskell☆11Updated 5 years ago
- ☆30Updated 7 years ago
- System F implemented in Haskell☆24Updated 13 years ago
- Small random demonstrations of code☆12Updated 5 years ago
- Haskell implementation of open games☆12Updated 9 years ago
- Web front UI for interactive Haskell projects☆33Updated 5 years ago
- Haskell library of algebraic topology☆23Updated 13 years ago
- Type safe abstract binding trees for Haskell, using Vinyl☆16Updated 7 years ago
- A formalization of finite, constructive log analysis using linear temporal logic☆21Updated last week