Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: mealy-machine

Repositories

PrasannaNatarajan/CSD303_TOC

Assignments for the course CSD303 Theory Of Computation

Language: Java - Size: 12.7 MB - Last synced: 19 days ago - Pushed: about 7 years ago - Stars: 2 - Forks: 0

StoneCypher/jssm

Fast, easy Javascript finite state machines with visualizations; enjoy a one liner FSM instead of pages. MIT; Typescripted; 100% test coverage. Implements the FSL language.

Language: JavaScript - Size: 27.5 MB - Last synced: about 1 month ago - Pushed: about 2 months ago - Stars: 300 - Forks: 21

MURABIT-PASHA/Mealy-Machine

Automata Mealy Machine

Language: Python - Size: 63.5 KB - Last synced: about 1 month ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

krasimir/stent

Stent is combining the ideas of redux with the concept of state machines

Language: JavaScript - Size: 732 KB - Last synced: 8 days ago - Pushed: almost 4 years ago - Stars: 687 - Forks: 39

alanveloso/ppgcc-ufpa-ct-2019

Code from Computation Theory course from PPGCC at UFPA with Reginaldo Filho

Language: Python - Size: 9.77 KB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

gaellinkeu/RNN-for-Mealy-Machines

Extracting finite state machine (Mealy Machine) from Recurrent Neural Networks (Many-to-Many)

Language: Jupyter Notebook - Size: 6.03 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

tinverse/tsm

A Typed Hierarchical State Machine Framework in C++

Language: C++ - Size: 30.3 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 39 - Forks: 7

mariateodorapopescu/numerical_computers1_labs

Here are some of my numerical computers1 laboratory assignments that I had in 2nd year

Language: Tcl - Size: 164 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

CamiloCortesM/addressValidator

validation of all addresses in colombia

Language: Python - Size: 931 KB - Last synced: 19 days ago - Pushed: over 1 year ago - Stars: 1 - Forks: 1

ecirsulga/Mealy-Moore-Machine

A simulation of mealy and moore machines.

Language: Java - Size: 9.77 KB - Last synced: 7 months ago - Pushed: over 4 years ago - Stars: 4 - Forks: 0

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 a 2d simulator are provided.

Language: C++ - Size: 70.4 MB - Last synced: 8 months ago - Pushed: about 1 year ago - Stars: 6 - Forks: 2

Four-af/Compiler_Design_Lab

Programs covered in compiler design lab (CEN-603)

Language: C++ - Size: 686 KB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 1

ferrispnugraha/0010-and-100-Sequence-Detector

Mealy Machine with VHDL

Language: VHDL - Size: 765 KB - Last synced: 9 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

thomasvanegas/MealyMachine

En el presente repositorio, se desarrolló una "Mealy Machine" para el curso de Teoría de la computación, la cuál representa en funcionamiento de una máquina expendedora con 9 estados y sus correspondientes salidas. Cabe destacar que el desarrollo se hizo mediante el Software de JFLAP, construido por la universidad de Duke.

Size: 736 KB - Last synced: 10 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

BaseMax/MealyMachines

This repository contains a collection of Mealy machine implementations in PHP for performing various arithmetic operations.

Language: PHP - Size: 24.4 KB - Last synced: about 1 month ago - Pushed: 11 months ago - Stars: 1 - Forks: 0

jtejido/persephone

An Abstract Deterministic Finite State Machine/Transducer

Language: Go - Size: 38.1 KB - Last synced: 11 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

iwilare/categorical-automata

Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2303.03867, https://arxiv.org/pdf/2303.03865, https://arxiv.org/abs/2305.00272

Language: Agda - Size: 569 KB - Last synced: 12 months ago - Pushed: 12 months ago - Stars: 15 - Forks: 1

octaharon/yantrix

FSM Frawework on steroids [WIP]

Language: TypeScript - Size: 415 KB - Last synced: 12 months ago - Pushed: 12 months ago - Stars: 0 - Forks: 1

illusior/study-automata

Course on automatic machines

Language: C++ - Size: 107 KB - Last synced: almost 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

MuballighHossain/Mealy_Machine_VLSI

Language: Verilog - Size: 83 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

JoelRomero97/Sistemas-Digitales

Implementaciones para diseño de sistemas digitales, comenzando por Flip Flops, registros, autómatas (Máquinas de Moore y Máquinas de Mealy), memorias ROM y sensores de presencia, utilizando para cada uno de estos, distintos contadores (anillo, década, etc).

Language: VHDL - Size: 4.22 MB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 5 - Forks: 1