Create and simulate finite state machines in your browser. Includes interactive exercises.
☆11Nov 4, 2017Updated 8 years ago
Alternatives and similar repositories for FSM-Workbench
Users that are interested in FSM-Workbench are comparing it to the libraries listed below
Sorting:
- Creates a standardised output of the contents of A GTM account☆10Jan 20, 2020Updated 6 years ago
- A protobuf plugin to generate parquet schemas.☆13Mar 9, 2022Updated 3 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- A Rust crate enabling generalized Interval representations and operations☆12Nov 3, 2024Updated last year
- Conway's Game of Life implemented in Elm☆11Sep 30, 2024Updated last year
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- KiCad part library for modular synth builder.☆10Jan 9, 2025Updated last year
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated last year
- Yet Another SDP Solver☆10Dec 19, 2015Updated 10 years ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last month
- Single-page application demo leveraging Vue.js, Node.js and MongoDB☆12Updated this week
- Merge PRs on a specified date using Labels☆12Jan 9, 2023Updated 3 years ago
- Enter bookmarks in the command line, and have them published to a repo to share with your friends!☆11Apr 5, 2023Updated 2 years ago
- arduino clone of the Turing Machine eurorack modular synth module☆12May 17, 2019Updated 6 years ago
- Ansible playbook and Vagrant box to run a private WebPagetest server and Chrome agent, running all on one system☆11Oct 1, 2014Updated 11 years ago
- Ideas on how to make Elm faster☆19Feb 9, 2026Updated 3 weeks ago
- Rebel Technology Mix modules☆11Jul 20, 2017Updated 8 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Feb 18, 2026Updated last week
- python bindings to android debug bridge (adb)☆21Oct 1, 2013Updated 12 years ago
- Network forensics tool to parse pcap and provide visualizations using D3.js☆15Aug 19, 2013Updated 12 years ago
- Simulate network conditions☆21Aug 5, 2013Updated 12 years ago
- Chess Engine written in Haskell☆15Jul 6, 2018Updated 7 years ago
- On Lipschitz Regularization of Convolutional Layers using Toeplitz Matrix Theory☆10Aug 19, 2021Updated 4 years ago
- An http2 stack living on top of scapy☆11Oct 24, 2018Updated 7 years ago
- ☆14Jul 29, 2023Updated 2 years ago
- Documentation of the hardware and software of the Mazda Infotainment system☆15Apr 24, 2023Updated 2 years ago
- First-order automated theorem prover based on the tableau method☆18Jan 3, 2026Updated 2 months ago
- Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming.☆14Jun 28, 2021Updated 4 years ago
- WOFF2 font parser☆12Aug 13, 2015Updated 10 years ago
- A collection of DaisyDuino code examples for the Daisy Patch.Init() Eurorack module☆14Dec 29, 2022Updated 3 years ago
- ☆13Jan 20, 2023Updated 3 years ago
- Grids pattern generator for Droid (modular synths)☆16Aug 31, 2022Updated 3 years ago
- Develop with Zephyr locally using Docker containers☆13Dec 17, 2023Updated 2 years ago
- ☆11Updated this week
- ☆19Feb 13, 2026Updated 2 weeks ago
- ☆13Jun 1, 2017Updated 8 years ago
- A Lean 4 package for heavy numerical computations☆20Jan 16, 2022Updated 4 years ago
- Yeoman generator for Seneca node.js micro-services and -clients, with basic boilerplate and packaging.☆10Jun 3, 2015Updated 10 years ago