GitHub - HigherOrderCO/Kind: A next-gen functional language - discu.eu

Hacker News

Kind: A Modern Proof Language https://github.com/uwu-tech/kind 111 comments 11/8/2021

Lobsters

Kind: A modern proof language https://github.com/uwu-tech/Kind 5 comments 12/8/2021 formalmethods , plt

Linking pages

Console #69 -- Kind, Clockwise, and Drago https://console.substack.com/p/console-69?r=3cbez 0 comments
GitHub - moonad/FormCoreJS: A minimal pure functional language based on self dependent types. https://github.com/moonad/formcorejs 0 comments

Linked pages

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

Would you like to stay up to date with Computer science? Checkout Computer science Weekly.

Related searches:

Search whole site: site:github.com

Search title: GitHub - HigherOrderCO/Kind: A next-gen functional language

See how to search.

Submit link to: