statebox / fsm-oracle
Finite state machines as graphs
☆59Updated 4 years ago
Alternatives and similar repositories for fsm-oracle:
Users that are interested in fsm-oracle are comparing it to the libraries listed below
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago
- A framework for applied category theory in the Julia language☆11Updated 2 years ago
- ☆44Updated 2 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- HoTT Note-taking action☆25Updated 5 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆55Updated 6 years ago
- re-startable monad that recover the execution state from a log, and workflow patterns☆43Updated 8 years ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- A streaming PostgreSQL logical replication client library for Haskell☆39Updated last year
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- State machines in Idris☆36Updated 8 years ago
- Haskell Join-calculus DSL☆22Updated 6 years ago
- An HTTP library for idris☆39Updated 6 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 8 months ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆59Updated 7 years ago
- ☆68Updated 2 years ago
- A toolkit for building multi-result supercompilers☆30Updated 3 years ago
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 7 years ago
- ☆38Updated 5 years ago
- CQL: Categorical Query Language implementation in Haskell☆168Updated last year
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 7 years ago
- So, you want to write a DSL interpreter...☆25Updated 6 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- WebAssembly Code Generation Backend for Idris Compiler☆82Updated 6 years ago
- n queens with the logic monad☆20Updated 10 years ago