The V Programming Language(vlang.io)

18 points by klaussilveira 1 year ago | 20 comments

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

60 points by elffjs 22 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.

VSCodium – Open-source binaries of VSCode(vscodium.com)

417 points by Brajeshwar 3 years ago | 205 comments

Homepage of VSCodium, a project distributing free/libre open source, MIT-licensed binaries of Microsoft's VS Code editor.

Vinix – A modern operating system written in V(vinix-os.org)

82 points by hggh 1 month ago | 55 comments

VNote: A pleasant note-taking platform(app.vnote.fun)

68 points by internetguy 2 years ago | 43 comments

Dafny: Verification-Aware Programming Language(dafny.org)

88 points by handfuloflight 10 months ago | 30 comments