Pinned Loading

1. emu8085 emu8085 Public

   emu8085 is an Intel 8085 emulator written in Rust

   Rust 1

2. raytracer raytracer Public

   An Offline PBR Renderer using Raytracing in NVIDIA CUDA C++

   C

3. wgpu_sandbox wgpu_sandbox Public

   This is a sandbox for graphics programming in WGPU (a Rust API based on WebGPU that compiles to native APIs such as Vulkan, OpenGL, DirectX, Metal and on the web via WebGPU)

   Rust

4. animal_faces_classification animal_faces_classification Public

   A Convolutional Neural Network (CNN) made in PyTorch to classify images as a cat, dog or some other wild animal.

   Python

5. wave-simulation wave-simulation Public

   A GPU based simulation of the Wave Equation

   C

6. LeanFormalize LeanFormalize Public

   A Lean Metaprogram to automatically generate specification and proof using LLMs.

   Lean