Type Inference Zoo (zoo.cuichen.cc) | HN Screenshots

YHacker Newsscreenshots

Screenshot of zoo.cuichen.cc: Type Inference Zoo

First screen, captured 1 year ago.

Looks similar

Screenshot of plzoo.andrej.com: The Programming Languages Zoo

The Programming Languages Zoo (plzoo.andrej.com)

107 points by alabhyajindal 1 year ago | 52 comments

Screenshot of python-type-challenges.zeabur.app: Show HN: Python-Type-Challenges, master Python typing with online exercises

Show HN: Python-Type-Challenges, master Python typing with online exercises (python-type-challenges.zeabur.app)

82 points by laike9m 2 years ago | 36 comments

Screenshot of zod.dev: Zod: TypeScript-first schema validation with static type inference

Zod: TypeScript-first schema validation with static type inference (zod.dev)

230 points by tosh 2 years ago | 179 comments

Screenshot of starlark-lang.org: Starlark Programming Language

Starlark Programming Language (starlark-lang.org)

123 points by laurentlb 1 year ago | 112 comments

Screenshot of typespec.io: Microsoft TypeSpec

Microsoft TypeSpec (typespec.io)

78 points by bundie 2 years ago | 47 comments

Screenshot of inet.run: Show HN: iNet – A programming language for interaction nets

Show HN: iNet – A programming language for interaction nets (inet.run)

48 points by xyheme 3 years ago | 7 comments