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

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

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

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.

Materials that might help studying for introduction to theoretical CS

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)

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

My all Programming books available for public to download

[WIP] 📚 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.

Computation Theory Simulator is an interactive, canvas-first web application for building, editing, converting, and simulating multiple automata models used in formal languages and automata theory courses.

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

This repository contains various programs related to the theory of computation

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

Unified Theory of Computation suite: FA, PDA, TM, Grammar Studio, and Mealy/Moore with interactive simulations.