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
CLI and MCP server for Bridge.xyz stablecoin infrastructure
High-performance low-level HTTP/1.1 micro-framework.
[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
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.
Local first semantic and hybrid BM25 grep / search tool for use by AI and humans!
Multi-Purpose Launcher with a lot of features. Highly Customizable and fast.
Blob storage designed for huge amounts of random reads and small objects with constant latency
World's fastest generic CRC calculator for all known CRC-16, CRC-32, and CRC-64 variants, as well as bring-your-own custom parameters, using SIMD intrinsics, which can exceed 100GiB/s on modern sys…
An asynchronous runtime built on top of io-uring.