Math & CS Awesome List, distinguished by proof and logic and technique
- Updated
Sep 5, 2025 - Python
Math & CS Awesome List, distinguished by proof and logic and technique
These are my programs for compiler design lab work in my sixth semester
Python implementation of Stephen Wolfram's elementary cellular automata (in particular, Rule 30)
[WIP] 📚 A python automata library implementing Finite Automata, FA with Output and PDA
A tool for converting context-free grammars to different normal forms.
This repository contains various programs related to the theory of computation
Turing machine implementation for spelling Turkish words
Investigation into Computation.
online algo app where you check your string is valid or not
This package refers to the topic of automata theory, which includes DFA, NDFA, Mealy machines, Moore machines, Finite state machine and Turing machine.
Markov algorithms interpreter and a Telegram bot to test and manage these via. Many unique self written markov algorithms included. Not maintained. Reffer to https://github.com/faraui/markov instead.
Envy free, Fair Rent Division System for Hostel Rooms. This is a project made as a part of the Project Track in the course ESC101 offered in Spring 2019 at IIT Kanpur.
common algorithms in automata theory - minimization algorithms, regex compilers etc.
🎏 Conversor capaz de traduzir Autômatos Finitos Não Determinísticos em Autômatos Finitos Determinísticos. Projeto desenvolvido utilizando PyQt e JsonSchema, compatível com formatos JFLAP.
Project for the Theory of Computation course @ USI University
In this essay, we discuss about conway's game of life
puzzles, problems, search, sort, graph, constraint, theory, symbolic
Simple program to manipulate NFAs, DFAs and grammars.
The Final Project for EECS 510 - Theory of Computing
Add a description, image, and links to the theory-of-computation topic page so that developers can more easily learn about it.
To associate your repository with the theory-of-computation topic, visit your repo's landing page and select "manage topics."