syallop / Join-Language
Haskell Join-calculus DSL
☆22Updated 6 years ago
Alternatives and similar repositories for Join-Language:
Users that are interested in Join-Language are comparing it to the libraries listed below
- Yet another concurrent playground☆32Updated 9 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 3 months ago
- Type Theory with Indexed Equality☆25Updated 7 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Updated 6 years ago
- ☆41Updated 7 years ago
- phantom types☆38Updated last month
- Concurrency features for the Haskell machines package☆17Updated 3 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 9 months ago
- A general purpose programming language with linear types☆44Updated 8 years ago
- An append only list in a compact region☆25Updated 6 years ago
- 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
- A recursion scheme library for Idris.☆24Updated 3 months ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 6 years ago
- An mtl-style typeclass and transformer for persistent☆11Updated 6 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- Transactional cache with configurable persistence☆46Updated last year
- An implementation of "Freer Monads, More Extensible Effects".☆20Updated 6 years ago
- Universal Register Machine implemented at the type-level of Haskell☆23Updated 8 years ago
- Run lifted IO operations asynchronously and wait for their results☆28Updated 4 months ago
- System F implemented in Haskell☆24Updated 12 years ago
- ☆23Updated 9 years ago
- Quiver stream processing library☆15Updated 8 years ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- MPFR bindings for Haskell☆34Updated last year
- deprecated in favor of -XQualifiedDo☆41Updated 3 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- A hashing-based graph implementation in Haskell☆33Updated 6 years ago
- Austin's supercompiler work☆21Updated 5 years ago