Hardware hacker’s flying probe automation stack for agent-driven target discovery, microscope mapping, safety-monitored CNC motion, probe review, and controlled pin probing.

Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.

Zones are private blockchains anchored to Tempo, with native support for confidential balances and transactions. Zones inherit compliance from Tempo L1 and support interoperability with Tempo for m…

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.