🚀 The open-source, self-building database. From @hashintel
-
Updated
May 18, 2024 - TypeScript
🚀 The open-source, self-building database. From @hashintel
TypeDB: the polymorphic database powered by types
Fearless hardware design
Cicada Language (PLCT little team)
Additional types and types adjusted utilities for TypeScript
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
Combine multiple types in a single one
Data type system for different data structures.
Collection of TypeScript type challenges with online judge
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
DMX Knowledge Building Platform
Algebraic data types for C99
Collection of useful type traits for C++.
A typed, polyglot, functional language
The Poppy Compiler
Fire up your models with the flame 🔥
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."