snowleopard / alga
Algebraic graphs
☆719Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for alga
- Proposed compiler and language changes for GHC and GHC/Haskell☆685Updated 2 months ago
- higher-order, no-boilerplate monads☆1,037Updated 3 weeks ago
- Industrial-strength monadic parser combinator library☆919Updated last month
- Liquid Types For Haskell☆1,196Updated this week
- A fast, flexible, fused effect system for Haskell☆647Updated 3 months ago
- Release with confidence, state-of-the-art property testing for Haskell.☆677Updated 2 months ago
- A standard library for Haskell☆843Updated 3 months ago
- A formatter for Haskell source code☆964Updated 2 weeks ago
- Generalized bananas, lenses and barbed wire☆337Updated 5 months ago
- Web application for exploring and understanding Haskell codebases☆512Updated last year
- Empire strikes back☆464Updated last year
- Modern and extensible testing framework for Haskell☆640Updated 2 weeks ago
- Software Foundations in Idris☆452Updated 5 years ago
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆700Updated last month
- 🕵️ Haskell STatic ANalyser☆571Updated last month
- 🚧 a work in progress effect system for Haskell 🚧☆553Updated last year
- The Monad Transformer Library☆367Updated 3 months ago
- A List of Foundational Haskell Papers☆864Updated last week
- 🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects☆699Updated last week
- Functional Reactive Programming domain-specific language for efficient hybrid systems☆450Updated last month
- Optics as an abstract interface☆375Updated 3 months ago
- hpack: A modern format for Haskell packages☆624Updated 3 months ago
- Compiling to Categories☆437Updated 8 months ago
- Retrie is a powerful, easy-to-use codemodding tool for Haskell.☆503Updated 4 months ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,030Updated last year
- Efficient Haskell Arrays featuring Parallel computation☆385Updated 2 months ago
- Type safe interface for working in subcategories of Hask☆418Updated 5 years ago
- Miscellaneous articles. The readme is the table of contents.☆1,251Updated last year
- An axiom-free formalization of category theory in Coq for personal study and practical work☆754Updated this week
- Applicative option parser☆914Updated 2 weeks ago