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:
- A small bifunctor library for idris☆21Updated 4 years ago
- Type provider library for Idris☆94Updated 7 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 4 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- Safe, programmable, speculative evaluation for Haskell☆29Updated 6 years ago
- Recursion schemes for Idris☆65Updated 6 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 4 months ago
- JVM implementation in Haskell☆42Updated 10 months ago
- ☆41Updated 8 years ago
- Yet another concurrent playground☆33Updated 9 years ago
- Compositional type checking for Haskell☆37Updated 14 years ago
- Free Algebras in Haskell☆37Updated 11 months ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Measure time complexity empirically.☆48Updated 9 years ago
- Type Theory with Indexed Equality☆26Updated 8 years ago
- ☆40Updated 7 years ago
- A message-passing library, intended for simplifying network applications☆43Updated 7 years ago
- Experiments in abstracting definitional interpreters☆16Updated 7 years ago
- Dynamic network FRP with events and continuous values☆52Updated 4 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 7 months ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Lens interface for your filesystem☆22Updated 4 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago
- A monad for interfacing with external SAT solvers☆64Updated last month
- Haskell library for efficiently building up buffers☆26Updated 6 months ago
- a simple functional language for learners☆30Updated 8 years ago