jev-language

An experimental, harness-neutral substrate (explicitly unfinished) that tries to turn Jev's bounded typed judgments into increasingly general expression through explicit semantic representations, composition, deterministic compilation, search, and verification.

unverified — sourced from awesomejev.com; description independently written by AionEdge from the repo’s own GitHub metadata and README, not GitHub-API relevance-checked