gshen42 / HasChorLinks
Functional choreographic programming in Haskell
☆105Updated 4 months ago
Alternatives and similar repositories for HasChor
Users that are interested in HasChor are comparing it to the libraries listed below
Sorting:
- 🚧 a work in progress effect system for Haskell 🚧☆133Updated 2 years ago
- Distributors - Unifying Parsers, Printers & Grammars☆56Updated this week
- Fast equality saturation in Haskell☆88Updated 3 months ago
- Fast parsing from bytestrings☆170Updated 3 weeks ago
- Language Server for Agda☆116Updated 2 weeks ago
- Strongly-typed System F in Haskell☆119Updated 3 years ago
- Benchmarks for capture-avoiding substitution☆120Updated 5 months ago
- ☆129Updated 3 weeks ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆107Updated 2 weeks ago
- Automatically generate Haskell bindings from C header files☆59Updated 2 weeks ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆61Updated 3 months ago
- LLVM code generation in Haskell☆54Updated last year
- Effects libraries in Haskell☆71Updated 2 years ago
- Agda lecture notes for the Functional Programming course at TU Delft☆128Updated 3 months ago
- Compiling Agda code to readable Haskell☆194Updated 3 weeks ago
- Build system☆131Updated last week
- A theory‑backed, ultra type‑safe algebraic effects☆177Updated 2 months ago
- Total Parser Combinators in Agda☆132Updated 2 months ago
- being an operating system for typechecking processes☆130Updated 3 weeks ago
- A community-driven collection of documentation for Haskell error messages and warnings☆106Updated 3 weeks ago
- A Haskell blog☆150Updated 3 weeks ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆96Updated last month
- Compositional Representable Executable Machines☆121Updated last week
- A tutorial on how Agda infers things☆63Updated 3 months ago
- GHC Whole Program Compiler and External STG IR tooling☆119Updated last week
- Fast and concise extensible effects☆109Updated 2 years ago
- Horn Clause Constraint Solving for Liquid Types☆153Updated this week
- Example implementation of Algorithm W for Hindley-Milner type inference☆81Updated 3 years ago
- Reimplementation of Parsley in Haskell, with improvements☆59Updated last year