#

totality-checking

Here are 3 public repositories matching this topic...

digitable-lol / flang

A pure functional language written in words: a function carries its examples and postconditions, the compiler proves termination before anything runs and prints the checked program into C, C++, Go, Rust, Java, JavaScript, Elixir, Python or C#. Self-hosted; building it needs only cc and make.

programming-language compiler functional-programming dsl c99 transpiler proof-assistant category-theory formal-methods code-generation self-hosting formal-verification multi-target static-typing postconditions russian-language executable-specification termination-analysis totality-checking

Updated Sep 19, 2026
C

hyperpolymath / nextgen-typing

{{DESCRIPTION}}

programming-language open-source dependent-types type-theory language-design formal-verification turing-completeness linear-types research-software partiality hyperpolymath epistemic-infrastructure epistemic-computing universe-hierarchy totality-checking veridical-computing equivalence-aware-computing typed-provenance

Updated Sep 19, 2026
Just

hyperpolymath / anytype

Pick the algebra, get the discipline...and still have totality

programming-language open-source engine language-design nickel discipline research-software hyperpolymath affinescript epistemic-infrastructure epistemic-computing equality-theory graded-algebra systemet totality-checking veridical-computing equivalence-aware-computing typed-provenance

Updated Sep 19, 2026
Nickel

Add this topic to your repo

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