Hacker News
Lobsters
- Kind: A modern proof language https://github.com/uwu-tech/Kind 5 comments formalmethods, plt
Linking pages
Linked pages
- Rust Programming Language https://www.rust-lang.org/ 571 comments
- TypeScript: JavaScript With Syntax For Types. http://www.typescriptlang.org 453 comments
- GitHub - Kindelia/HVM: A massively parallel, optimal functional runtime in Rust https://github.com/Kindelia/HVM 299 comments
- Idris: A Language for Type-Driven Development http://www.idris-lang.org 253 comments
- Haskell Language http://haskell.org/ 120 comments
- Install Rust - Rust Programming Language https://www.rust-lang.org/tools/install 4 comments
- GitHub - Kindelia/Kindelia: An efficient, secure cryptocomputer https://github.com/Kindelia/Kindelia 2 comments
- The Agda Wiki http://wiki.portal.chalmers.se/agda/pmwiki.php 0 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - Kindelia/Kind: A next-gen functional language
See how to search.