qfpl / propagator-examplesLinks
☆38Updated 6 years ago
Alternatives and similar repositories for propagator-examples
Users that are interested in propagator-examples are comparing it to the libraries listed below
Sorting:
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆55Updated 8 years ago
- ☆32Updated 7 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- ICFP 2020 papers. Crowd-sourced☆90Updated 5 years ago
- Yet another yet another recursion scheme library in Haskell.☆89Updated last month
- Haskell port of the WebAssembly OCaml reference interpreter☆45Updated 2 years ago
- Haskell embedding of PlusCal☆62Updated 3 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆39Updated 3 months ago
- HoTT Note-taking action☆25Updated 6 years ago
- Haskell library for semigroup actions and torsors☆64Updated 11 months ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆67Updated 3 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 4 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆125Updated 11 months ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆63Updated 5 months ago
- do-notation for Category and "Arrow without arr"☆63Updated 8 years ago
- Bidirectional programming in Haskell with monadic profunctors☆48Updated 3 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆84Updated 4 years ago
- Tiny type-checker with dependent types☆78Updated 12 years ago
- A fast open-union type, suitable for 100+ contained alternatives.☆99Updated last year
- Hedgehog will eat your typeclass bugs☆56Updated 7 months ago
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆99Updated 2 months ago
- being the scrapings of my stackoverflow answers☆48Updated 6 years ago
- Interpret Haskell programs into any cartesian closed category.☆68Updated last month
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆85Updated 8 months ago
- Provides a type-safe way of working with permutations in Idris☆37Updated 4 years ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆40Updated 5 years ago
- Toy typechecker for Insanely Dependent Types☆82Updated 2 months ago