augustss / MicroHsLinks
Haskell implemented with combinators
☆616Updated 2 weeks ago
Alternatives and similar repositories for MicroHs
Users that are interested in MicroHs are comparing it to the libraries listed below
Sorting:
- Standard library for linear types in Haskell.☆350Updated last week
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.☆441Updated last month
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆638Updated last week
- A prompt engineering functional programming language☆460Updated this week
- Minimal implementations for dependent type checking and elaboration☆735Updated 2 months ago
- ☆234Updated 2 months ago
- A simple library for reporting compiler/interpreter errors☆267Updated last year
- A categorical programming language with effects☆287Updated 2 years ago
- Demo for high-performance type theory elaboration☆569Updated 2 years ago
- 🕵️ Haskell STatic ANalyser☆582Updated 3 weeks ago
- The Haskell Optimization Handbook☆180Updated 7 months ago
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆727Updated last month
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,053Updated 4 months ago
- Proposed compiler and language changes for GHC and GHC/Haskell☆703Updated last week
- A demo implementation of a simple dependently-typed language☆613Updated 11 months ago
- Code challenges to solve with Haskell☆178Updated last month
- The adventures of a Haskell compiler☆232Updated this week
- Compiling to Categories☆456Updated last year
- An easy to use, cross platform, GUI library for writing Haskell applications.☆636Updated last year
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆403Updated this week
- 🚧 a work in progress effect system for Haskell 🚧☆560Updated 2 years ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆384Updated 2 years ago
- Haskell-based shell scripting language☆611Updated last week
- Optics as an abstract interface☆386Updated 2 weeks ago
- Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView☆301Updated this week
- A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!☆428Updated last month
- A fast, flexible, fused effect system for Haskell☆662Updated 6 months ago
- Defect Process (2d hack n' slash game) full source code☆222Updated 2 years ago
- Industrial-strength monadic parser combinator library☆957Updated 2 weeks ago
- Dependent type checker using normalisation by evaluation☆268Updated last year