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.
☆43Updated last week
Alternatives and similar repositories for Ampersand
Users that are interested in Ampersand are comparing it to the libraries listed below
Sorting:
- rdf4h is a library for working with RDF in Haskell☆78Updated 3 months 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 4 months ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- Agda libraries for the semantic web☆24Updated 6 years ago
- Database-Supported Haskell☆29Updated 7 years ago
- Wailing into the primordial ooze of category theory☆55Updated last month
- oleg modules☆32Updated 12 years ago
- Haskell graphs and networks library☆31Updated 3 years ago
- Define communication protocols between applications using algebraic data types.☆47Updated 2 years ago
- ☆38Updated 5 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 3 weeks ago
- Provides a type-safe way of working with permutations in Idris☆36Updated 3 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Updated 7 years ago
- HoTT Note-taking action☆25Updated 6 years ago
- Web based opetopic editor☆35Updated 8 months ago
- GRIN backend for Idris☆50Updated 5 years ago
- A total recursion scheme library for Dhall☆66Updated last month
- source code for the bondi programming language☆40Updated 6 years ago
- Graph database in Haskell☆24Updated 9 years ago
- ☆44Updated 2 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- Automatic Haskell type inference from JSON input☆149Updated last year
- Learning rigid grammars in Haskell.☆24Updated 7 years ago
- i bet you there is a typesystem behind music☆32Updated 6 years ago
- BDD-based implementation of Datalog☆37Updated 5 years ago
- Implementing Abstract Binding Trees (in Scala, ...)☆19Updated 9 years ago
- A port of Apache Sparks to Haskell using distributed process☆33Updated 8 years ago
- So, you want to write a DSL interpreter...☆25Updated 6 years ago
- Port of Scala/Haskell Refined library to Idris☆17Updated 4 years ago
- A Python backed for Idris 2☆26Updated 7 months ago