Stars
A tiny IX for slippage checks written in sBPF ASM
This is a solana lite rpc which optimizes sending transactions and confirming transactions strategies.
cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code
A high performance rust-powered UI layout library
rbuilder is a blazingly fast, state of the art Ethereum MEV-Boost block builder written in Rust
An introduction to programming language theory in Agda
Run macOS on QEMU/KVM. With OpenCore + Monterey + Ventura + Sonoma support now! Only commercial (paid) support is available now to avoid spammy issues. No Mac system is required.
A library for building fast, reliable and evolvable network services.
Code samples for Elixir in Action book
HTTP Service Performance & Load Testing Framework
Mobile UI components made with Tailwind CSS
Telegram bot framework and API client written in Elixir
Agda is a dependently typed programming language / interactive theorem prover.
Elixir implementation of an Ethereum consensus client, which offers high reliance & fault tolerance
Rust-based framework to Fuzz and Integration test Solana programs to help you ship secure code.
A massively parallel, high-level programming language
A complete Toolkit to interact with Supabase APIs from Elixir
Lean 4 programming language and theorem prover
Block builder bid poller, written in pure Rust
The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes