quchen / stgiLinks
A user-centric visual STG implementation to help understand GHC/Haskell's execution model.
☆532Updated 3 years ago
Alternatives and similar repositories for stgi
Users that are interested in stgi are comparing it to the libraries listed below
Sorting:
- 📖 source material for Thinking with Types☆492Updated 2 years ago
- Demo for high-performance type theory elaboration☆554Updated last year
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆372Updated 2 years ago
- GUI framework that uses the web browser as a display.☆472Updated 2 months ago
- Industrial-strength monadic parser combinator library☆944Updated 4 months ago
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆255Updated this week
- Type safe interface for working in subcategories of Hask☆419Updated 6 years ago
- Cloud Haskell core libraries☆732Updated 2 months ago
- ☆292Updated 5 months ago
- A fast, flexible, fused effect system for Haskell☆656Updated last month
- Haskell papers optimized for my e-reader.☆270Updated 8 years ago
- The Haskell performance checklist☆391Updated 5 years ago
- Empire strikes back☆462Updated last year
- Add ACID guarantees to any serializable Haskell data structure☆302Updated 2 months ago
- Software Foundations in Idris☆454Updated 6 years ago
- Algebraic graphs☆740Updated last week
- A sensible starting Prelude template.☆403Updated 2 weeks ago
- A bare-bones calculus-of-constructions☆380Updated 2 years ago
- Modern and extensible testing framework for Haskell☆649Updated 2 months ago
- Functional programming with fewer indirections☆765Updated 4 years ago
- Generically derive traversals, lenses, and prisms.☆441Updated last month
- A type-safe, high-level SQL library for Haskell☆478Updated 11 months ago
- haskell ghc-illustrated☆260Updated 4 years ago
- Web application for exploring and understanding Haskell codebases☆515Updated 2 years ago
- Optics as an abstract interface☆384Updated last month
- Proposed compiler and language changes for GHC and GHC/Haskell☆696Updated 2 weeks ago
- Compositional pipelines☆492Updated 2 years ago
- Introduction to parsing with Haskell and Parsec☆504Updated 5 years ago
- Anonymous records☆248Updated 6 years ago
- Runtime Haskell interpreter☆268Updated 2 months ago