theory-of-computation
There are 235 repositories under theory-of-computation topic.
mostafatouny/awesome-theoretical-computer-science
Math & CS Awesome List, distinguished by proof and logic and technique
glebec/lambda-talk
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
AnuragAnalog/GateResources
Here are my GATE CSE 2021 Resources
parion/theoretical-cs-studymaterials
Materials that might help studying for introduction to theoretical CS
PratikSavla/compiler-design-lab
These are my programs for compiler design lab work in my sixth semester
Aparnaraha/Gate2024
here the notes provided by the seniors who already cracked IITs as well as how much I'll cover for my exams I'll provide my notes as well. If you want you can access the course by these links also
karthik-saiharsh/fsm-engine
A Figma like Editor to Design Custom Finite State Machines
etiamz/optiscope
A Lévy-optimal lambda calculus reducer with a backdoor to C
madhurimarawat/Semester-Notes
This repository includes academic notes, study materials, and resources from B.Tech (Hons) in CSE, specializing in Artificial Intelligence and Data Science. It features question papers, proprietary study guides, and resources to support learning in these fields.
zmwangx/rule30
Python implementation of Stephen Wolfram's elementary cellular automata (in particular, Rule 30)
yangyang14641/FundamentalComputationalFluidDynamics
:coffee:Graduate Student's Fundamental Computational Fluid Dynamics (CFD) Course's homework and projects
ASHWIN990/My-Programming-Books
My all Programming books available for public to download
hemangsk/automata-python
[WIP] :books: A python automata library implementing Finite Automata, FA with Output and PDA
justinmeiners/neural-nets-sim
McCulloch & Pitts neural net simulator.
mahshidhp/cfg-converter
A tool for converting context-free grammars to different normal forms.
shashikdm/Theory-of-Computation
This repository contains various programs related to the theory of computation
kiwi0fruit/ultimate-question
Open-ended natural selection of interacting code-data-dual algorithms as a property analogous to Turing completeness.
Amey-Thakur/THEORY-OF-COMPUTER-SCIENCE
CSC504: Theory of Computer Science [TCS] <Semester V>
fcortes/turing-machine-simulator
Simple turing machine simulator using the syntax of the online simulator at turingmachinesimulator.com
junzew/LambdaCalculus
Racket code to demonstrate lambda calculus concepts
kvrigor/dfa2cfg
Naive GUI app for generating the context-free grammar (CFG) from an input deterministic finite automaton (DFA).
GauravJain28/TOC-Problem-Sets
Solution of the problem sets of the course COL352- Introduction to Automata and Theory of Computation offered in Second (Holi) Semester 2021-22.
tsunoppy/twoWaySlab
Two way slab analysis by Fourier Method
AyoubOuarrak/Finite_State_Machine
C++ implementation of the DFA, NFA and e-NFA
bwang1008/TMCompiler
Convert C++-like code into a Turing Machine representation
kidwai/papers
some useful papers.
mattwolf-corporation/lambda-calculus-in-js
Lambda Kalkül für praktisches vanilla JavaScript - IP5 HS2019 / IP6 HS2020
sachin-duhan/6-sem-notes
Complete notes for DTU students | MCE | 6 sem
DigitMan27/UniversalTuringMachine
This is a universal Turing Machine Application in which you can simulate any Deterministc Turing Machine. Written in C#(.NET 5)
iamareebjamal/nfa-dfa-coverter
A C++ program to convert NFA to DFA
LebrancWorkshop/Lebranc-Learn-Functional-Programming
I'm learning a Functional Programming by learning its pure math concepts and apply it on functional language like Haskell, Clojure, Elixir, etc.
sevvalmehder/Tur2Spell
Turing machine implementation for spelling Turkish words
Electrostat-Lab/Future-Minds-Contributions
A contribution depot for the Future Minds Initiative provided by the Electrostat-Lab.
SazzadSowmik/CFL_REACHABILITY
The CFL Reachability problem involves determining whether there is a path in a graph where the concatenation of edge labels along the path forms a string that belongs to a given context-free language.