Vulkan, OptiX and CUDA Interoperation Modular Rendering Library and Framework for PC/Linux/Android

CUDA Tile IR is an MLIR-based intermediate representation and compiler infrastructure for CUDA kernel optimization, focusing on tile-based computation patterns and optimizations targeting NVIDIA te…

A Rust compiler backend targeting CIL(.NET IR) and C.

GPUfs - File system support for NVIDIA GPUs

`std::execution`, the proposed C++ framework for asynchronous and parallel programming.

the universe, mounted on your filesystem 🪐

Agentic workflow for tackling all open Erdos problems at once.

UlamAI is an open-source Lean theorem prover and formalizer.

AppKit + Wagmi + Tempo Wallet Example

Fast and accurate AI powered file content types detection

Universal Swarm Intelligence Engine

Library for reducing tail latency in RAM reads

Robust and fast topic models with sentence-transformers.

An agentic research orchestrator for Go that is optimized to use free search & low-cost limited context window llms.

Boring user authentication code for golang

Do Language

An experimental stackless Lua VM implemented in pure Rust

A routing stack written in Rust.

An implementation of the Uxn CPU and Varvara Ordinator

Verified arithmetic circuit simplifier: Lean 4 proof + Rust FFI

Format and copy content to paste into Slack with styles preserved

Convert Word documents (.docx files) to HTML

Accounts SDK for Apps and Wallets building on Tempo.

Audio Plugin for Audio to MIDI transcription using deep learning.

OpenVM post-quantum signature verification PoC for leanSig

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

Lean Ethereum protocol specifications and test vector generation framework.