Finite state machines as graphs
☆60Jun 23, 2020Updated 5 years ago
Alternatives and similar repositories for fsm-oracle
Users that are interested in fsm-oracle are comparing it to the libraries listed below
Sorting:
- formally verified category theory library☆270Jun 23, 2020Updated 5 years ago
- ACT community resources☆471Nov 26, 2019Updated 6 years ago
- Clojure library to explore inversion of control technique - in several senses.☆10May 14, 2024Updated last year
- Closure calculus implementation☆12Jun 25, 2019Updated 6 years ago
- Use GHC's Memory Allocator from C☆12Feb 22, 2020Updated 6 years ago
- opt-in runtime introspection☆12Jul 29, 2022Updated 3 years ago
- A reducer enhancer for using an xstate chart with redux☆13Mar 5, 2018Updated 8 years ago
- Efficient-Gas Fixed-Point Mathematical Functions for Solidity☆11Nov 1, 2019Updated 6 years ago
- Algebraic Graphs in Scala☆27Aug 13, 2021Updated 4 years ago
- A pointer type for heap-allocated objects which heap storage can be re-used☆14Sep 8, 2024Updated last year
- Structured decompositions!☆15Mar 26, 2025Updated 11 months ago
- Experimental strongly typed state machine library.☆16Nov 21, 2023Updated 2 years ago
- Contractual Semver☆28Apr 16, 2022Updated 3 years ago
- Operad Programming Language in Haskell, by David Darais☆33Apr 1, 2014Updated 11 years ago
- Package URL implementation for Rust☆14Dec 8, 2025Updated 2 months ago
- ☆14Feb 2, 2023Updated 3 years ago
- string diagrams for the working programmer☆14Jul 17, 2023Updated 2 years ago
- Re-frame supplimentary library routing dispatched events via statecharts implementing finite state machines.☆52Jan 7, 2023Updated 3 years ago
- Type definitions and low level interface implementations for the W3C DOM spec☆35Oct 29, 2023Updated 2 years ago
- See the docs and live playground here☆13Dec 10, 2022Updated 3 years ago
- Utilities for making your applications more debuggable.☆16Dec 4, 2024Updated last year
- ☆19Aug 4, 2025Updated 7 months ago
- Symbolic Geometric Algebra with E-Graphs☆19Oct 11, 2023Updated 2 years ago
- A package manager for Idris☆185Jul 16, 2020Updated 5 years ago
- A Result type that differentiates between local errors (which can be handled) and fatal errors (which can't)☆21May 25, 2022Updated 3 years ago
- A low level Haskell library to connect to postgres☆25Sep 15, 2022Updated 3 years ago
- Monad transformers for exception handling☆17Aug 19, 2024Updated last year
- ☆16Jan 21, 2026Updated last month
- Tasking 2.0☆16Nov 1, 2021Updated 4 years ago
- Dual Number library for Rust☆17Apr 29, 2021Updated 4 years ago
- 2048 game in clojure with terminal output☆15Sep 25, 2020Updated 5 years ago
- Dynamic Markov Blanket Discovery☆16Mar 27, 2024Updated last year
- Example TodoMVC powered by fulcro, pathom, and hasura☆15Mar 9, 2021Updated 4 years ago
- ☆45Jun 11, 2023Updated 2 years ago
- An autodiscover library for Rust☆19Jul 8, 2020Updated 5 years ago
- A Clojure+Script asynchronous streams API - with error-propagation and transparent chunking☆17Apr 29, 2023Updated 2 years ago
- A fast GraphQL Parser for Clojure☆19May 11, 2018Updated 7 years ago
- A drop-in replacement for the Rust standard library TCP listener with TLSv1.2 enabled.☆18Aug 18, 2016Updated 9 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago