#type-system (16 Repositories)
Ranked open-source repositories tagged with #type-system, scored by pull request acceptance likelihood and maintainer engagement velocity.
32.8%
5.0h
16 repositories tagged #type-system
hashintel/hash
🚀 The open-source, multi-tenant platform for self-building knowledge graphs and simulation
typedb/typedb
TypeDB: Built for systems, not records
typedb/typeql
TypeQL: Built for systems, not records
we-data-ch/typr
A safer complement of R, the legendary programming language for statistic and datasciences !
sdiehl/typechecker-zoo
A menagerie of cute implementations of modern typechecking algorithms
morloc-project/morloc
A strongly-typed, polyglot compiler
typedgrammar/typed-japanese
🌸 Learn Japanese grammar with TypeScript
kit-ty-kate/labrys
A toy language based on LLVM that implements the System Fω type-system
gfngfn/Sesterl
An ML-like statically-typed Erlang
ronami/HypeScript
🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system
cyberuni/type-plus
Additional types and types adjusted utilities for TypeScript
josefs/Gradualizer
A Gradual type system for Erlang
sdiehl/write-you-a-haskell
Building a modern functional compiler from first principles.
type-challenges/type-challenges
Collection of TypeScript type challenges with online judge
ronami/meta-typing
📚 Functions and algorithms implemented purely with TypeScript's type system
hirrolot/datatype99
Algebraic data types for C99