theory-of-computation
Here are 240 public repositories matching this topic...
Language:All
Sort:Most stars
Math & CS awesome List, distinguished by proof and logic technique
- Updated
Sep 5, 2025 - Python
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
- Updated
Feb 3, 2024 - JavaScript
Here are my GATE CSE 2021 Resources
- Updated
Feb 26, 2021
These are my programs for compiler design lab work in my sixth semester
- Updated
May 25, 2022 - Python
Materials that might help studying for introduction to theoretical CS
- Updated
Sep 8, 2020
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
- Updated
Jan 24, 2025
A Figma like Editor to Design Custom Finite State Machines
- Updated
Dec 17, 2025 - JavaScript
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.
- Updated
Jun 26, 2025 - HTML
A Lévy-optimal lambda calculus reducer with a backdoor to C
- Updated
Oct 15, 2025 - C
Python implementation of Stephen Wolfram's elementary cellular automata (in particular, Rule 30)
- Updated
May 27, 2017 - Python
☕Graduate Student's Fundamental Computational Fluid Dynamics (CFD) Course's homework and projects
- Updated
May 16, 2018 - MATLAB
My all Programming books available for public to download
- Updated
Jan 12, 2021
[WIP] 📚 A python automata library implementing Finite Automata, FA with Output and PDA
- Updated
Feb 22, 2022 - Python
McCulloch & Pitts neural net simulator.
- Updated
Aug 24, 2022 - JavaScript
A tool for converting context-free grammars to different normal forms.
- Updated
Feb 7, 2023 - Python
This repository contains various programs related to the theory of computation
- Updated
Jan 13, 2019 - Python
Open-ended natural selection of interacting code-data-dual algorithms as a property analogous to Turing completeness.
- Updated
May 26, 2024
CSC504: Theory of Computer Science [TCS] <Semester V>
- Updated
Mar 13, 2024
Simple turing machine simulator using the syntax of the online simulator at turingmachinesimulator.com
- Updated
Oct 15, 2024 - C++
Racket code to demonstrate lambda calculus concepts
- Updated
Oct 4, 2020 - Racket
Improve this page
Add a description, image, and links to thetheory-of-computation topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thetheory-of-computation topic, visit your repo's landing page and select "manage topics."