statebox / fsm-oracleLinks
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
Sorting:
- HoTT Note-taking action☆25Updated 6 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- ☆44Updated 2 years ago
- Haskell Join-calculus DSL☆24Updated 6 years ago
- Some CRDT implementations in Datalog☆16Updated 6 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- A small profunctor library for idris☆17Updated 2 years ago
- A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".☆26Updated 8 years ago
- Blockchain Technology for the Working Mathematician☆24Updated 7 years ago
- A framework for applied category theory in the Julia language☆11Updated 2 years ago
- State machines in Idris☆37Updated 8 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- A Unison Github repo explorer in Elm☆34Updated 3 years ago
- ☆16Updated 5 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆56Updated 6 years ago
- User-contributed extensions to diagrams☆27Updated 2 weeks ago
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- An experimental native Haskell graph database☆61Updated 6 years ago
- An HTTP library for idris☆39Updated 6 years ago
- ☆69Updated 2 years ago
- A streaming PostgreSQL logical replication client library for Haskell☆39Updated last year
- re-startable monad that recover the execution state from a log, and workflow patterns☆43Updated 9 years ago
- Slides & demos for talks I do☆58Updated 4 years ago
- ☆20Updated 6 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- Concurrency library inspired by Erlang/OTP☆18Updated 3 weeks ago
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago