theory-of-computation

There are 9 repositories under theory-of-computation topic.

• mostafatouny / awesome-theoretical-computer-science

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

  awesomeawesome-listlistliststheoretical-computer-sciencetheory-of-computationmathematicscomputer-science
  Language:Python 989

• glebec / lambda-talk

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

  lambda-calculuschurch-encodingscompositionfunctional-programmingmathematicstheory-of-computationjavascriptcombinatory-logiccombinatorscurrying
  Language:JavaScript 531

• AnuragAnalog / GateResources

  Here are my GATE CSE 2021 Resources

  gatecseaptitudeengineering-mathematicsdigital-logiccoaprogrammingdata-structuresalgorithmstheory-of-computationcompiler-designosdbmscn2021resources
  156

• parion / theoretical-cs-studymaterials

  Materials that might help studying for introduction to theoretical CS

  theory-of-computationstudy-guide
  60

• PratikSavla / compiler-design-lab

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

  pythonpython-3regular-expressionnfaregexregular-expression-to-nfacompiler-designtheory-of-computationlexical-analyzerlexical-analysiseliminate-left-recursionleft-recursion-elimination
  Language:Python 59

• 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

  algorithmsaptitudecompiler-designcomputer-networkscomputer-organisation-architechuredata-structuresdatabase-managementdbmsdigital-logicdiscrete-mathematicsengineering-mathematicsoperating-systemprogrammingprogramming-in-ctheory-of-computationtocgategate-notesgate2024graduate-aptitude-test
  45

• etiamz / optiscope

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

  functional-programminggraph-reductionhigher-order-functionslambda-calculusoptimal-reductionbeta-reductionevaluationinterpretertheory-of-computation
  Language:C 38

• karthik-saiharsh / fsm-engine

  A Figma like Editor to Design Custom Finite State Machines

  automataautomata-theorycomputation-theorydfaeditorfinite-state-machinefsmnfatheory-of-computationfigmakonvamachinesreactreact-konvacollaborate
  Language:TypeScript 38
• Semester-Notes

  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.

  digital-logic-designentrepreneurshipenvironmental-scienceengineeing-mathslanguage-writing-skillscomputer-networkdatabase-managementdiscrete-mathematicsoperating-systemprobability-statisticstheory-of-computationcomputer-organization-architectureartificial-intelligencedata-visualizationobject-oriented-programmingprofessional-ethicsstudy-materialspython-for-datasciencesemester-notessemester
  Language:HTML 37

• zmwangx / rule30

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

  theory-of-computationvisualization
  Language:Python 31

• yangyang14641 / FundamentalComputationalFluidDynamics

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

  course-homeworkprojectscfdfortranmatlabtheory-of-computationdocumentscodes
  Language:MATLAB 25

• ASHWIN990 / My-Programming-Books

  My all Programming books available for public to download

  cc-programmingbookbooksprogramming-booksgccgcc-compilergcc-bookspythonpython3python3-bookstoctheory-of-computationosoperating-systemcheatsheet
  23

• hemangsk / automata-python

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

  theory-of-computationautomatadeterministic-fanon-deterministic-famealy-to-mooremoore-to-mealydfa-to-ndfandfa-to-dfa
  Language:Python 22

• justinmeiners / neural-nets-sim

  McCulloch & Pitts neural net simulator.

  aiartificial-intelligencecanvasjavascriptneural-netsneural-networksimulatortheory-of-computation
  Language:JavaScript 20

• mahshidhp / cfg-converter

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

  chomsky-normal-formcontext-free-grammargreibach-normal-formtheory-of-computation
  Language:Python 19

• shashikdm / Theory-of-Computation

  This repository contains various programs related to the theory of computation

  pythonpython3automata-theorydfatheory-of-computation
  Language:Python 14

• kiwi0fruit / ultimate-question

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

  artificial-lifeethicsevolutionmeta-ethicsmetaethicsnatural-selectionopen-ended-evolutionopen-endednesstheory-of-computationtheory-of-everythingturing-completenessuniversal-darwinism
  13

• Amey-Thakur / THEORY-OF-COMPUTER-SCIENCE

  CSC504: Theory of Computer Science [TCS] <Semester V>

  computer-sciencecomputer-engineeringengineeringtheory-of-computationtextbooksameythakurameymegasatish
  10

• fcortes / turing-machine-simulator

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

  turing-machinetheory-of-computationtheoretical-computer-scienceturing-machine-simulator
  Language:C++ 9

• junzew / LambdaCalculus

  Racket code to demonstrate lambda calculus concepts

  lambda-calculusrackettheory-of-computation
  Language:Racket 9

• kvrigor / dfa2cfg

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

  theory-of-computationcontext-free-grammardeterministic-finite-automatahomework
  Language:C# 7

• anishLearnsToCode / state-diagram-generator

  theory-of-computation
  Language:TypeScript 6

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

  automatacontext-free-grammardfanfatheory-of-computationturing-machine
  Language:TeX 6

• tsunoppy / twoWaySlab

  Two way slab analysis by Fourier Method

  structuredesigntwowayslabjapantheory-of-computationnumpysympyreportlabfourier
  Language:Python 6

• AyoubOuarrak / Finite_State_Machine

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

  automatatheory-of-computationalgorithmsfinite-state-automata
  5

• bwang1008 / TMCompiler

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

  compilertheory-of-computationturing-machine
  Language:C++ 5

• kidwai / papers

  some useful papers.

  cryptographydecentralized-financedistributed-computinggraph-theorymarket-microstructureoptions-pricingtheory-of-computation
  5
• lambda-calculus-in-js

  mattwolf-corporation / lambda-calculus-in-js

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

  javascriptlambda-calculusfunctional-jsfunctional-programminglambdachurch-encodingtest-frameworkimmutableimmutable-datastructurescurryingcombinatory-logiccompositiontheory-of-computation
  Language:JavaScript 5

• sachin-duhan / 6-sem-notes

  Complete notes for DTU students | MCE | 6 sem

  notescomputer-networkprofessional-ethicssoftwaretheory-of-computationfinancial-engineeringsoftware-development
  Language:PLSQL 5

• DigitMan27 / UniversalTuringMachine

  This is a universal Turing Machine Application in which you can simulate any Deterministc Turing Machine. Written in C#(.NET 5)

  turing-machineuniversal-turing-machinecross-platformdotnet5csharpdesktop-applicationsimulatortheory-of-computationturing-machine-simulator
  Language:C# 4

• iamareebjamal / nfa-dfa-coverter

  A C++ program to convert NFA to DFA

  automatatheory-of-computationautomata-generators
  Language:C++ 4

• kk4466345 / courses

  iitkcourseoperating-systemtheory-of-computationalgrithm-2algorithms
  Language:HTML 4

• praisetompane / computation

  Investigation into Computation.

  hardwaretheory-of-computationnetworksmathematics-of-computingcomputer-organizationcomputing-methodologiessoftware-and-its-engineering
  Language:Python 4

• sevvalmehder / Tur2Spell

  Turing machine implementation for spelling Turkish words

  spellingturing-machine-simulatorturing-machinetheory-of-computation
  Language:Python 4

• Electrostat-Lab / Future-Minds-Contributions

  A contribution depot for the Future Minds Initiative provided by the Electrostat-Lab.

  cyberneticsdiscrete-mathematicsdistributed-simulationselectrostat-labguidelinespure-mathematicssafety-critical-systemsscientific-initiationsoftware-engineeringtheory-of-computationelectrostatic-sandbox-sdkfuture-minds
  3

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

  cflstatic-analysistheory-of-computationcyk-algorithmdfscfgcnf
  Language:C++ 3