type-system
There are 240 repositories under type-system topic.
type-challenges/type-challenges
Collection of TypeScript type challenges with online judge
typedb/typedb
TypeDB: the power of programming, in your database
sdiehl/write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
amilajack/reading
A list of computer-science readings I recommend
ronami/HypeScript
π¬ A simplified implementation of TypeScript's type system written in TypeScript's type system
brimdata/zui
Zui is a powerful desktop application for exploring and working with data. The official front-end to the Zed lake.
ronami/meta-typing
π Functions and algorithms implemented purely with TypeScript's type system
hirrolot/datatype99
Algebraic data types for C99
hashintel/hash
π The open-source, multi-tenant, self-building knowledge graph
josefs/Gradualizer
A Gradual type system for Erlang
pikelet-lang/pikelet
A friendly little systems language with first-class types. Very WIP! π§ π§ π§
mistlog/typetype
A programming language designed for typescript type generation
unional/type-plus
Additional types and types adjusted utilities for TypeScript
hirrolot/interface99
Full-featured interfaces for C99
ronami/typelang
π³ A tiny language interpreter implemented purely in TypeScript's type-system
fc01/TypeGame
πΎ Sokoban Game in Pure TypeScript Type System
vortico/flama
Fire up your models with the flame π₯
yeslogic/fathom
π§ (Alpha stage software) A declarative data definition language for formally specifying binary data formats. π§
sdleffler/tarpit-rs
A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.
typedb/typeql
TypeQL: the power of programming, in your database
dylan-profiler/visions
Type System for Data Analysis in Python
morloc-project/morloc
A typed, polyglot, functional language
cucapra/filament
Fearless hardware design
gfngfn/Sesterl
An ML-like statically-typed Erlang
cicada-lang/cicada-solo
Cicada Language (solo version)
kit-ty-kate/labrys
A toy language based on LLVM that implements the System FΟ type-system
VoliJS/NestedTypes
BackboneJS compatibility layer for Type-R data framework.
brendanzab/rust-nbe-for-mltt
Normalization by evaluation for Martin-LΓΆf Type Theory with dependent records
cicada-lang/cicada-plct
Cicada Language (PLCT little team)
dmx-systems/dmx-platform
DMX Knowledge Building Platform
MaxDesiatov/Typology
Swift type checking and semantic analysis for developer tools
gyrovorbis/libgimbal
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.
imdea-software/htt
Hoare Type Theory
Centril/refl
Provides a Refl encoding in Rust
sdleffler/type-operators-rs
A macro for defining type operators in Rust.
thufschmitt/tix
[WIP] A type system for nix