atzedijkstra / chr
Constraint Handling Rules
☆14Updated 2 years ago
Related projects: ⓘ
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- Regular expressions of types☆16Updated 6 years ago
- Invertible parsing for S-expressions☆33Updated this week
- ☆14Updated this week
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 2 years ago
- Dependently typed elimination functions using singletons☆27Updated 3 months ago
- A usable type system for call by push-value☆28Updated 4 years ago
- Compositional type checking for Haskell☆36Updated 13 years ago
- A small NuPRL style proof assistant☆32Updated 5 years ago
- Agda-style equational reasoning in Haskell☆51Updated 4 months ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆22Updated 4 years ago
- Martin-Löf Extensible Specification and Simulator☆28Updated 9 years ago
- ☆28Updated 6 years ago
- Physical dimensions and operations☆9Updated 5 years ago
- A talk☆28Updated 3 years ago
- Mathematical stories☆13Updated 3 years ago
- Linear map categories in Agda☆5Updated last year
- The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.☆2Updated 7 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
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆19Updated 4 years ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆68Updated 2 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 2 years ago
- Category theory concepts in type classes and instances.☆19Updated 2 weeks ago
- System F implemented in Haskell☆24Updated 12 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 3 months ago
- A library for doing generic programming in Agda☆28Updated 3 years ago