TypeScript and the Curry-Howard Correspondence e elie.rotenberg.io 1 elierotenberg 2 years ago 0 comments
Show HN: Copy-pastable colllection of TypeScript snippets g github.com 2 elierotenberg 2 years ago 0 comments
Show HN: Using ChatGPT to foster kids well-being at school r rotenberg.io 2 elierotenberg 3 years ago 1 comments
Show HN: Typed-jest-expect, elegant typings for a more civilized age g github.com 3 elierotenberg 4 years ago 1 comments
Show HN: Fastify-zod, type-once, run everywhere (TypeScript/OpenAPI) g github.com 7 elierotenberg 5 years ago 2 comments
TenVer v.10 – The version of your product is and always will be 10 g github.com 3 elierotenberg 5 years ago 0 comments
Typed-react-openapi: Idiomatic, strongly typed React OpenAPI integration g github.com 5 elierotenberg 6 years ago 0 comments
