luc-tielen / souffle-haskell
Haskell bindings for the Souffle datalog language
☆105Updated last year
Alternatives and similar repositories for souffle-haskell
Users that are interested in souffle-haskell are comparing it to the libraries listed below
Sorting:
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆82Updated 8 years ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated 2 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated 2 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆121Updated 4 months ago
- A re-implementation of weeder using HIE files☆176Updated 2 months ago
- A tutorial about how to apply property-based testing to stateful systems.☆78Updated 2 years ago
- Horn Clause Constraint Solving for Liquid Types☆145Updated 3 weeks ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- Effects libraries in Haskell☆71Updated last year
- Stream editing with Haskell Megaparsec parsers☆79Updated 11 months ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 9 months ago
- Fast and concise extensible effects☆108Updated last year
- Benchmarks for capture-avoiding substitution☆113Updated this week
- Strongly-typed System F in Haskell☆116Updated 2 years ago
- GRIN backend for GHC☆144Updated 3 years ago
- An implementation of Pie in Haskell☆205Updated 5 years ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆58Updated last year
- ICFP 2020 papers. Crowd-sourced☆91Updated 4 years ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆97Updated last week
- TParsec - Total Parser Combinators in Idris☆93Updated last year
- Standard containers, with keys that carry type-level proofs of their own presence.☆80Updated 5 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆126Updated last year
- The Software Foundations book, in GHC☆82Updated 4 months ago
- Efficient Haskell effect handlers based on evidence translation.☆82Updated 3 years ago
- Named parameters (keyword arguments) for Haskell☆94Updated 2 months ago
- A pure Haskell implementation of Datalog☆105Updated 4 years ago
- Inspection Testing for Haskell☆176Updated 4 months ago
- A Haskell library for open records and variants using closed type families and type literals☆112Updated 2 years ago
- ☆100Updated 2 months ago