Awesome Open Source

Programming Languages

Search results for docker automaton

4 search results found

Automata ⭐ 43

An editor for deterministic finite automata

Automata ⭐ 12

Discord bot handling the management of the MUN Computer Science Society Discord server.

Jflap but in the Rust programming language and React framework for Javascript. Made by Misha Ryabko (https://www.github.com/Reisande) and Chris Cortina (https://github.com/heldeo)

Pfaces Omegathreads ⭐ 6

OmegaThreads constructs automatically correct-bu-construction controllers for dynamical systems to satisfy Omega-regular specifications given as discrete parity automata (DPA) or linear temporal logic (LTL) formulae. It constructs a symbolic model of the system and combine it with the specification into a parity game. Winning the parity game results into a closed-loop controller that enforces the specification on the system. The controller is generated as a Mealy machine. A Python interface and

Related Searches

Shell Docker (20,660)

Docker Dockerfile (16,395)

Python Docker (16,341)

Javascript Docker (10,426)

Golang Docker (7,702)

Php Docker (6,192)

Java Docker (6,071)

Docker Nginx (5,238)

Typescript Docker (4,630)

Docker Postgresql (4,363)

1-4 of 4 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.