Math & CS awesome List, distinguished by proof and logic technique

A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS

Here are my GATE CSE 2021 Resources

These are my programs for compiler design lab work in my sixth semester

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

Materials that might help studying for introduction to theoretical CS

A comprehensive, well-structured repository of B.Tech (Hons) CSE notes and learning resources, specializing in Artificial Intelligence and Data Science. Includes semester-wise notes, question papers, curated study guides, and indexed materials designed for efficient learning, revision, and academic reference.

A Figma like Editor to Design Custom Finite State Machines

A Lévy-optimal lambda calculus reducer with a backdoor to C

Python implementation of Stephen Wolfram's elementary cellular automata (in particular, Rule 30)

:coffee:Graduate Student's Fundamental Computational Fluid Dynamics (CFD) Course's homework and projects

My all Programming books available for public to download

[WIP] :books: A python automata library implementing Finite Automata, FA with Output and PDA

Neural net simulator (McCulloch & Pitts)

A tool for converting context-free grammars to different normal forms.

This repository contains various programs related to the theory of computation

CSC504: Theory of Computer Science [TCS] | TE Semester V | Computer Engineering

Open-ended natural selection of interacting code-data-dual algorithms as a property analogous to Turing completeness.

A simulator for theory of computation course

Simple turing machine simulator using the syntax of the online simulator at turingmachinesimulator.com

Racket code to demonstrate lambda calculus concepts

Naive GUI app for generating the context-free grammar (CFG) from an input deterministic finite automaton (DFA).

Two way slab analysis by Fourier Method

No description provided.

Convert C++-like code into a Turing Machine representation

Solution of the problem sets of the course COL352- Introduction to Automata and Theory of Computation offered in Second (Holi) Semester 2021-22.

some useful papers.

Lambda Kalkül für praktisches vanilla JavaScript - IP5 HS2019 / IP6 HS2020

C++ implementation of the DFA, NFA and e-NFA

GPU-accelerated synthesizer of symbolic controllers for nonlinear systems, scalable to any model and dimension.