Library for parsing and validating TypeLang syntax and converting it into AST nodes
-
Updated
Jun 12, 2024 - PHP
Library for parsing and validating TypeLang syntax and converting it into AST nodes
Zui is a powerful desktop application for exploring and working with data. The official front-end to the Zed lake.
Collection of TypeScript type challenges with online judge
Statically typed probabilistic programming language, feat. GADT
(experimental) Conceptual s-expression based typed term graph rewriting system
TypeDB: the polymorphic database powered by types
TypeQL: the polymorphic query language of TypeDB
🚀 The open-source, self-building database. From @hashintel
DMX Knowledge Building Platform
Easy-to-use sum types in Julia
Type System for Data Analysis in Python
Additional types and types adjusted utilities for TypeScript
Tangent bundle, vector space and Submanifold definition
Tensor algebra abstract type interoperability setup
C17-based extended standard library, cross-language type system, and unit testing framework targeting Sega Dreamcast, Sony PSP and PSVita, Windows, Mac, Linux, Android, iOS, and WebAssembly.
Fearless hardware design
Functional IR
Cicada Language (PLCT little team)
Data type system for different data structures.
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."