|
|
| | FormCoreJS (github.com/moonad) | | 1 point by tosh on Nov 19, 2022 | past | |
| | FormCoreJS: A 700-LOC proof language that compiles to ultra-fast JavaScript (github.com/moonad) | | 2 points by LightMachine on Jan 10, 2021 | past | |
| | Goodbye, JavaScript: Formality is now implemented in itself (github.com/moonad) | | 2 points by LightMachine on Dec 15, 2020 | past | |
| | Moonad: A Peer-to-Peer Operating System (github.com/moonad) | | 1 point by yosoyubik on Feb 28, 2020 | past | |
| | Formality Language (github.com/moonad) | | 3 points by VictorTaelin on Dec 29, 2019 | past | |
| | Formality (github.com/moonad) | | 1 point by chaoxu on Sept 23, 2019 | past | |
| | Formality, a (proof)gramming language featuring optimal reductions (github.com/moonad) | | 27 points by LightMachine on Sept 10, 2019 | past | 8 comments | |
| | Why Formality-Core? (github.com/moonad) | | 1 point by LightMachine on May 21, 2019 | past | |
| | Formality-Core: an optimal, parallel compile target for functional languages (github.com/moonad) | | 1 point by LightMachine on May 16, 2019 | past | |
| | Saving the world in 8 easy steps with Moonad (github.com/moonad) | | 1 point by xorand on March 5, 2019 | past | |
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
