SPIR-🇹: shader-focused IR to target, transform and translate from 🦀

A GPT Implementation in Rust on top of tch-rs 🔥 🦀

My first Flutter App

A description of Jonathan Blow's programming language, Jai

Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.

We all edit.

A precise specification for "Rust lite / MIR plus"

macOS: mount any linux-supported filesystem read/write using NFS and a microVM

A C++/Rust interop tool

Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need

Toolchain to create JVM-ready Java bytecode from Rust MIR.

The single instruction C compiler

A hot reload system for the Bevy game engine

Python tool to compute the average frame of a video.

C based backend for rustc

A tool for ad hoc profiling

a bluesky client for ios and android

A simulator of gravitationally bound systems.

Toy graphics engine for WGSL compute shaders. Features shader hot reload, generating sounds, frame export & audio/video input for live manipulation.

Transform slides and speaker notes into video

Terminal-based manga reader and downloader with image rendering support

Java Virtual Machine

Kani Rust Verifier

Search for the K12 neighborly polyhedron.

An educational tool aimed to teach the basics of programming to children.

Source tree for the Verified Experimental Kernel Operating System, or VEKOS.

GCC Front-End for Rust