Collection of TypeScript type challenges with online judge
- typescript
- type
- type-system
- challenges
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
TypeQL: Built for systems, not records
- reasoning
- query-language
- query
- inference
Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq