#

recursion-theory

Here are 4 public repositories matching this topic...

cizekmilan / skeletsharp-interpreter

Educational .NET interpreter for a minimal skeleton/while language demonstrating computability through increment, decrement, and while loops.

parser interpreter csharp dotnet grammar theoretical-computer-science formal-languages theory-of-computation automata-theory computability minimal-language recursion-theory recursive-language

Updated May 30, 2026
C#

cizekmilan / universal-turing-machine-simulator

Universal Turing Machine Simulator with text/binary machine definitions, demos, simulation core, and WinForms GUI.

simulator csharp dotnet turing-machine theoretical-computer-science formal-languages turing-machine-simulator theory-of-computation universal-turing-machine automata-theory computability recursion-theory

Updated May 30, 2026
C#

cb-g / lizhi

crabsatellite / einstein-test-lean4-formalization

Lean 4 formalization companion to 'What the Karpowicz Theorem Does Not Prove' (Li, 2026)

formal-verification kolmogorov-complexity mathlib lean4 large-language-models recursion-theory philosophy-of-ai verification-asymmetry einstein-test

Updated May 13, 2026
Lean

Improve this page

Add a description, image, and links to the recursion-theory 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 the recursion-theory topic, visit your repo's landing page and select "manage topics."