augustss / MicroHsLinks
Haskell implemented with combinators
☆520Updated this week
Alternatives and similar repositories for MicroHs
Users that are interested in MicroHs are comparing it to the libraries listed below
Sorting:
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.☆424Updated this week
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆618Updated last month
- A ready-to-fork interpreted functional language with type inference☆409Updated last week
- ☆220Updated 2 months ago
- A categorical programming language with effects☆278Updated 2 years ago
- Standard library for linear types in Haskell.☆343Updated last month
- Minimal implementations for dependent type checking and elaboration☆678Updated 3 weeks ago
- The Haskell Optimization Handbook☆179Updated 3 months ago
- Demo for high-performance type theory elaboration☆556Updated last year
- 🕵️ Haskell STatic ANalyser☆584Updated last month
- Compiling to Categories☆454Updated last year
- The adventures of a Haskell compiler☆226Updated last month
- Haskell bindings to Dear ImGui, an immediate mode GUI toolkit☆155Updated 3 weeks ago
- Proposed compiler and language changes for GHC and GHC/Haskell☆698Updated last month
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆374Updated last week
- Dependent type checker using normalisation by evaluation☆262Updated 9 months ago
- Optics as an abstract interface☆385Updated last week
- agda-mode for neovim☆159Updated last month
- A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!☆408Updated 3 weeks ago
- Haskell-based shell scripting language☆605Updated this week
- How I start Haskell.☆100Updated 8 months ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆378Updated last year
- Industrial-strength monadic parser combinator library☆946Updated this week
- A fast functional language based on two level type theory☆391Updated 2 years ago
- Defect Process (2d hack n' slash game) full source code☆217Updated last year
- 🚧 a work in progress effect system for Haskell 🚧☆129Updated last year
- A new Categories library for Agda☆382Updated this week
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆715Updated last month
- Code challenges to solve with Haskell☆156Updated 2 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆558Updated 2 years ago