#
nlang
Here are 2 public repositories matching this topic...
🌌 The Ouroboros Code: Formal specifications for n/, a data-centric, lattice-based declarative language. Data ≅ Type ≅ Logic. Truth is the point of convergence.
programming-language declarative category-theory formal-verification content-addressable lattice-theory nlang semantic-os n-slash
-
Updated
Oct 18, 2026 - Roff
Add this topic to your repo
To associate your repository with the nlang topic, visit your repo's landing page and select "manage topics."