stevana / hot-swapping-state-machinesLinks
An experiment in implementing remote hot code swapping, or dynamic code upgrade, for state machines.
☆21Updated 2 years ago
Alternatives and similar repositories for hot-swapping-state-machines
Users that are interested in hot-swapping-state-machines are comparing it to the libraries listed below
Sorting:
- high-powered optics in a small package☆53Updated 2 months ago
- Strategy game in Haskell (PRs: )☆50Updated 5 years ago
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- Add early return to any do-expression☆47Updated 4 years ago
- Literally the best anonymous records☆36Updated 2 years ago
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆13Updated last week
- ☆49Updated 4 months ago
- A structured concurrency library☆86Updated 8 months ago
- Bidirectional JSON serialization☆40Updated 4 years ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Generate your PureScript types and API client from a Haskell Servant backend.☆31Updated 2 years ago
- ☆18Updated 4 years ago
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- A fast open-union type, suitable for 100+ contained alternatives.☆99Updated last year
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆29Updated 8 months ago
- Hedgehog will eat your typeclass bugs☆56Updated 5 months ago
- Types for ldtk☆16Updated last year
- A simple set of io-uring bindings in Haskell☆28Updated 5 years ago
- OpenTelemetry instrumentation for Servant, compatible with hs-opentelemetry.☆17Updated 5 months ago
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆70Updated last week
- Libraries for the Effectful Haskell effects system☆23Updated 3 years ago
- Haskell JSON schema validator and parser generator☆63Updated 2 years ago
- Calculate Haskell dependency ranges from multiple build plans☆31Updated last month
- A very simple interface for incremental computation using STM in Haskell.☆13Updated 2 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated 3 weeks ago
- Standard module for type-level programming in Haskell☆31Updated 6 years ago