typesystem topic
List
typesystem repositories
yeoboseyo
23
Stars
2
Forks
Watchers
:snake: :bulb: The bus :bus: for your internet services (made w/ Starlette)
Gradualizer
610
Stars
35
Forks
Watchers
A Gradual type system for Erlang
arrow-meta
390
Stars
42
Forks
Watchers
Functional companion to Kotlin's Compiler
TypeGame
275
Stars
2
Forks
Watchers
👾 Sokoban Game in Pure TypeScript Type System
arrow-meta-examples
58
Stars
20
Forks
Watchers
Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.
metatype
354
Stars
11
Forks
Watchers
Declarative API development platform. Build backend components with WASM, Typescript and Python, no matter where and how your (legacy) systems are.
type-inferencer
49
Stars
1
Forks
Watchers
hindley-milner algorithm