🚀 The open-source, self-building database. From @hashintel
-
Updated
May 26, 2024 - TypeScript
🚀 The open-source, self-building database. From @hashintel
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.
TypeQL: the polymorphic query language of TypeDB
Collection of TypeScript type challenges with online judge
Tangent bundle, vector space and Submanifold definition
TypeDB: the polymorphic database powered by types
Additional types and types adjusted utilities for TypeScript
Fearless hardware design
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."