thoughtpolice / strict-ghc-pluginLinks
A plugin for GHC to turn Haskell into a strict language
☆27Updated 13 years ago
Alternatives and similar repositories for strict-ghc-plugin
Users that are interested in strict-ghc-plugin are comparing it to the libraries listed below
Sorting:
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 4 months ago
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Updated 11 years ago
- Automatically make lenses from data structures implementing Generic☆26Updated 10 years ago
- QuickCheck extras.☆29Updated 6 years ago
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- dash docset builder for Haskell packages and cabal project dependencies☆78Updated 5 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- ☆17Updated 3 years ago
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆31Updated last year
- Clojure-style transients for Haskell☆33Updated 3 years ago
- ghc --make reimplemented with Shake☆32Updated last year
- Serializable closures for distributed programming.☆65Updated last year
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- An experimental intermediate language for GHC☆36Updated 7 years ago
- ☆50Updated 2 weeks ago
- Simplified interface to the GHC API☆22Updated 6 years ago
- ☆31Updated 3 years ago
- A command-line tool for live monitoring☆25Updated 2 months ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- A very general logging effect for Haskell☆61Updated last year
- A faster date and time library based on time☆47Updated 6 months ago
- Automatically finds dependencies and runs a Haskell file with stack (no cabal manifest, no stack.yaml, no project, no friction)☆32Updated 9 years ago
- A GHC type checker plugin for row types☆39Updated 7 years ago
- The Str signature and implementations☆21Updated 8 years ago
- ☆40Updated 7 years ago
- ☆45Updated 3 years ago
- Flush system metrics to statsd☆26Updated 3 months ago
- Protect against backwards-incompatible serializations☆23Updated 4 years ago
- Parser and type analysis for the Go programming language☆12Updated 2 years ago
- Units of measure as a GHC typechecker plugin☆30Updated 2 years ago