Highlights
- Pro
Stars
pierricgimmig / orbit
Forked from google/orbitC/C++ Performance Profiler
Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety anโฆ
Unbiased & physically-based GPU HIPRT (C++/HIP) interactive path tracing renderer
Hydra-enabled GPU path tracer that supports MaterialX and MDL
C header (and language binding metadata) generator for Dear ImGui
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.