Topic: "theory-of-computation"
mostafatouny/awesome-theoretical-computer-science
The interdicplinary of Mathematics and Computer Science, Distinguisehed by its emphasis on mathemtical technique and rigour.
Language: Python - Size: 826 KB - Last synced at: 6 days ago - Pushed at: 2 months ago - Stars: 845 - Forks: 50
glebec/lambda-talk
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
Language: JavaScript - Size: 476 KB - Last synced at: 6 months ago - Pushed at: over 1 year ago - Stars: 514 - Forks: 42
AnuragAnalog/GateResources
Here are my GATE CSE 2021 Resources
Size: 45.4 MB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 132 - Forks: 42
PratikSavla/compiler-design-lab
These are my programs for compiler design lab work in my sixth semester
Language: Python - Size: 60.5 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 52 - Forks: 22
parion/theoretical-cs-studymaterials
Materials that might help studying for introduction to theoretical CS
Size: 56.9 MB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 44 - Forks: 6
zmwangx/rule30
Python implementation of Stephen Wolfram's elementary cellular automata (in particular, Rule 30)
Language: Python - Size: 1.33 MB - Last synced at: 25 days ago - Pushed at: almost 8 years ago - Stars: 31 - Forks: 0
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
Size: 1.31 GB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 28 - Forks: 3
ASHWIN990/My-Programming-Books
My all Programming books available for public to download
Size: 294 MB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 23 - Forks: 11
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.
Language: HTML - Size: 2.41 GB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 22 - Forks: 2
hemangsk/automata-python
[WIP] :books: A python automata library implementing Finite Automata, FA with Output and PDA
Language: Python - Size: 88.9 KB - Last synced at: 30 days ago - Pushed at: about 3 years ago - Stars: 22 - Forks: 3
justinmeiners/neural-nets-sim
McCulloch & Pitts neural net simulator.
Language: JavaScript - Size: 10.2 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 18 - Forks: 2
kiwi0fruit/ultimate-question
Open-ended natural selection of interacting code-data-dual algorithms as a property analogous to Turing completeness.
Size: 33.7 MB - Last synced at: about 1 month ago - Pushed at: 12 months ago - Stars: 13 - Forks: 0
Amey-Thakur/THEORY-OF-COMPUTER-SCIENCE
CSC504: Theory of Computer Science [TCS] <Semester V>
Size: 220 MB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 10 - Forks: 3
shashikdm/Theory-of-Computation
This repository contains various programs related to the theory of computation
Language: Python - Size: 32.2 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 10 - Forks: 4
fcortes/turing-machine-simulator
Simple turing machine simulator using the syntax of the online simulator at turingmachinesimulator.com
Language: C++ - Size: 22.5 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 9 - Forks: 4
junzew/LambdaCalculus
Racket code to demonstrate lambda calculus concepts
Language: Racket - Size: 137 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 9 - Forks: 0
kvrigor/dfa2cfg
Naive GUI app for generating the context-free grammar (CFG) from an input deterministic finite automaton (DFA).
Language: C# - Size: 237 KB - Last synced at: about 1 year ago - Pushed at: almost 8 years ago - Stars: 7 - Forks: 2
anishLearnsToCode/state-diagram-generator
Language: TypeScript - Size: 8.23 MB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 6 - Forks: 2
kidwai/papers
some useful papers.
Size: 28.3 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 0
mattwolf-corporation/lambda-calculus-in-js
Lambda Kalkül für praktisches vanilla JavaScript - IP5 HS2019 / IP6 HS2020
Language: JavaScript - Size: 1.88 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 1
sachin-duhan/6-sem-notes
Complete notes for DTU students | MCE | 6 sem
Language: PLSQL - Size: 286 MB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 5 - Forks: 4
AyoubOuarrak/Finite_State_Machine
C++ implementation of the DFA, NFA and e-NFA
Size: 293 KB - Last synced at: almost 2 years ago - Pushed at: over 11 years ago - Stars: 5 - Forks: 0
praisetompane/computation
An attempt at unpacking computation and implementation of computing machines in layman's terms.
Language: Python - Size: 58.4 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 4 - Forks: 2
kk4466345/courses
Language: HTML - Size: 502 MB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 0
iamareebjamal/nfa-dfa-coverter
A C++ program to convert NFA to DFA
Language: C++ - Size: 32.2 KB - Last synced at: about 2 months ago - Pushed at: over 8 years ago - Stars: 4 - Forks: 0
Electrostat-Lab/Future-Minds-Contributions
A contribution depot for the Future Minds Initiative provided by the Electrostat-Lab.
Size: 40 KB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 3 - Forks: 2
samyam81/TheoryOfComputation
This is a repository created to store the questions related to theory of Computation. This maynot be the most efficient way of solving the problem.
Language: Java - Size: 10.7 KB - Last synced at: about 2 months ago - Pushed at: 12 months ago - Stars: 3 - Forks: 0
Mohammedvaraliya/AutomaPy
This package refers to the topic of automata theory, which includes DFA, NDFA, Mealy machines, Moore machines, Finite state machine and Turing machine.
Language: Python - Size: 78.1 KB - Last synced at: 22 days ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0
sanchezcarlosjr/theory-of-computation
Theory of computation
Language: TypeScript - Size: 1.08 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 1
sanand34/CFG-to-CNF
CFG to CNF in java by taking user inputs
Language: Java - Size: 63.5 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 1
arka816/fsm
common algorithms in automata theory - minimization algorithms, regex compilers etc.
Language: Python - Size: 125 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 1
Furyton/theory_of_computation_review_notes
an extended note of theory of computation, currently just include CFG part.
Language: TeX - Size: 304 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 1
DigitMan27/UniversalTuringMachine
This is a universal Turing Machine Application in which you can simulate any Deterministc Turing Machine. Written in C#(.NET 5)
Language: C# - Size: 2.31 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 1
tsunoppy/twoWaySlab
Two way slab analysis by Fourier Method
Language: Python - Size: 3.84 MB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 0
CSpyridakis/FL 📦
Fictional Language to C Trans-compiler
Language: C - Size: 426 KB - Last synced at: 3 days ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0
dankolesnikov/DFAtoTuringMachine
Turing Machine that simulates behavior of any Deterministic Finite Automata
Size: 11.8 MB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 5
royalpranjal/Tic-Tac-Toe-Simulation-in-Turing-Machines
Algorithm Design & Analysis for implementing Tic-Tac-Toe on Turing Machines
Size: 136 KB - Last synced at: almost 2 years ago - Pushed at: about 9 years ago - Stars: 3 - Forks: 1
Notes4Cyber/2-year-notes
A collection of notes and resources from various engineering courses, covering key concepts, formulas, and study materials.
Language: C++ - Size: 336 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 2 - Forks: 0
kubershahi/dfas-rnn
Synthesizing DFAs through RNN
Language: Jupyter Notebook - Size: 2.66 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 2 - Forks: 0
sourceduty/AI
🤖 General artificial intelligence notes and information.
Size: 794 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 2 - Forks: 0
MohamedWElteir/Turing-Machine-Simulator
A very simple Turing Machine implementation in C++
Language: C++ - Size: 73.2 KB - Last synced at: 24 days ago - Pushed at: 7 months ago - Stars: 2 - Forks: 0
helcsnewsxd/famaf-computer_science-formal_languages_and_computability 📦
Prácticos y teórico de la materia de Lenguajes Formales y Computabilidad de la Licenciatura en Ciencias de la Computación de FAMAF (UNC)
Size: 7.83 MB - Last synced at: 2 months ago - Pushed at: 10 months ago - Stars: 2 - Forks: 0
eliainnocenti/TuringMachines 📦
Exercise for Theory of Computation Exam @ Unifi - Turing Machines Simulator.
Language: Python - Size: 596 KB - Last synced at: about 1 month ago - Pushed at: 11 months ago - Stars: 2 - Forks: 0
LebrancWorkshop/Lebranc-Learn-Functional-Programming
I'm learning a Functional Programming by learning its pure math concepts and apply it on functional language like Haskell, Clojure, Elixir, etc.
Language: JavaScript - Size: 198 KB - Last synced at: about 15 hours ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 3
bwang1008/TMCompiler
Convert C++-like code into a Turing Machine representation
Language: C++ - Size: 2.92 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0
ahnafshahrear/Compiler-Design-Lab
Academic Lab Course of the 27th batch of Computer Science & Engineering | University of Rajshahi - 🇧🇩
Language: C++ - Size: 226 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 4
mahshidhp/cfg-converter
A tool for converting context-free grammars to different normal forms.
Language: Python - Size: 5.28 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
silvafj/focsimulation
Fundamentals of Computing - Learn through simulation
Language: TypeScript - Size: 8.98 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1
ivxvm/turing-elm
Interactive Turing machine simulator
Language: Elm - Size: 194 KB - Last synced at: about 2 months ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0
maindotmarcell/Simple-Java-Compiler
Assignment 2 for Computing Theory at UTS. The goal is to create a compiler that recognizes a simplified java syntax and outputs an abstract syntax tree. Made by Marcell, Tobias and Colin
Language: Java - Size: 104 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 1
KaustubhD/CYK-implementation-JAVA
A simple implementation of CYK algorithm to check the validity of a string according to the given grammer
Language: Java - Size: 5.86 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0
juanoliveira82/casamento-strings
Implementação de Casamento de Strings com Autômatos Finitos em Java.
Language: Java - Size: 75.2 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0
WellingtonEspindula/INF05501-Register-Machines
Register-based machines (DNA and Multiset) written in Java which were used in the Theory of Computation's assignment.
Language: Java - Size: 6.84 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0
Chandana047/Morse-code-translator
This is a Morse code translator which is implemented using the Turing machine in Jflap software.
Size: 405 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0
joshuacrotts/deterministic-pushdown-automata-parser 📦
This is a deterministic pushdown automata project for my Theory of Computation course.
Language: Java - Size: 2.82 MB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0
omar-dahrawy/DFA-using-Java
Simulating a DFA using Java.
Language: Java - Size: 63.5 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 0
joneshshrestha/DFA
DFA (Deterministic Finite Automata)
Language: C - Size: 5.86 KB - Last synced at: 3 months ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 1
tanvinerkar/fair-rent-division
Envy free, Fair Rent Division System for Hostel Rooms. This is a project made as a part of the Project Track in the course ESC101 offered in Spring 2019 at IIT Kanpur.
Language: Python - Size: 71.3 MB - Last synced at: about 2 months ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 1
PrasannaNatarajan/CSD303_TOC
Assignments for the course CSD303 Theory Of Computation
Language: Java - Size: 12.7 MB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 0
allexlima/AutomataTranslator
:flags: Conversor capaz de traduzir Autômatos Finitos Não Determinísticos em Autômatos Finitos Determinísticos. Projeto desenvolvido utilizando PyQt e JsonSchema, compatível com formatos JFLAP.
Language: Python - Size: 526 KB - Last synced at: 10 days ago - Pushed at: over 8 years ago - Stars: 2 - Forks: 1
coderatul/DFA-Simulator
A Python tool for simulating Deterministic Finite Automata (DFAs) by reading transition tables from Excel files. It checks if input strings are accepted, supports verbose output for detailed DFA information, and ensures all transitions are defined. Object-oriented, user-friendly, and ideal for theoretical computer science education.
Language: Python - Size: 13.7 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
Youssef-Remah/REGEX-To-DFA-Converter
Regular Expression to Deterministic Finite Automaton Converter.
Language: C++ - Size: 36.1 MB - Last synced at: 2 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0
m-riley04/EECS-510-Final-Project
The Final Project for EECS 510 - Theory of Computing
Language: Python - Size: 380 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0
ishaansathaye/CSC445-TheoryComputationI
Fall 2024 Cal Poly CSC 445 Theory of Computation I
Language: TeX - Size: 546 KB - Last synced at: 2 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0
kamplianitis/Theory_Of_Computation_TUC_Comiler
Compiler assignment for the purposes of the Theory of Computation Lesson in TUC
Language: C - Size: 32.2 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0
DijkstraFTW/Compiler
A simplified compiler for a custom programming language
Language: Python - Size: 35.2 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0
ErFer7/FLA-Tools
Simple program to manipulate NFAs, DFAs and grammars.
Language: Python - Size: 77.1 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
FernandoSchett/turing_machine
Turing machine developed in JFLAP for flight simple time calculation.
Size: 2.32 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
Harsha-Vardhan-Tangudu/Theory-Of-Computation-Designing-PDA-Turingmachine-Safe-Submarine-Battle
Designing Pushdown Automata and Turing machine for Safe Submarine Battle
Size: 405 KB - Last synced at: 3 months ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
shadmehr-salehi/Conways-Game-Of-Life
In this essay, we discuss about conway's game of life
Language: Python - Size: 341 KB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 1
martinnacimiento/tdlc
Proyecto de la página de apuntes de Teoría de la Computación.
Language: Shell - Size: 5.27 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
cliche-niche/CS340
Contains submissions made for the course CS340 "Theory of Computation" at IIT-K in 2022-23 I Sem.
Size: 20.3 MB - Last synced at: 29 days ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
cmaraziaris/Regex-interpreter-in-haskell
A RegEx interpreter that matches (partially or fully) a given string against a given regular expression.
Language: Haskell - Size: 578 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
PALASH-BAJPAI/College-Notes
All semesters computer science handwritten notes
Language: Jupyter Notebook - Size: 426 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
Vedant2311/Heavy-Hitters-NUS Fork of papergitkeeper/heavy-keeper-project
Comparing the Double Space Saving DS to the Heavy Keeper DS for the real world input streams
Language: C++ - Size: 10 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
DenverCoder1/godel-program-converter
Program to convert a program encoding based on its Gödel number to 𝒮 Language (S Language) or convert an 𝒮 Language program to it's program number
Language: Python - Size: 53.7 KB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1
reity/are
Library for defining and working with abstract regular expressions that support strings/sequences with elements of any symbol type, with an emphasis on supporting scenarios in which it is necessary to work with regular expressions as abstract mathematical objects.
Language: Python - Size: 77.1 KB - Last synced at: about 2 months ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
code-chaser/dfa-minimization
A program that takes a dfa as input and output its minimum equivalence states partitions.
Language: C++ - Size: 378 KB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
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.
Language: TeX - Size: 14.5 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
edoriggio/sudoku-sat
Project for the Theory of Computation course @ USI University
Language: Python - Size: 420 KB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
SENEMISIK/Mathematical-Models-for-Epidemiological-Diseases
Theoretically analyze mathematical models for epidemics and improve upon the algorithms that minimize the expected size of a SIR outbreak in an arbitrary graph and a budget of restrictions that reduce transmission rates on edges or increase recovery rates at nodes.
Language: Jupyter Notebook - Size: 2.35 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
vanessa-nascimento/afn
Exercício Programa que faz a emulação de um Autômato Finito Não Determinístico (AFN) para a matéria de Introdução à Teoria da Computação 💻
Language: Python - Size: 10.7 KB - Last synced at: almost 2 years ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0
hlthung/algorithmic-thinking-turing-machines
Monash FIT2014 Theory of Computation Turing Machine problem sets
Size: 341 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0
idylicaro/Java_projects
Language: Java - Size: 1.75 MB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0
numnes/TheoryOfComputation
🤖 Algoritmos de processamento de autômatos, gramaticas e maquinas de Turing.
Language: C++ - Size: 7.81 KB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0
HussainAther/computerscience
puzzles, problems, search, sort, graph, constraint, theory, symbolic
Language: Python - Size: 4.27 MB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0
osho-agyeya/Analysis-of-research-papers-pertaining-to-cellular-automata-Forest-fires-spread-modelling-using-cel
ANALYSIS OF RESEARCH PAPER PERTANING TO CELLULAR AUTOMATA FOR PREDICTING FOREST FIRES
Size: 66.4 MB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
martincorona007/CYK-algorithm
Implementation of CYK(Cocke-Younger-Kasami) algorithm https://medium.com/@martincorona007/cyk-algorithm-60d7f869ca0a
Language: C++ - Size: 1.03 MB - Last synced at: 2 months ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0
ahmedhamdi96/CC
Compiler Components
Language: Python - Size: 932 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0
saviorabelo/dfa
A simple example of Deterministic Finite Automata (DFA) in Python.
Language: Python - Size: 3.91 KB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0
parisgiakoum/Source-to-source-compiler-on-a-Fictional-Language-using-Flex-and-Bison--Theory-of-Computation
Source-to-source compiler(trans-Compiler) on a custom Fictional Language(FL) using Flex & Bison as part of a project on Theory of Computation
Language: C - Size: 369 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0
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.
Language: Racket - Size: 533 KB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0
marcosvlima/lex-lexical-analysis
Lexical Analyzer for dynamically identifying token.
Language: JavaScript - Size: 943 KB - Last synced at: 2 months ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0
JnxF/grau-tc
:black_nib: Automaton Theory class notes
Language: TeX - Size: 1.14 MB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
farruhha/discrete-math
My naive computer based solutions to popular math hypothesis and problems, based on Mathematics for Computer Science course by MIT.
Language: Java - Size: 10.7 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
nnathan/arvo-fccs
Fundamental Concepts of Computer Science (Draft) - by James Arvo
Language: HTML - Size: 1.73 MB - Last synced at: 7 days ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0
starship9/CSD303-TOC
Contains coursework for the Theory Of Computation course offered at Shiv Nadar University.
Language: Java - Size: 38.1 KB - Last synced at: almost 2 years ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0
Ruso37/Turing-Machine-Project
A Python-based project exploring Decidability and Undecidability using Turing Machine simulations
Language: Python - Size: 9.77 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0
labhansh2/models-of-computation
Implementations of theorotical models of computation in cpp. (Not a UNI project)
Language: C++ - Size: 95.7 KB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 0 - Forks: 0
Shweta31410/Turing-Machine-Project
A Python-based project exploring Decidability and Undecidability using Turing Machine simulations
Language: Python - Size: 5.86 KB - Last synced at: 30 days ago - Pushed at: 30 days ago - Stars: 0 - Forks: 0
