AmpersandTarski / AmpersandLinks
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.
☆42Updated this week
Alternatives and similar repositories for Ampersand
Users that are interested in Ampersand are comparing it to the libraries listed below
Sorting:
- Web based opetopic editor☆35Updated 7 months ago
- source code for the bondi programming language☆40Updated 6 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- A multi-method simulation library☆80Updated 11 months ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- oleg modules☆32Updated 12 years ago
- rdf4h is a library for working with RDF in Haskell☆77Updated 2 months ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 6 months ago
- Dependently-typed finite maps (partial dependent products)☆66Updated 3 months ago
- Functional Data Management (Type Safe ETL / ELT in Haskell)☆42Updated 3 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 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 …☆49Updated 3 months ago
- higher order dependently typed logic programing☆171Updated 6 years ago
- GRIN backend for Idris☆51Updated 5 years ago
- Wailing into the primordial ooze of category theory☆55Updated 2 weeks ago
- A total recursion scheme library for Dhall☆66Updated 2 weeks ago
- ECMAScript back end for Functional Reactive Programming in Agda☆104Updated 7 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆122Updated 4 months ago
- Express parametrable, composable and portable data pipelines☆89Updated 3 years ago
- Haskell graphs and networks library☆31Updated 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 9 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- HoTT Note-taking action☆25Updated 6 years ago
- Library of categories, with categorical constructions on them☆57Updated last year
- A port of Apache Sparks to Haskell using distributed process☆33Updated 8 years ago
- Database-Supported Haskell☆29Updated 7 years ago
- Haskell Functional Reactive Programming framework with type-level clocks☆129Updated last week
- Haskell JSON schema validator and parser generator☆61Updated 2 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆78Updated 5 years ago
- Learning rigid grammars in Haskell.☆24Updated 7 years ago