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 last week
Alternatives and similar repositories for Ampersand:
Users that are interested in Ampersand are comparing it to the libraries listed below
- Express parametrable, composable and portable data pipelines☆89Updated 3 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 2 months ago
- Functional Data Management (Type Safe ETL / ELT in Haskell)☆42Updated 3 years ago
- Database-Supported Haskell☆29Updated 7 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆121Updated 3 months ago
- A multi-method simulation library☆80Updated 10 months ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- Cofun with Cofree Comonads☆32Updated 8 years ago
- GRIN backend for Idris☆51Updated 5 years ago
- rdf4h is a library for working with RDF in Haskell☆77Updated last month
- Haskell Functional Reactive Programming framework with type-level clocks☆129Updated this week
- Idris LLVM codegen factored out☆80Updated 7 years ago
- high-powered optics in a small package☆53Updated 7 months ago
- A simple Idris program to blink the LED on an Arduino☆58Updated 3 years ago
- A total recursion scheme library for Dhall☆66Updated 2 months ago
- Wailing into the primordial ooze of category theory☆55Updated last month
- Yet another yet another recursion scheme library in Haskell.☆88Updated 3 weeks ago
- ☆44Updated 2 years ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 5 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆77Updated 4 years ago
- Define communication protocols between applications using algebraic data types.☆45Updated 2 years ago
- Haskell JSON schema validator and parser generator☆61Updated 2 years ago
- Type provider library for Idris☆94Updated 7 years ago
- every day i'm truffling☆70Updated 4 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 5 months ago
- source code for the bondi programming language☆40Updated 6 years ago
- Benchmarks to compare Haskell streaming library performance☆103Updated 5 months ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆220Updated 6 years ago
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆162Updated 4 years ago