Ask HN: What exciting open-source science projects can one contribute to? |
Ask HN: What exciting open-source science projects can one contribute to? |
There is currently a bootstrap interpreter written in C that is under 2000 lines of code, a self-interpreter (~1200 lines), and a static type inferencer written in Lambda Zero (~400 lines). I'm currently implementing pattern matching lambdas and algebraic data types and I have a long roadmap of things to do. It would be great if someone was interested in writing an optimizing compiler for Lambda Zero in Lambda Zero.
So it will have a proof capability like Coq?
Is there any new theory behind this system? What is your vision in this regard?
+ Utilities for computers and disks are always useful and don't need much maintenance for long-term function/feasibility.
+ web frameworks that make web designing/dev easier (clojure[script], rails, python+django are all popular choices)
+ Look for a tool you commonly use or a service that's commonly requested.
Backed by a ton of resources, documentation and excellent community; that will be fun.
https://www.aosabook.org/en/vtk.html, is a good start.