quchen / stgi
A user-centric visual STG implementation to help understand GHC/Haskell's execution model.
☆531Updated 3 years ago
Alternatives and similar repositories for stgi:
Users that are interested in stgi are comparing it to the libraries listed below
- 📖 source material for Thinking with Types☆484Updated 2 years ago
- Demo for high-performance type theory elaboration☆541Updated last year
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆370Updated last year
- GUI framework that uses the web browser as a display.☆455Updated last week
- A type-safe, high-level SQL library for Haskell☆478Updated 9 months ago
- Type safe interface for working in subcategories of Hask☆420Updated 5 years ago
- Algebraic graphs☆737Updated 10 months ago
- Software Foundations in Idris☆454Updated 5 years ago
- High performance, concurrent functional programming abstractions☆887Updated last week
- Empire strikes back☆464Updated last year
- Generically derive traversals, lenses, and prisms.☆441Updated 3 months ago
- Functional programming with fewer indirections☆760Updated 4 years ago
- Proposed compiler and language changes for GHC and GHC/Haskell☆694Updated last week
- Industrial-strength monadic parser combinator library☆941Updated 2 months ago
- ☆288Updated 3 months ago
- Efficient Haskell Arrays featuring Parallel computation☆385Updated 2 months ago
- The Haskell performance checklist☆384Updated 4 years ago
- The strongly hyped Haskell interpreter.☆368Updated 3 months ago
- A bare-bones calculus-of-constructions☆377Updated 2 years ago
- Cloud Haskell core libraries☆724Updated 3 weeks ago
- Slides from talks that I give☆294Updated last year
- Squeal, a deep embedding of SQL in Haskell☆369Updated 3 months ago
- Generalized bananas, lenses and barbed wire☆345Updated 3 months ago
- Optics as an abstract interface☆382Updated last week
- Release with confidence, state-of-the-art property testing for Haskell.☆683Updated 2 weeks ago
- ☆609Updated 3 weeks ago
- Web application for exploring and understanding Haskell codebases☆515Updated 2 years ago
- A fast, flexible, fused effect system for Haskell☆653Updated 2 months ago
- haskell ghc-illustrated☆259Updated 4 years ago
- Haskell papers optimized for my e-reader.☆269Updated 8 years ago