computer-science-theory

Here are 3 public repositories matching this topic...

sethirus / The-Thiele-Machine

A self-verifying proof that the Thiele Machine is a universal model of computation that strictly contains the Turing Machine as the degenerate case blind to its own structural axis. All open source.

python computer-science information-theory computational-geometry formal-methods turing-machine software-verification epistemology z3-smt-solver computer-science-theory proof-complexity thiele-machine sight-debt philosophy-of-computation church-turing-thesis

Updated Sep 27, 2026
OCaml

Moebius-Order / moncsdocs

Star

Open-source repository for comprehensive Computer Science documentation - A community-driven project to build accessible, educational resources for students and developers worldwide.

computer-science open-source documentation ai algorithms open-source-project data-structures-and-algorithms computer-science-theory

Updated Feb 28, 2026

n3m0n8 / comp-sci-notes

Star

These are notes I have taken on my learning path. I hope they can be of use to others. Many are unfinished and, when I have the chance, I will update them (and eventually fix the formatting)

nodejs javascript python java php typescript csharp cplusplus network oop network-administration comptia-security computer-science-theory

Updated Jan 1, 2023

Add this topic to your repo

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

Learn more