A very simple interface for incremental computation using STM in Haskell.
☆13Feb 25, 2026Updated last month
Alternatives and similar repositories for stm-incremental
Users that are interested in stm-incremental are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Funny little Haskell impl☆18Oct 28, 2020Updated 5 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairs☆14Jan 14, 2022Updated 4 years ago
- "operating system" based on the calculus of constructions☆18Jun 22, 2022Updated 3 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago
- Directed Acyclic Graphs☆21Jan 12, 2025Updated last year
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 7 years ago
- An implementation of first-class pattern matches in Haskell.☆13Feb 25, 2026Updated last month
- A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Dec 10, 2017Updated 8 years ago
- generate contextually sensible fuzz tests for servant apps☆26Oct 7, 2025Updated 5 months ago
- So, you want to write a DSL interpreter...☆25Nov 20, 2018Updated 7 years ago
- The full template for "Automating the Build of your Technical Presentation"☆26Sep 24, 2017Updated 8 years ago
- being the emperor of Mongo, but also a verb☆15Dec 25, 2018Updated 7 years ago
- ☆21Dec 28, 2025Updated 2 months ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 6 years ago
- A contention-free STM hash map for Haskell☆14Oct 30, 2021Updated 4 years ago
- Generate Elm type definitions and json encoders/decoders from Haskell types.☆27Jul 23, 2025Updated 8 months ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Sep 26, 2018Updated 7 years ago
- Proofs of the number of inhabitants of polymorphic functions☆23Jul 19, 2018Updated 7 years ago
- ☆26Nov 19, 2020Updated 5 years ago
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically☆21Jan 30, 2024Updated 2 years ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Feb 25, 2026Updated last month
- Interact with a JSON-serialized API defined by a GADT in your reflex-dom application☆20Oct 19, 2025Updated 5 months ago
- Library to integrate eta wai applications with servlet api☆18Jan 9, 2019Updated 7 years ago
- Haskell library for parsing v1.0 TOML files☆16Apr 22, 2025Updated 11 months ago
- An implementation of the actor model in Haskell using STM☆17Feb 25, 2026Updated last month
- A Generic implementation of data-has.☆22May 15, 2020Updated 5 years ago
- Typed filepath in haskell☆17Jul 8, 2022Updated 3 years ago
- A realworld implementation using purescript-deku☆10Apr 28, 2024Updated last year
- Haskell typechecker☆39May 7, 2019Updated 6 years ago
- Hopefully verifiable code generation in GHC☆93May 10, 2017Updated 8 years ago
- A library to work with CRDTs in rust☆16Dec 15, 2023Updated 2 years ago
- A fast globally unique variable supply with a pure API☆19Jun 26, 2023Updated 2 years ago
- Higher-order FRP for PureScript☆13Dec 24, 2022Updated 3 years ago
- Minimal Haskell Compiler☆63Mar 26, 2018Updated 7 years ago
- All the byte bashing you didn't know you wanted in Haskell.☆21Aug 7, 2021Updated 4 years ago
- Bidirectional JSON serialization☆40Mar 21, 2021Updated 5 years ago
- A formal verification of Linear Temporal Logic in Coq☆23Mar 17, 2026Updated last week
- A no frills CLI argument parser for PureScript.☆20May 3, 2022Updated 3 years ago