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 2 weeks ago
Alternatives and similar repositories for Ampersand:
Users that are interested in Ampersand are comparing it to the libraries listed below
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 2 months ago
- ☆38Updated 5 years ago
- Type provider library for Idris☆94Updated 7 years ago
- every day i'm truffling☆69Updated 3 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- A multi-method simulation library☆79Updated 7 months ago
- GRIN backend for Idris☆51Updated 4 years ago
- Dependently-typed finite maps (partial dependent products)☆65Updated last week
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- ☆29Updated 6 years ago
- HoTT Note-taking action☆25Updated 5 years ago
- Idris LLVM codegen factored out☆78Updated 7 years ago
- Define communication protocols between applications using algebraic data types.☆45Updated last year
- 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
- Extensible records for Idris☆26Updated 3 years ago
- Database-Supported Haskell☆29Updated 6 years ago
- A total recursion scheme library for Dhall☆66Updated this week
- Benchmarks to compare Haskell streaming library performance☆103Updated 3 months ago
- A Go backend for Idris☆15Updated 6 years ago
- Haskell JSON schema validator and parser generator☆61Updated 2 years ago
- Express parametrable, composable and portable data pipelines☆89Updated 2 years ago
- A DSL for describing and implementing communication protocols☆83Updated 10 years ago
- An experimental native Haskell graph database☆60Updated 6 years ago
- Agda libraries for the semantic web☆23Updated 6 years ago
- Wailing into the primordial ooze of category theory☆55Updated 3 months ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 5 years ago
- Probabilistic computation in Idris☆34Updated 5 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆121Updated last month
- A port of Apache Sparks to Haskell using distributed process☆33Updated 8 years ago
- ☆40Updated 6 years ago