ret / specifica
Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)
☆26Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for specifica
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Updated 7 years ago
- Haskell embedding of PlusCal☆61Updated 2 years ago
- Fine-grained lattice primitives for Haskell☆35Updated 3 months ago
- Paper and talk☆45Updated last year
- Serializable closures for distributed programming.☆65Updated 11 months ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Updated 3 months ago
- being bits and pieces I'm inclined to leave lying around☆46Updated last month
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Updated 10 years ago
- being a bidirectional reformulation of Martin-Löf's 1971 type theory☆25Updated 7 years ago
- A simple set of io-uring bindings in Haskell☆28Updated 4 years ago
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆25Updated 6 years ago
- being a collection of Agda-facilitated ramblings☆33Updated 4 years ago
- NbE course @ Chalmers☆28Updated 2 months ago
- A GHC plugin and library for analysing GHC Core☆53Updated 2 years ago
- high-powered optics in a small package☆50Updated last month
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 6 months ago
- Work on type class deriving with elaboration reflection☆31Updated 6 years ago
- enumerative property-based testing for Haskell☆53Updated 2 months ago
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆30Updated 4 months ago
- being a thing I build on a Saturday☆28Updated 6 years ago
- ☆25Updated 4 years ago
- Composable Concurrent Computation Done Right☆30Updated last year
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆26Updated 3 years ago
- ☆20Updated last year
- Literature review of GHC's Core language, System FC☆66Updated 6 years ago
- A language-generic implementation of equality saturation in Haskell☆21Updated 5 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Updated 9 months ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- Self-contained repository for the eponymous paper☆29Updated 5 years ago