Cluster 643770

5 repos

Rust · 3

Python · 1

TypeScript · 1

reasoning ·9,494

logic ·9,494

typedb ·9,394

typeql ·9,394

polymorphism ·9,162

database ·9,162

polymorphic ·9,162

inference ·9,162

strongly-typed ·9,162

type-system ·9,162

Related clusters

typedb/typedb

TypeDB: Built for systems, not records

Rust

4,454

4,991 commits

graknlabs/grakn

TypeDB: Built for systems, not records

Rust

4,454

4,991 commits

typedb/typeql

TypeQL: Built for systems, not records

Rust

254

816 commits

typedb/typedb-studio

TypeDB Studio: An interactive visual environment for TypeDB

TypeScript

232

2,471 commits

IBM/LNN

A `Neural = Symbolic` framework for sound and complete weighted real-value logic

Python

332

124 commits