Highlights
Lists (1)
Sort Name ascending (A-Z)
- All languages
- AsciiDoc
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Cairo
- Circom
- Clojure
- CodeQL
- Coq
- Cuda
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F*
- Fennel
- Go
- HCL
- HTML
- Handlebars
- Haskell
- Io
- Janet
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Just
- KCL
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- Makefile
- Markdown
- Max
- Mojo
- Nearley
- Nim
- Nix
- Noir
- OCaml
- PHP
- Perl
- Prolog
- Python
- Racket
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Sage
- Sass
- Scala
- Shell
- Smarty
- Solidity
- Standard ML
- Starlark
- Swift
- SystemVerilog
- TLA
- TeX
- Thrift
- Tree-sitter Query
- TypeScript
- VHDL
- Verilog
- Vim Script
- Vim Snippet
- Vue
- Vyper
- WebAssembly
- Wikitext
- Zig
- eC
- hoon
- reStructuredText
Starred repositories
OpenVM post-quantum signature verification PoC for leanSig
Lightweight coding agent that runs in your terminal
Let your agents spend on your behalf. Your payment credentials are never exposed. You approve every purchase.
Google Workspace CLI — one command-line tool for Drive, Gmail, Calendar, Sheets, Docs, Chat, Admin, and more. Dynamically built from Google Discovery Service. Includes AI agent skills.
Build reproducible Debian VM images for TEE deployments with built-in hardening and attestations.
Reproducible hardened Linux images for confidential computing and safe MEV
Library for reducing tail latency in RAM reads
CLI and MCP server for Bridge.xyz stablecoin infrastructure
High-performance low-level HTTP/1.1 micro-framework.
A CLI tool to switch and manage Codex accounts
[NeurIPS '25] GSO: Challenging Software Optimization Tasks for Evaluating SWE-Agents
Edge is a high level, strongly statically typed, multi-paradigm domain specific language for the Ethereum Virtual Machine (EVM) built in Rust.
Rust port of wevm/incur — CLI framework for agents and humans
A benchmark and harness for finding and exploiting smart contract bugs
Mobile and Web client for Codex and Claude Code, with realtime voice, encryption and fully featured
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…
Fast filesystem snapshot and rollback tool for benchmarking
Bf-Tree is a modern read-write-optimized concurrent larger-than-memory range index in Rust from MS Research.
tidx indexes Tempo chain data into a hybrid PostgreSQL + ClickHouse architecture for fast point lookups (OLTP) and lightning-fast analytics (OLAP).
Specifications for the Machine Payments Protocol - powered by the "Payment" HTTP authentication scheme
Command-line wallet and HTTP client for the Tempo blockchain, with built-in Machine Payments Protocol support.
Nvim plugin for reviewing PRs with side by side diffs, inline comments, and persistent review state.





