Login
LowType: Intuitive Ruby runtime type checking
(github.com) by taikon | view | 0 comments
Type Narrowing Patterns in Pyrefly That Make Type Checking More Intuitive
(pyrefly.org) by ocamoss | view | 0 comments
Show HN: End-to-End Static Type Checking: PostgreSQL to TypeScript
(npgsqlrest.github.io) by vbilopav | view | 0 comments
Ruby-TI: Static type checking for MRuby. No annotations required
(github.com) by ksec | view | 0 comments
Pyrefly: Type Checking 1.8M Lines of Python per Second [video]
(youtube.com) by ocamoss | view | 0 comments