The V Programming Language 0.4(vlang.io)

54 points by modinfo 3 years ago | 39 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.

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

82 points by hggh 1 month ago | 55 comments

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.

Codeberg Reaches 300k Projects(codeberg.org)

165 points by welovebunnies 1 year ago | 57 comments

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

88 points by handfuloflight 10 months ago | 30 comments