Search: github.com/moonad | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Formality, a (proof)gramming language featuring optimal reductions (github.com/moonad)

27 points

7 years ago

2.

Formality Language (github.com/moonad)

3 points

6 years ago

3.

FormCoreJS: A 700-LOC proof language that compiles to ultra-fast JavaScript (github.com/moonad)

2 points

5 years ago

4.

Goodbye, JavaScript: Formality is now implemented in itself (github.com/moonad)

2 points

5 years ago

5.

FormCoreJS (github.com/moonad)

1 point

4 years ago

6.

Moonad: A Peer-to-Peer Operating System (github.com/moonad)

1 point

6 years ago

7.

Formality (github.com/moonad)

1 point

7 years ago

8.

Why Formality-Core? (github.com/moonad)

1 point

7 years ago

9.

Formality-Core: an optimal, parallel compile target for functional languages (github.com/moonad)

1 point

7 years ago

10.

Saving the world in 8 easy steps with Moonad (github.com/moonad)

1 point

7 years ago