The Miri Programming Language
Modern, GPU-first, statically-typed, compiled programming language designed for balancing high performance and safety in the age of Generative AI
Popular repositories Loading
-
miri
miri PublicA modern, GPU-first, statically-typed, compiled programming language designed for balancing high performance and safety in the age of Generative AI
Rust
-
vsc-extension
vsc-extension PublicThis is the official Visual Studio Code extension for the Miri programming language
-
Repositories
Showing 3 of 3 repositories
- miri Public
A modern, GPU-first, statically-typed, compiled programming language designed for balancing high performance and safety in the age of Generative AI
miri-lang/miri’s past year of commit activity - vsc-extension Public
This is the official Visual Studio Code extension for the Miri programming language
miri-lang/vsc-extension’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…