Lobsters
- Please, keep in mind there is ZERO FUNDING for my projects. https://github.com/kindelia/kind 136 comments rust
Linking pages
- GitHub - ChessMax/awesome-programming-languages: The list of an awesome programming languages that you might be interested in https://github.com/ChessMax/awesome-programming-languages 7 comments
- GitHub - newca12/awesome-rust-formalized-reasoning: An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification. https://github.com/newca12/awesome-rust-formalized-reasoning 0 comments
Linked pages
- Rust Programming Language https://www.rust-lang.org/ 595 comments
- TypeScript: JavaScript With Syntax For Types. http://www.typescriptlang.org 454 comments
- GitHub - HigherOrderCO/HVM: A massively parallel, optimal functional runtime in Rust https://github.com/Kindelia/HVM 300 comments
- Idris: A Language for Type-Driven Development http://www.idris-lang.org 258 comments
- Haskell Language http://haskell.org/ 120 comments
- Install Rust - Rust Programming Language https://www.rust-lang.org/tools/install 24 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 - HigherOrderCO/Kind: A next-gen functional language
See how to search.