Hacker News
- High-order Virtual Machine (HVM): Massively parallel, optimal functional runtime https://github.com/Kindelia/HVM 151 comments
- Show HN: High-order Virtual Machine (HVM) – A Parallel Functional Runtime https://github.com/Kindelia/HVM 13 comments
Lobsters
- Kindelia/HVM: A massively parallel, optimal functional runtime in Rust https://github.com/Kindelia/HVM 16 comments haskell , plt , rust
- Hvm - A massively parallel, optimal functional runtime in rust https://github.com/Kindelia/HVM 11 comments rust
- Good introduction to (theoretical) functional programming for Mathematician? https://github.com/Kindelia/HVM 23 comments compsci
- HVM: a next-gen massively parallel, beta-optimal functional runtime is 50x faster than its predecessors https://github.com/Kindelia/HVM 67 comments rust
- HVM: a massively parallel functional runtime https://github.com/Kindelia/HVM 19 comments programming
Linking pages
- GitHub - HigherOrderCO/Kind: A next-gen functional language https://github.com/kindelia/kind 158 comments
- GitHub - HigherOrderCO/Kind: A next-gen functional language https://github.com/uwu-tech/Kind 116 comments
- Kindelia/WHITEPAPER.md at master · Kindelia/Kindelia · GitHub https://github.com/Kindelia/Kindelia/blob/master/WHITEPAPER.md 22 comments
- GitHub - HigherOrderCO/Kind: A next-gen functional language https://github.com/moonad/Formality 8 comments
- Console #92 -- Deskreen, HVM, and NGS - by Jackson Kelley https://console.substack.com/p/console-92?r=3cbez 6 comments
- GitHub - Kindelia/Kindelia: An efficient, secure cryptocomputer https://github.com/Kindelia/Kindelia 2 comments
- GitHub - inpla/inpla: Inpla: Interaction nets as a programming language (the current version) https://github.com/inpla/inpla 2 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
- GitHub - HigherOrderCO/Kindelia: An efficient, secure cryptocomputer https://github.com/HigherOrderCO/Kindelia 0 comments
- GitHub - VictorTaelin/Interaction-Calculus: A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly. https://github.com/VictorTaelin/Interaction-Calculus 0 comments
Linked pages
- Bubble sort - Wikipedia http://en.wikipedia.org/wiki/Bubble_sort 250 comments
- Church encoding - Wikipedia http://en.wikipedia.org/wiki/Church_encoding 58 comments
- GitHub - inpla/inpla: Inpla: Interaction nets as a programming language (the current version) https://github.com/inpla/inpla 2 comments
- Radix sort - Wikipedia https://en.wikipedia.org/wiki/Radix_sort 0 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - HigherOrderCO/HVM: A massively parallel, optimal functional runtime in Rust
See how to search.