blitzcode / ghc-stack
Hacking GHC's Stack for Fun and Profit (featuring The Glorious Haskell Debugger v0.0.1 Pre-alpha)
☆69Updated 11 years ago
Alternatives and similar repositories for ghc-stack:
Users that are interested in ghc-stack are comparing it to the libraries listed below
- Literature review of GHC's Core language, System FC☆66Updated 6 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 2 weeks ago
- Library and macros to simplify writing Haskell FFI code☆39Updated 2 years ago
- Extends binary with parsec/attoparsec style parsing combinators☆26Updated 3 years ago
- ELF data structures for Haskell☆24Updated last year
- Proposed compiler and language changes for GHC and GHC/Haskell☆25Updated 8 years ago
- ☆45Updated 3 years ago
- A tool for formally verifying Haskell code in Agda☆28Updated 8 years ago
- Units of measure as a GHC typechecker plugin☆30Updated 2 years ago
- ☆25Updated 4 years ago
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆24Updated 6 years ago
- ☆26Updated 8 years ago
- ☆19Updated 7 years ago
- A library for generic programming that aims to be easy to understand☆26Updated last week
- An experimental intermediate language for GHC☆36Updated 7 years ago
- Dump GHC's abstract syntax trees☆41Updated 2 years ago
- An OS written in Idris (eventually...)☆19Updated 10 years ago
- ☆25Updated 8 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- KU Leuven Haskell Compiler☆15Updated 3 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆46Updated 7 years ago
- ghc --make reimplemented with Shake☆30Updated last year
- Simple lambda prover☆24Updated 9 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆32Updated 2 years ago
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- Inline, type safe X86-64 assembly programming in Agda☆68Updated 6 years ago
- Experiments on the construction of functions☆29Updated 9 years ago
- ☆27Updated 6 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 3 months ago
- Continuously varying values, made easy :)☆40Updated 5 years ago