Looks similar
COBOL for GCC Development(cobolworx.com)
64 points by pantalaimon | 19 comments
Ironclad – formally verified, real-time capable, Unix-like OS kernel(ironclad-os.org)
358 points by vitalnodo | 121 comments
Homepage of Ironclad, a formally verified, real-time capable, Unix-like OS kernel written in SPARK and Ada with POSIX compatibility and MAC.
Rust CUDA Project(github.com)
124 points by sksxihve | 38 comments
Related stories
Nvidia announces native GPU programming in Rust(developer.nvidia.com)
898 points by nonmaskable | 354 comments
NVIDIA Technical Blog post introducing CUDA Rust, describing two approaches for writing GPU kernels natively in Rust.
Rust running on every GPU(rust-gpu.github.io)
576 points by littlestymaar | 195 comments
Blog post by Rust GPU maintainer Christian Legnitto showing a single Rust codebase running on CUDA, SPIR-V/Vulkan, Metal, DirectX 12, and WebGPU.
Rust cross-platform GPUI components(github.com)
466 points by xvilka | 201 comments
GitHub repository for gpui-component, a Rust library of UI components for building cross-platform desktop applications with GPUI.
AMD may get across the CUDA moat(hpcwire.com)
498 points by danzheng | 266 comments
HPCwire article by Doug Eadline discussing how AMD's Instinct GPUs and software stack might overcome Nvidia's CUDA software lock-in for GenAI workloads.
Nvidia Warp: A Python framework for high performance GPU simulation and graphics(github.com)
453 points by jarmitage | 125 comments
GitHub repository for NVIDIA Warp, a Python framework for writing high-performance GPU simulation and graphics code.
Nvidia adds native Python support to CUDA(thenewstack.io)
396 points by apples2apples | 158 comments
The New Stack article reporting that NVIDIA has added native Python support to its CUDA GPU software toolkit.












