Watch anything together in-sync with your friends

Ratatui widget for rendering image graphics in terminals that support it

A performant and modular zkVM framework built for customization and extensibility.

A proof assistant platform automating preprocessing and normalization procedure, built with react redux frontend, Golang and Python microservices as well as a Python domain layer running on AWS Lam…

Gaussian Splat Viewer made from scratch using Rust and WebGL.

Window Switcher is a fuzzy-find window overlay for macOS

NewTM Website using Hugo

An open source SDK for logging, storing, querying, and visualizing multimodal and multi-rate data

Lyric finder library in rust leveraging genius.com

Each year I'll try to finish AoC with a different language

Spicy GitHub Roast 🔥

LLM101n: Let's build a Storyteller

This is my home page

Aya Streaming Is a website that helps combine multiple streams of chat messages together, unify the experiences

Emacs LSP performance booster

LLM training in simple, raw C/CUDA

The Modular Platform (includes MAX & Mojo)

ECE 459: Programming for Performance

A 3D Voxel Game written with Pure OpenGl and C++, using my own game engine.

Application level tracing for Rust.

The Rust OpenTelemetry implementation

A refreshingly simple data-driven game engine built in Rust

for my blog https://algao1.github.io/blurb/

Minimalist ML framework for Rust

This repo is for StudyHub (a full-stack web app that helps student to find the study group that fits their needs!) server development. This involves of all streaming APIs that help building and mai…