A personal blog focused on software, Machine Learning and other passing fads. (more…)
Read more »
a pragmatic point-free theorem prover assistant. Contribute to advancedresearch/poi development by creating an account on GitHub. (more…)
Read more »
A massively parallel, optimal functional runtime in Rust - GitHub - Kindelia/HVM: A massively parallel, optimal functional runtime in Rust... (more…)
Read more »
Nick Pinkston grew up in rural Pennsylvania in a family that has spent more than three generations in the manufacturing industry. They…
Read more »
Cross platform native GUI in Rust. Contribute to cksac/oxui development by creating an account on GitHub. (more…)
Read more »