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 this week
Alternatives and similar repositories for Ampersand
Users that are interested in Ampersand are comparing it to the libraries listed below
Sorting:
- Idris LLVM codegen factored out☆82Updated 8 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- A prolog interpreter written in Haskell.☆62Updated 10 years ago
- oleg modules☆34Updated 12 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆223Updated 7 years ago
- ☆38Updated 5 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 2 months ago
- The Art of the Propagator. See also:☆174Updated last year
- every day i'm truffling☆70Updated 4 years ago
- Embedded C code generation DSL for Haskell.☆28Updated 6 years ago
- A port of Apache Sparks to Haskell using distributed process☆33Updated 8 years ago
- Free Algebras in Haskell☆37Updated 11 months ago
- Type provider library for Idris☆94Updated 7 years ago
- An experimental native Haskell graph database☆61Updated 6 years ago
- ECMAScript back end for Functional Reactive Programming in Agda☆103Updated 7 years ago
- The Disco Discus Compiler☆174Updated 6 years ago
- GRIN backend for Idris☆51Updated 5 years ago
- Express parametrable, composable and portable data pipelines☆89Updated 3 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆57Updated 7 years ago
- Web based opetopic editor☆35Updated 10 months ago
- JVM code generation☆32Updated 6 years ago
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆100Updated 2 years ago
- VM and tracing JIT for Haskell (work in progress)☆79Updated 10 years ago
- build tool and package manager for idris,in idris,with free monads☆33Updated 6 years ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆60Updated 2 years ago
- A proper network library for Idris, now that I know what I'm doing.☆59Updated 8 years ago
- A multi-method simulation library☆82Updated last year
- Scrap Your Boilerplate generic programming library in Haskell☆46Updated 8 months ago
- Haskell Join-calculus DSL☆24Updated 6 years ago