#type-system (10 Repositories)
Ranked open-source repositories tagged with #type-system, scored by pull request acceptance likelihood and maintainer engagement velocity.
19.5%
79.8h
10 repositories tagged #type-system
sdiehl/typechecker-zoo
A menagerie of cute implementations of modern typechecking algorithms
typedb/typedb
TypeDB: Built for systems, not records
morloc-project/morloc
A strongly-typed, polyglot compiler
typedb/typeql
TypeQL: Built for systems, not records
kit-ty-kate/labrys
A toy language based on LLVM that implements the System Fω type-system
sdiehl/write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
type-challenges/type-challenges
Collection of TypeScript type challenges with online judge
gfngfn/Sesterl
An ML-like statically-typed Erlang
ronami/HypeScript
🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system
typedgrammar/typed-japanese
🌸 Learn Japanese grammar with TypeScript