| Tag: type-system 3 packages with this tag | ||
| « Back to VersTracker | All Categories | All Tags | Related: functional-programming compiler database logic-programming declarative ai graph typedb knowledge-graph reasoning | ||
| Package | Description | Version |
|---|---|---|
| mercury ☆ formula | Logic/functional programming language | |
| typedb ☆ formula | Strongly-typed database with a rich and logical type system | |
| urweb ☆ formula | Ur/Web programming language | |