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
- A framework for applied category theory in the Julia language☆11Updated 2 years ago
- HoTT Note-taking action☆25Updated 6 years ago
- Haskell Join-calculus DSL☆22Updated 6 years ago
- State machines in Idris☆37Updated 8 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 9 months ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- ☆44Updated 2 years ago
- Blockchain Technology for the Working Mathematician☆24Updated 7 years ago
- A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".☆26Updated 8 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆26Updated 7 years ago
- Dhall helpers for github actions☆54Updated last year
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Double ratchet algorithm for E2E encryption☆59Updated 6 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆55Updated 6 years ago
- ☆20Updated 5 years ago
- A streaming PostgreSQL logical replication client library for Haskell☆39Updated last year
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆26Updated 6 years ago
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 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
- An Idris type provider for communicating type-checkable protocols.☆26Updated 7 years ago
- A logical authorization system☆50Updated 3 years ago
- Port of Scala/Haskell Refined library to Idris☆17Updated 3 years ago
- ☆40Updated 6 years ago
- ☆67Updated 2 years ago
- Book: Introduction to Dependent Types with Idris☆77Updated 2 years ago
- oleg modules☆30Updated 12 years ago
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 7 years ago
- A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.☆20Updated 3 years ago