AmpersandTarski / Ampersand
Build database applications faster than anyone else, and keep your data pollution free as a bonus.
☆40Updated last week
Related projects ⓘ
Alternatives and complementary repositories for Ampersand
- hsparql includes a DSL to easily create queries, as well as methods to submit those queries to a SPARQL server, returning the results as …☆47Updated last year
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- Express parametrable, composable and portable data pipelines☆89Updated 2 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆22Updated 4 years ago
- Haskell Functional Reactive Programming framework with type-level clocks☆123Updated this week
- oleg modules☆30Updated 11 years ago
- Database-Supported Haskell☆29Updated 6 years ago
- every day i'm truffling☆67Updated 3 years ago
- GRIN backend for Idris☆51Updated 4 years ago
- Wailing into the primordial ooze of category theory☆54Updated last month
- rdf4h is a library for working with RDF in Haskell☆76Updated 7 months ago
- Define communication protocols between applications using algebraic data types.☆45Updated last year
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆99Updated last year
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆66Updated 2 years ago
- Extensible records for Idris☆26Updated 3 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- A prolog interpreter written in Haskell.☆61Updated 9 years ago
- A continuation-based backtracking logic programming monad☆85Updated 3 weeks ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆78Updated 8 years ago
- A typed, persistent store for values of arbitrary types☆60Updated 2 months ago
- ☆44Updated last year
- Benchmarks to compare Haskell streaming library performance☆102Updated last year
- Haskell embedding of PlusCal☆60Updated 2 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆54Updated 11 months ago
- A total recursion scheme library for Dhall☆65Updated 2 months ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 4 years ago
- JHC Haskell compiler split into reusable components☆58Updated 5 years ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago