AmpersandTarski / Ampersand
This repository contains the source code of the Ampersand compiler. For developing in VS-code, it contains a devcontainer. It contains a Dockerfile for generating a docker image. A commit on the main branch sets of the build street, which creates a new image in the ampersand repository in docker hub.
☆41Updated this week
Alternatives and similar repositories for Ampersand:
Users that are interested in Ampersand are comparing it to the libraries listed below
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆220Updated 6 years ago
- An experimental native Haskell graph database☆61Updated 6 years ago
- Express parametrable, composable and portable data pipelines☆89Updated 2 years ago
- A multi-method simulation library☆80Updated 8 months ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- A DSL for describing and implementing communication protocols☆83Updated 10 years ago
- rdf4h is a library for working with RDF in Haskell☆77Updated last week
- A port of Apache Sparks to Haskell using distributed process☆33Updated 8 years ago
- hsparql includes a DSL to easily create queries, as well as methods to submit those queries to a SPARQL server, returning the results as …☆48Updated last month
- Wailing into the primordial ooze of category theory☆55Updated 2 weeks ago
- Dependently-typed finite maps (partial dependent products)☆65Updated last month
- Type provider library for Idris☆94Updated 7 years ago
- every day i'm truffling☆69Updated 4 years ago
- The Disco Discus Compiler☆174Updated 6 years ago
- GRIN backend for Idris☆51Updated 4 years ago
- Hopefully verifiable code generation in GHC☆94Updated 7 years ago
- Haskell JSON schema validator and parser generator☆61Updated 2 years ago
- Haskell bindings to the Graphviz toolkit☆64Updated 2 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- BDD-based implementation of Datalog☆37Updated 4 years ago
- Functional Data Management (Type Safe ETL / ELT in Haskell)☆43Updated 3 years ago
- Translate your console applications to run in the web browser and have reactive, window-oriented and spreadsheet effects for free. Widget…☆60Updated 8 years ago
- Database-Supported Haskell☆29Updated 7 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆77Updated 4 years ago
- A prolog interpreter written in Haskell.☆62Updated 9 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- A Haskell library for open records and variants using closed type families and type literals☆112Updated 2 years ago
- A continuation-based backtracking logic programming monad☆86Updated 4 months ago
- Haskell library for simple, concise and fast generic operations.☆80Updated last year