Rigorous ontologies for every domain.
Precise, verifiable translations between ontologies.
No single universal schema, only safe passage between many.
Built with CUE as the universal currency.
The ferry is under construction.
-
Notifications
You must be signed in to change notification settings - Fork 0
Safe passage between rigorous domain ontologies. A post-Gödel Characteristica Universalis.
License
wilson/charon
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Safe passage between rigorous domain ontologies. A post-Gödel Characteristica Universalis.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published