⭐️ A friendly language for building type-safe, scalable systems!
- gleam
- programming-language
- compiler
- erlang
Repository Index
47,133 repositories indexed
1–8 of 8 · Most stars
Object-storage native graph database with branching and typed ontology
- apache-arrow
- datafusion
- graph-database
- knowledge-graph
Typed, correct GraphQL requests and responses in Rust
TypeQL: Built for systems, not records
- reasoning
- query-language
- query
- inference
TypeDB Drivers for Rust, Python, Java, Node.js, C, C++, and C#.
- java
- typedb
- typeql
- typedb-client
AST-native PostgreSQL toolkit: typed queries to wire protocol, with built-in RLS tenant isolation.
A modern, Pythonic ORM for TypeDB with an Attribute-based API that aligns with TypeDB's type system.
- orm
- typedb
- typeql
- pydantic
Type-safe async MQTT client for Rust. Topics as types, automatic routing and (de)serialization on top of rumqttc.