ekmett / speculationLinks
Safe, programmable, speculative evaluation for Haskell
☆29Updated 7 years ago
Alternatives and similar repositories for speculation
Users that are interested in speculation are comparing it to the libraries listed below
Sorting:
- An append only list in a compact region☆25Updated 7 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 9 years ago
- Constraint-based generics☆49Updated last year
- Dependently typed elimination functions using singletons☆28Updated 10 months ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆49Updated 11 months ago
- Serializable closures for distributed programming.☆65Updated last year
- Haskell Standard Input and Output☆46Updated 7 years ago
- Playing with https://github.com/ekmett/machines☆51Updated 8 years ago
- Kleene algebra, regular expressions☆33Updated 2 years ago
- Transactional cache with configurable persistence☆45Updated 2 years ago
- Deep embedding of imperative programs with code generation☆23Updated 3 years ago
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Updated 11 years ago
- Monad morphisms☆51Updated last month
- Type-safe time units in Haskell