Type System for Data Analysis in Python
A toy language based on LLVM that implements the System Fω type-system
BackboneJS compatibility layer for Type-R data framework.
Normalization by evaluation for Martin-Löf Type Theory with dependent re...
DMX Knowledge Building Platform
Swift type checking and semantic analysis for developer tools
Provides a Refl encoding in Rust
Hoare Type Theory
C17-based extended standard library, cross-language type system, and uni...
A macro for defining type operators in Rust.
[WIP] A type system for nix
Tangent bundle, vector space and Submanifold definition
ftor enables ML-like type-directed, functional programming with Javascri...
Tensor algebra abstract type interoperability setup
Compiler for type theoretic lambda calculi equipped with system primtive...