sciolizer/kinds-js
Type system for javascript checked at runtime, supporting parametric polymorphism and kinds (types of types)
Solutions to the exercises in the nand2tetris book
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Type system for javascript checked at runtime, supporting parametric polymorphism and kinds (types of types)
Sandbox for various typing algorithms
Golang LRU cache
Inductive logic game