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

Tracking WebAssembly proposals

Build fast web applications with Rust.

A high performance rust-powered UI layout library

Intel® Implicit SPMD Program Compiler

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

Open Source realtime backend in 1 file

HTTP Service Performance & Load Testing Framework

Mobile UI components made with Tailwind CSS

Telegram bot framework and API client written in Elixir

Telegram library for the Elixir language

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

🐟 GRiSP Erlang Runtime Library

Erlang on Xen

Rust Bitcoin library

Lightning Network Daemon ⚡️

Block builder bid poller, written in pure Rust

The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes