Hacker News
- Formality, a (proof)gramming language featuring optimal reductions https://github.com/moonad/formality 8 comments
Linking pages
- Elm at Rakuten | Rakuten Engineering Blog https://engineering.rakuten.today/post/elm-at-rakuten/ 172 comments
- GitHub - VictorTaelin/Bitspeak https://github.com/maiavictor/bitspeak 47 comments
- The refreshing simplicity of compiling Formality to… anything | by Victor Maia | Medium https://medium.com/@maiavictor/the-refreshing-simplicity-of-compiling-formality-to-anything-388a1616f36a 43 comments
- Elm at Rakuten - DEV Community https://dev.to/lucamug/elm-6m8 17 comments
- Compiling Formality to the EVM. Cost of a beta-reduction: ~200 gas | by Victor Maia | Medium https://medium.com/@maiavictor/compiling-formality-to-the-evm-99aec75677dd 8 comments
- Can we call a function a googol times? | by Victor Maia | Medium https://medium.com/@maiavictor/calling-a-function-a-googol-times-53933c072e3a 8 comments
- 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
- Introduction to EA Type Theory. Why it exists, installation, simple… | by Victor Maia | Medium https://medium.com/@maiavictor/introduction-to-formality-part-1-7ae5b02422ec 4 comments
- GitHub - VictorTaelin/Bitspeak https://github.com/maiavictor/desuhex 3 comments
- GitHub - VictorTaelin/optimul: Multiplication on optimal λ-calculus reducers https://github.com/maiavictor/optimul 0 comments
- GitHub - VictorTaelin/abstract-algorithm: Optimal evaluator of λ-calculus terms. https://github.com/maiavictor/abstract-algorithm 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.