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)

☕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.

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.

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

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

Racket code to demonstrate lambda calculus concepts