Check exhaustiveness of switch statements of enum-like constants in Go s...
🔐 A detailed example for how to encrypt data in an Elixir (Phoenix v1.7...
Immutable and structurally typed data
🔒 The new way to do types in typescript.
Python library to load dynamically typed data into statically typed data...
A New, Interactive Approach to Learning Python
📦 Autowiring dependency injection container for python 3
一款基于Next.js+mongo的轻量级开源社区(open community by Next.js & mongo)
MOVED TO GITLAB
A type-level implementation of Smallfuck in Rust, doubling as a Turing-c...
TS type library for the popular webgl library threejs
A tool that generates a strongly typed client library for any GraphQL en...
⛑️ JSON serialization should never fail
Exercises from Benjamin Pierce's "Types and Programming Languages" textb...
k crash course