Skip to content
#

total-functional-programming

Star

Here is 1 public repository matching this topic...

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 total-functional-programming topic, visit your repo's landing page and select "manage topics."

Learn more