TypeQL: the polymorphic query language of TypeDB
-
Updated
May 29, 2024 - Java
TypeQL: the polymorphic query language of TypeDB
🚀 The open-source, self-building database. From @hashintel
TypeDB: the polymorphic database powered by types
Collection of TypeScript type challenges with online judge
Fearless hardware design
DMX Knowledge Building Platform
Functional IR
Combine multiple types in a single one
Zui is a powerful desktop application for exploring and working with data. The official front-end to the Zed lake.
Tangent bundle, vector space and Submanifold definition
Additional types and types adjusted utilities for TypeScript
Cicada Language (PLCT little team)
Data type system for different data structures.
Explore dynamic code analysis in an interpreter for a language that allows on-the-fly customization of syntax rules, small-step operational semantics, and typing. This project facilitates real-time modifications to language interpretation, empowering users to adapt coding experiences according to specific needs.
Cicada Language (solo version)
Hoare Type Theory
Algebraic data types for C99
Collection of useful type traits for C++.
A typed, polyglot, functional language
The Poppy Compiler
Add a description, image, and links to the type-system topic page so that developers can more easily learn about it.
To associate your repository with the type-system topic, visit your repo's landing page and select "manage topics."