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:
- the dynabook but for haskell☆23Updated 5 years ago
- Provides a type-safe way of working with permutations in Idris☆36Updated 3 years ago
- Dependently typed elimination functions using singletons☆28Updated 5 months ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 6 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
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 5 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- ☆23Updated 7 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
- 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
- System F implemented in Haskell☆24Updated 13 years ago
- Port "Software Foundations" to LiquidHaskell☆11Updated 5 years ago
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- Web front UI for interactive Haskell projects☆33Updated 5 years ago
- Markup language on top of Haskell☆12Updated 7 months ago
- A small profunctor library for idris☆17Updated 2 years ago
- Haskell implementation of open games☆12Updated 9 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 3 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Updated 2 months ago
- Auto-parallelizing Pure Functional Language☆27Updated 6 years ago
- A simple implementation of linear type theory☆38Updated 8 years ago
- Try Idris☆35Updated 9 years ago
- Typecoin: Massively Multiplayer Online Linear Logic☆18Updated 8 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Updated 7 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- Linear map categories in Agda☆5Updated 2 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 3 weeks ago