gshen42 / HasChorLinks
Functional choreographic programming in Haskell
☆101Updated last month
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 🚧☆131Updated last year
- ☆118Updated last week
- Effects libraries in Haskell☆71Updated 2 years ago
- Fast parsing from bytestrings☆165Updated last month
- Language Server for Agda☆113Updated last week
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆95Updated 2 months ago
- Automatically generate Haskell bindings from C header files☆54Updated this week
- Strongly-typed System F in Haskell☆118Updated 2 years ago
- Compositional Representable Executable Machines☆120Updated last month
- A structured concurrency library☆85Updated 5 months ago
- Benchmarks for capture-avoiding substitution☆119Updated 2 months ago
- Fast equality saturation in Haskell☆86Updated 3 weeks ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated 3 weeks ago
- Convert values from one type into another.☆76Updated 2 months ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆105Updated 2 weeks ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- A theory‑backed, ultra type‑safe algebraic effects☆172Updated last week
- A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode☆58Updated last month
- A Haskell blog☆146Updated 3 weeks ago
- A package index for the Haskell ecosystem☆143Updated this week
- GHC Whole Program Compiler and External STG IR tooling☆118Updated 8 months ago
- Fast and concise extensible effects☆109Updated 2 years ago
- Compiling Agda code to readable Haskell☆190Updated last week
- A re-implementation of weeder using HIE files☆177Updated last week
- LLVM code generation in Haskell☆54Updated 9 months ago
- Efficient Haskell effect handlers based on evidence translation.☆84Updated 4 years ago
- A community-driven collection of documentation for Haskell error messages and warnings☆106Updated 4 months ago
- Hypertypes - generic programming for heterogeneous recursive types☆125Updated 6 months ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- ☆54Updated 2 months ago