theory-of-computation

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

• mostafatouny / awesome-theoretical-computer-science

  The interdicplinary of Mathematics and Computer Science, Distinguisehed by its emphasis on mathemtical technique and rigour.

  awesomeawesome-listcomputer-sciencelistlistsmathematicstheoretical-computer-sciencetheory-of-computation
  Language:Python 596

• glebec / lambda-talk

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

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

• AnuragAnalog / GateResources

  Here are my GATE CSE 2021 Resources

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

• 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

• parion / theoretical-cs-studymaterials

  Materials that might help studying for introduction to theoretical CS

  theory-of-computationstudy-guide
  52

• zmwangx / rule30

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

  visualizationtheory-of-computation
  Language:Python 30

• yangyang14641 / FundamentalComputationalFluidDynamics

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

  course-homeworkprojectscfdfortranmatlabtheory-of-computationdocumentscodes
  Language:MATLAB 26

• hemangsk / automata-python

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

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

• ASHWIN990 / My-Programming-Books

  My all Programming books available for public to download

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

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

• shashikdm / Theory-of-Computation

  This repository contains various programs related to the theory of computation

  pythonpython3automata-theorydfatheory-of-computation
  Language:Python 13

• justinmeiners / neural-nets-sim

  McCulloch & Pitts neural net simulator.

  neural-netsneural-networkaiartificial-intelligencetheory-of-computationjavascriptcanvassimulator
  Language:JavaScript 11

• kiwi0fruit / ultimate-question

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

  open-ended-evolutionevolutionartificial-lifetheory-of-computationtheory-of-everythingturing-completenessnatural-selectionuniversal-darwinismmeta-ethicsmetaethicsethicsopen-endedness
  Language:CSS 11

• 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

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

• kvrigor / dfa2cfg

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

  context-free-grammardeterministic-finite-automatahomeworktheory-of-computation
  Language:C# 7

• anishLearnsToCode / state-diagram-generator

  theory-of-computation
  Language:TypeScript 6
• Semester-Notes

  madhurimarawat / Semester-Notes

  This repository contains a vast collection of academic notes, study materials, and resources from various semesters of Datascience course.

  computational-biologydigital-logic-designelectronicsentrepreneurshipenvironmental-scienceengineeing-mathslanguage-writing-skillscomputer-networkdatabase-managementdiscrete-mathematicsoperating-systemprobability-statisticstheory-of-computationcomputer-organization-architectureartificial-intelligencedata-visualizationobject-oriented-programmingprofessional-ethicsstudy-materialspython-for-datascience
  Language:HTML 6

• AyoubOuarrak / Finite_State_Machine

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

  automatatheory-of-computationalgorithmsfinite-state-automata
  5

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

• kk4466345 / courses

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

• sachin-duhan / 6-sem-notes

  Complete notes for DTU students | MCE | 6 sem

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

• sevvalmehder / Tur2Spell

  Turing machine implementation for spelling Turkish words

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

• tsunoppy / twoWaySlab

  Two way slab analysis by Fourier Method

  structuredesigntwowayslabjapantheory-of-computationnumpysympyreportlabfourier
  Language:Python 4

• arka816 / fsm

  common algorithms in automata theory - minimization algorithms, regex compilers etc.

  theory-of-computationcomputer-scienceautomata-theoryfinite-state-machine
  Language:Python 3

• CSpyridakis / FL

  Fictional Language to C Trans-compiler

  flexbisonctrans-compilertheory-of-computation
  Language:C 3

• dankolesnikov / DFAtoTuringMachine

  Turing Machine that simulates behavior of any Deterministic Finite Automata

  turing-machinedfadeterministic-finite-automatatheory-of-computationtheoretical-computer-science
  3

• 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# 3

• Furyton / theory-of-computation-notes

  an extended note of theory of computation, currently just include CFG part.

  context-free-grammartheory-of-computation
  Language:TeX 3

• PALASH-BAJPAI / College-Notes

  All semesters computer science handwritten notes

  cloud-computingdata-structuresdbmsnetworkingartificial-intelligencecomputer-visionmachine-learningcomputer-necompiler-designmips-assemblycomputer-architecturetheory-of-computationwebprogramming
  Language:Jupyter Notebook 3

• sanchezcarlosjr / theory-of-computation

  Theory of computation

  theory-of-computationuabcautomata-theorygrammar-parser
  Language:TypeScript 3

• taraokelly / Theory-Of-Computation

  CA and Problem Sheets assigned to expedite the learning of the Theory of Computation, formally named the Theory of Algorithms. Fourth Year, Theory of Algorithms, Software Development.

  functional-programmingracketturing-machinecomputational-complexitytheory-of-computation
  Language:Racket 3