LeventErkok / sbvPlugin
Formally prove properties of Haskell programs using SBV/SMT.
☆44Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for sbvPlugin
- Church-encoding of the Freer monad☆29Updated 8 years ago
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- An experimental intermediate language for GHC☆37Updated 7 years ago
- ☆45Updated 2 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 7 months ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- A GHC plugin and library for analysing GHC Core☆53Updated 2 years ago
- ☆39Updated 7 years ago
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Updated 10 years ago
- Clojure-style transients for Haskell☆32Updated 2 years ago
- Serializable closures for distributed programming.☆65Updated 11 months ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆26Updated 3 years ago
- Kleene algebra, regular expressions☆32Updated last year
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- An OS written in Idris (eventually...)☆18Updated 9 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated 2 months ago
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆25Updated 6 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 5 months ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- An experiment in functional interface design☆23Updated 8 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆45Updated 6 years ago
- Haskell library for efficiently building up buffers☆26Updated 3 months ago
- van Laarhoven Free Monad with Extensible Effects☆24Updated 8 years ago
- A GHC type checker plugin for row types☆39Updated 7 years ago
- A hip inductive theorem prover!☆88Updated 3 years ago
- Text-based interactive GHC .prof viewer☆48Updated last year
- ghc --make reimplemented with Shake☆31Updated last year
- Dump GHC's abstract syntax trees☆41Updated 2 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago