Skip to content
#

turing-incompleteness

Star

Here are 2 public repositories matching this topic...

Language: All
Filter by language
All 2 OCaml 1 Shell 1

hyperpolymath / nextgen-languages

Sponsor
Star 3

Experimental programming language research portfolio — structured equivalence, typed computation, resource systems, topology, and minimal core calculi.

programming-language open-source compiler reproducible-research type-theory language-design formal-verification turing-completeness language-comparison research-software type-systems research-portfolio hyperpolymath extended-language-tools epistemic-infrastructure epistemic-computing turing-incompleteness veridical-computing equivalence-aware-computing typed-provenance
  • Updated Nov 14, 2026
  • Shell

hyperpolymath / oblibeny

Sponsor
Star 2

Oblibeny — programming language

programming-language open-source security reproducible-research ocaml type-theory language-design termination post-quantum-cryptography edge-computing research-software reversible-computing hyperpolymath epistemic-infrastructure epistemic-computing turing-incompleteness total-functional-programming veridical-computing equivalence-aware-computing typed-provenance
  • Updated Oct 31, 2026
  • OCaml

Add this topic to your repo

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

Learn more