Skip to content
#

compile-time-verification

Star

Here are 2 public repositories matching this topic...

Language: All
Filter by language
All 2 Java 1 Rust 1

obinexus / functor-frameworks

Star 0

The Functor Framework introduces a novel phenomodel-based type system that separates heterogeneous functors (He) from homogeneous functors (Ho) through set-theoretic relations and UML cardinality mappings. This enables lossless DAG (Directed Acyclic Graph).

set-theory type-system directed-acyclic-graph rust-framework obinexus functor-framework heterogeneous-functors homogeneous-functors dag-optimization phenotype-model phenomemory phenovalue uml-cardinality lossless-dag isomorphic-mapping hdis-integration o-log-n-complexity verb-action-actor actor-observer-consumer compile-time-verification
  • Updated Jan 18, 2026
  • Rust

Improve this page

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

Learn more