Highlights
- Pro
Stars
- All languages
- Assembly
- C
- C++
- CSS
- Circom
- Cuda
- Dockerfile
- Elixir
- GCC Machine Description
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- KCL
- Kotlin
- Lean
- Lua
- MDX
- Makefile
- Nearley
- Nix
- Noir
- OCaml
- PLpgSQL
- Python
- Ruby
- Rust
- SMT
- Shell
- Solidity
- Standard ML
- Starlark
- SystemVerilog
- TeX
- TypeScript
- Vyper
- WebAssembly
- Yul
- hoon
Benchmark suite for smart-contract fuzzers
Fast filesystem snapshot and rollback tool for benchmarking
Accounts SDK for Apps and Wallets building on Tempo.
Core traits and libraries extracted from Foundry, published as crates so they can be depended on without git references.
tidx indexes Tempo chain data into a hybrid PostgreSQL + ClickHouse architecture for fast point lookups (OLTP) and lightning-fast analytics (OLAP).
🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs
Tokio Telemetry you can run in production
Command-line wallet and HTTP client for the Tempo blockchain, with built-in Machine Payments Protocol support.
FROST (FPGA RISC-V Open-sourced in SystemVerilog by TwoSigma)
Repository containing Rust crates common between other Facebook open source projects (like Mononoke or Eden).
The home of the Plank Compiler and Sensei IR, its language agnostic EVM IR & backend.
Type-safe, extensible, and high-performance background processing library for Rust
DuckLake is an integrated data lake and catalog format
Production-quality volatility surface library for Rust
A declarative framework for rule-based state machines in Rust.
Blazing fast and lightweight PostGIS, MBtiles and PMtiles tile server, tile generation, and mbtiles tooling.
Magical Deterministic Simulator for distributed systems in Rust.
Reactive Network of Operators In Rust. Framework for Parallel and distributed computation inspired from the DataFlow model
Bf-Tree is a modern read-write-optimized concurrent larger-than-memory range index in Rust from MS Research.
mini cli search engine for your docs, knowledge bases, meeting notes, whatever. Tracking current sota approaches while being all local
Collection of cryptographic hash functions written in pure Rust