syallop / Join-LanguageLinks
Haskell Join-calculus DSL
☆24Updated 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
Sorting:
- Type Theory with Indexed Equality☆25Updated 8 years ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- System F implemented in Haskell☆24Updated 13 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Updated 6 years ago
- A hashing-based graph implementation in Haskell☆33Updated 6 years ago
- Concurrency features for the Haskell machines package☆16Updated 3 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- Safe, programmable, speculative evaluation for Haskell☆29Updated 6 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 6 months ago
- Yet another concurrent playground☆33Updated 9 years ago
- A message-passing library, intended for simplifying network applications☆43Updated 7 years ago
- An append only list in a compact region☆25Updated 6 years ago
- ☆23Updated 8 years ago
- ☆23Updated 7 years ago
- A recursion scheme library for Idris.☆25Updated last month
- Recursion schemes for Idris☆65Updated 6 years ago
- Quiver stream processing library☆15Updated 8 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 years ago
- An implementation of "Freer Monads, More Extensible Effects".☆20Updated 6 years ago
- Quasiquoter for LLVM☆31Updated 7 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 3 months ago
- A proper network library for Idris, now that I know what I'm doing.☆58Updated 8 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 7 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- Provides free functors that are adjoint to functors that forget class constraints.☆29Updated 9 months ago
- Compositional type checking for Haskell☆37Updated 14 years ago
- Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff☆13Updated 7 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago