ekmett / speculation
Safe, programmable, speculative evaluation for Haskell
☆30Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for speculation
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 7 months ago
- System F implemented in Haskell☆24Updated 12 years ago
- A package re-exporting the verified subset of containers☆20Updated 6 years ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆26Updated 3 years ago
- Folds for recursive types with GHC Generics☆26Updated 4 years ago
- Library and tool for parsing .eventlog files from GHC☆33Updated this week
- Provides free functors that are adjoint to functors that forget class constraints.☆27Updated 2 months ago
- An append only list in a compact region☆25Updated 6 years ago
- An experimental intermediate language for GHC☆37Updated 7 years ago
- Benchmarks for use with IntelLabs/flrc.☆10Updated 2 years ago
- Kleene algebra, regular expressions☆32Updated last year
- Dependently typed elimination functions using singletons☆28Updated 3 weeks ago
- "Programs that explain their effects" talk material☆17Updated 6 years ago
- Transactional cache with configurable persistence☆48Updated last year
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 7 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Signature inference for Functional Property Discovery in Haskell☆36Updated 7 years ago
- Uniform interface to reified data type information via Template Haskell☆20Updated 8 months ago
- Safe web routing in haskell☆30Updated last year
- Haskell library for efficiently building up buffers☆26Updated 3 months ago
- A monadic interface for DAG construction.☆24Updated 3 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- ☆18Updated 3 years ago
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 6 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Updated 4 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 5 months ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- Maps using values' monoidal structure during merging☆42Updated 5 months ago