Repository Index

Collection of TypeScript type challenges with online judge

• typescript
• type
• type-system
• challenges

TypeQL: Built for systems, not records

• reasoning
• query-language
• query
• inference

Hoare Type Theory

• hoare-logic
• hoare-monads
• separation-logic
• coq