Movatterモバイル変換

Skip to content

#

theoretical-computer-science

Here are 158 public repositories matching this topic...

Language:All

Filter by language

All158 Python30 TeX24 Java17 C++15 JavaScript11 Haskell8 HTML6 Jupyter Notebook6 Mathematica4 Rust4

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

awesome-deep-rl

tigerneil /awesome-deep-rl

For deep RL and the future of AI.

game reinforcement-learning deep-reinforcement-learning agi planning artificial-general-intelligence theoretical-computer-science reward aaai ijcai hierarchical-reinforcement-learning iclr icml distributional multiagent-reinforcement-learning aamas exploration-exploitation inverse-rl aistats uai

UpdatedMar 1, 2024
HTML

mostafatouny /awesome-theoretical-computer-science

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

computer-science lists list awesome mathematics awesome-list theoretical-computer-science theory-of-computation

UpdatedSep 5, 2025
Python

knowsys /FormaleSysteme

Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden

automata german regular-expression teaching complexity turing-machine theoretical-computer-science propositional-logic formal-languages teaching-materials

UpdatedNov 3, 2025
TeX

knowsys /TheoLog

Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden

german first-order-logic teaching complexity turing-machine theoretical-computer-science teaching-materials

UpdatedJul 15, 2024
TeX

bitkeks /theolog-ss2017

Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten

university german logic theoretical-computer-science lecture-notes

UpdatedJul 22, 2017
TeX

lebrancconvas /Pure-Mathematics-EBooks

E-Books Library for someone who interested in Pure Mathematics.

mathematics type-theory set-theory mathematical-analysis theoretical-computer-science abstract-algebra e-books pure-mathematics

UpdatedOct 24, 2021

Shlw /Books-and-Exercises

Book reading

theoretical-computer-science

UpdatedJun 5, 2020
TeX

cslarsen /busy-beaver

Calculates the uncomputable Busy Beaver Σ-function

turing-machine theoretical-computer-science busy-beavers

UpdatedMay 23, 2016
Python

mgschoen /stable-marriage

Node.js implementation of the stable marriage problem

distribution node-js theoretical-computer-science stable-marriage gale-shapley-algorithm

UpdatedNov 19, 2017
JavaScript

mynttt /CYK-algorithm

Java implementation of the CYK algorithm.

java theoretical-computer-science automata-theory cyk-algorithm

UpdatedFeb 26, 2020
Java

ShrohanMohapatra /matrix_multiply_quadratic

This source code (in Python) is a preliminary implementation of my quadratic-time positive integer matrix multiplication.

cellular-automata python3 matrix-multiplication integer-compression theoretical-computer-science algorithms-implemented algebraic-computation integer-arithmetic complexity-analysis algorithm-design complexity-measure complexity-theory advanced-algorithms diophantine matrix-multiplication-parallel complexity-algorithm divide-and-conquer-approach

UpdatedNov 23, 2022
Python

Cirice /Machine-Learning-KnowledgeBase

A collection of ML questions and answers

computer-science machine-learning ml machinelearning theoretical-computer-science

UpdatedFeb 2, 2023

fcortes /turing-machine-simulator

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

turing-machine theoretical-computer-science turing-machine-simulator theory-of-computation

UpdatedOct 15, 2024
C++

ericung /InferrableLanguages

Inferrable Languages

theoretical-computer-science

UpdatedJul 1, 2024
CSS

HairyFotr /TOR

Theoretical computer science (Slovene)

computer-science theoretical-computer-science

UpdatedAug 18, 2016
TeX

Romop5 /FITVUT-TIN-2018-Homeworks

fit theoretical-computer-science vutbr brno

UpdatedJan 14, 2019
TeX

wavelength-ide /wavelength-ide

A browser-based IDE for the untyped lambda calculus. Try it:

programming ide lambda-calculus mathematics learning-by-doing theoretical-computer-science paradigms

UpdatedApr 8, 2019
Java

Khushiyant /mincluster

Mincluster is an essential package designed for minimizing the maximum intercluster distance in datasets. This powerful tool streamlines the process of optimizing data clustering by reducing the separation between clusters

cluster theoretical-computer-science mathematical-programming

UpdatedOct 26, 2023
Python

ericung /languageofpolynomials

A language of polynomials.

mathematics theoretical-computer-science pure-mathematics computers-science

UpdatedMay 24, 2024
HTML

SerenGTI /Theo_Inf

Zusammenfassung zu den Modulen Theoretische Informatik 1 bis 3 an der Universität Stuttgart

theoretical-computer-science formal-languages automata-theory complexity-theory computability-theory

UpdatedFeb 28, 2019
TeX

Improve this page

Add a description, image, and links to thetheoretical-computer-science topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with thetheoretical-computer-science topic, visit your repo's landing page and select "manage topics."

[8]ページ先頭

©2009-2025 Movatter.jp