type-system
There are 264 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.
typedgrammar/typed-japanese
πΈ Learn Japanese grammar with TypeScript
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
pikelet-lang/pikelet
A friendly little systems language with first-class types. Very WIP! π§ π§ π§
josefs/Gradualizer
A Gradual type system for Erlang
mistlog/typetype
A programming language designed for typescript type generation
unional/type-plus
Additional types and types adjusted utilities for TypeScript
sdiehl/typechecker-zoo
A menagerie of cute implementations of modern typechecking algorithms
hirrolot/interface99
Full-featured interfaces for C99
ronami/typelang
π³ A tiny language interpreter implemented purely in TypeScript's type-system
vortico/flama
Fire up your models with the flame π₯
fc01/TypeGame
πΎ Sokoban Game in Pure TypeScript Type System
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
gyrovorbis/libgimbal
C17-based extended standard library, cross-language type system, and unit testing framework targeting Dreamcast, Gamecube, PSP, PSVita, Windows, Mac, Linux, Android, iOS, and WebAssembly.
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
sinclairzx81/parsebox
Parser Combinators in the TypeScript Type System
brendanzab/rust-nbe-for-mltt
Normalization by evaluation for Martin-LΓΆf Type Theory with dependent records
we-data-ch/typr
A safer complement of R, the legendary programming language for statistic and datasciences !
cicada-lang/cicada-plct
Cicada Language (PLCT little team)
VoliJS/NestedTypes
BackboneJS compatibility layer for Type-R data framework.
dmx-systems/dmx-platform
DMX Knowledge Building Platform
imdea-software/htt
Hoare Type Theory