Cure – Verification-First Programming for the Beam (cure-lang.org) | HN Screenshots

YHacker Newsscreenshots

Screenshot of cure-lang.org: Cure – Verification-First Programming for the Beam

First screen, captured 11 months ago.

Looks similar

Screenshot of cure-lang.org: Erlang Meets Idris: Cure Programming Language

Erlang Meets Idris: Cure Programming Language (cure-lang.org)

41 points by delitrem 11 months ago | 27 comments

Screenshot of vxlang.org: Vx – One Language, Every Chip

Vx – One Language, Every Chip (vxlang.org)

60 points by elffjs 23 days ago | 29 comments

Homepage of Vx, a systems programming language for heterogeneous computing that encodes CPU, GPU, NPU and accelerator memory in its type system.

vx programming-languages heterogeneous-computing gpu

Screenshot of github.com: Lem v2.0.0 – Common Lisp IDE with high expansibility

Lem v2.0.0 – Common Lisp IDE with high expansibility (github.com)

98 points by mepian 3 years ago | 19 comments

Screenshot of quint-lang.org: Quint

Quint (quint-lang.org)

68 points by todsacerdoti 2 years ago | 16 comments

Screenshot of zyme.dev: Show HN: Zyme – An Evolvable Programming Language

Show HN: Zyme – An Evolvable Programming Language (zyme.dev)

137 points by almusdives 1 year ago | 17 comments

Screenshot of github.com: UTM – Virtual Machines for iOS and macOS

UTM – Virtual Machines for iOS and macOS (github.com)

301 points by eiiot 3 years ago | 145 comments