53 Repositories
Rust coreutils-programs Libraries
Bootstrap, build and deploy sBPF assembly programs with ease
sbpf A simple scaffold to bootstrap sBPF Assembly programs. Dependencies Please make sure you have the latest version of Solana Command Line Tools ins
Terminal User Interface to help debugging programs written for Triton VM.
Triton TUI Terminal User Interface to run and debug programs written for Triton VM. Getting Started Triton TUI tries to be helpful. 🙂 List possible (
Compile your WebAssembly programs into SPIR-V shaders
wasm2spirv - Compile your WebAssembly programs into SPIR-V shaders Warning wasm2spirv is still in early development, and not production ready. This re
Rust library for compiling and running other programs.
Exers 💻 Exers is a rust library for compiling and running code in different languages and runtimes. Usage example fn main() { // Imports...
Extract data from helium-programs via Solana RPC and serves it via HTTP
hnt-explorer This application extracts data from helium-programs via Solana RPC and serves it via HTTP. There are CLI commands meant to run and test t
Simple shared types for multi-threaded Rust programs
Keep Calm (and call Clone) Simple shared types for multi-threaded Rust programs: keepcalm gives you permission to simplify your synchronization code i
Gain intuition about the goings-on of your multithreaded/multicomponent programs
Intuition: a super simple profiler with a terminal ui based on tui-rs. Gain intuition about the goings-on of your multithreaded/multicomponent program
Gum Program Library, a collection of on chain programs maintained by Gum
Gum, at its core, is a decentralized social media protocol on Solana. It unbundles traditional social media into Social Legos similar to how Defi unbu
Write Anchor-compatible Solana programs in TypeScript
Axolotl Write Achor-compatible Solana programs using TypeScript. Writing Rust is hard, but safe. It's also the go-to language for writing Solana progr
CLI tool for deterministically building and verifying executable against on-chain programs or buffer accounts
Solana Verify CLI A command line tool to build and verify solana programs. Users can ensure that the hash of the on-chain program matches the hash of
I'm currently learning Rust and these are my first programs with this language
learning-Rust I follow the Rust by example official doc for learning That is also available in 'doc pdf' alongside another great rust learning sheet I
A additional Rust compiler pass to detect memory safe bugs of Rust programs.
SafeDrop A additional Rust compiler pass to detect memory safe bugs of Rust programs. SafeDrop performs path-sensitive and field-sensitive inter-proce
A template for command-line Rust programs
This is a template for command-line Rust programs. Clone and run the rename script with both a lowercase and UpperCase name. In the dev profile, depen
Small programs written in Rust. Warm up for the upcoming Selenium Manager
Rust Examples This repository contains several example programs written in Rust. Selenium Manager These examples are used as warm up for the upcoming
Write Anchor-compatible Solana programs in Python
seahorse: Write Solana programs in Python The ease of Python with the safety of Rust. Seahorse lets you write Solana programs in Python. It is a commu
How to run Rust user programs on Xv6-RISC-V
Rust on Xv6-RISC-V How to run user Rust program in Xv6-RISC-V Run make init to add rist-v target to rustc Run make build to build the program. It will
Generate Anchor IDL for Native Solana Programs.
Native Solana To Anchor IDL Autogenerate Anchor IDL from programs written in Native Solana. Disclaimer The instructions must follow strict set of rule
Deploy your Solana programs during high load.
solana-deployer IMPORTANT: There is a known bug with the current program that will be fixed soon. In the meantime you should deploy from Solana Playgr
tracing - a framework for instrumenting Rust programs to collect structured, event-based diagnostic information
tracing-appender Writers for logging events and spans Documentation | Chat Overview tracing is a framework for instrumenting Rust programs to collect
A box full of utilities, a unworthy replacement for coreutils / busybox / toybox.
Gearbox A box full of utilities, a unworthy replacement for coreutils / busybox / toybox. List of content How to setup Systems Ubuntu Arch How to buil
Cogo is a high-performance library for programming stackful coroutines with which you can easily develop and maintain massive concurrent programs.
Cogo is a high-performance library for programming stackful coroutines with which you can easily develop and maintain massive concurrent programs.
Adds zero-cost stack overflow protection to your embedded programs
flip-link adds zero-cost stack overflow protection to your embedded programs The problem Bare metal Rust programs may not be memory safe in presence o
frawk is a small programming language for writing short programs processing textual data
frawk frawk is a small programming language for writing short programs processing textual data. To a first approximation, it is an implementation of t
A collection of Solana-maintained on-chain programs
Solana Program Library The Solana Program Library (SPL) is a collection of on-chain programs targeting the Sealevel parallel runtime. These programs a
Complete code for the larger example programs from the book.
Code Examples for Programming Rust This repository contains complete code for the larger example programs from the book “Programming Rust”, by Jim Bla
Rust-verification-tools - RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
Rust verification tools This is a collection of tools/libraries to support both static and dynamic verification of Rust programs. We see static verifi
Py-spy - Sampling profiler for Python programs
py-spy: Sampling profiler for Python programs py-spy is a sampling profiler for Python programs. It lets you visualize what your Python program is spe
Coreutils - upstream mirror
These are the GNU core utilities. This package is the union of the GNU fileutils, sh-utils, and textutils packages. Most of these programs have sign
Simple verification of Rust programs via functional purification in Lean 2(!)
electrolysis About A tool for formally verifying Rust programs by transpiling them into definitions in the Lean theorem prover. Masters thesis: Simple
Cross-platform Rust rewrite of the GNU coreutils
Cross-platform Rust rewrite of the GNU coreutils
A bunch of commented Anchor programs and JavaScript tests, to help me learn Anchor.
learning-anchor A bunch of commented Anchor programs and JavaScript tests, to help me learn Anchor.
suidsnoop is a tool based on eBPF LSM programs that logs whenever a suid binary is executed and implements custom allow/deny lists.
suidsnoop Log suid binaries and enforce per-uid suid policy. suidsnoop is a tool for logging whenever a suid binary is executed on your system and opt
Synchronized shadow state of Solana programs available for off-chain processing.
Solana Shadow The Solana Shadow crate adds shadows to solana on-chain accounts for off-chain processing. This create synchronises all accounts and the
A Rust library for managing eBPF programs.
oxidebpf oxidebpf is a permissive licensed Rust library for managing eBPF programs. Motivation The motivation behind oxidebpf is to create a permissiv
🧑✈ Version control and key management for Solana programs.
captain 🧑✈️ Version control and key management for Solana programs. Automatic versioning of program binaries based on Cargo Separation of deployer a
Examples of Solana on-chain programs
spl-examples List of Solana on-chain programs which demonstrate different aspects of Solana architecture. 01__state It's a counter program. Each user
cargo extension for flashing embedded rust programs via dfu based on jacobrosenthals cargo-hf2
cargo-dfu This crate provides a cargo subcommand to flash ELF binaries via dfu Most STM chips will probably work with this, although you might need to
A suite of programs for Solana key management and security.
🔑 goki Goki is a suite of programs for Solana key management and security. It currently features: Goki Smart Wallet: A wallet loosely based on the Se
⬆ A program for deploying and upgrading programs.
DeployDAO Migrator WARNING: This code is a work in progress. Please do not use it as is. A program for deploying and upgrading programs. About The Mig
The Solana Program Library (SPL) is a collection of on-chain programs targeting the Sealevel parallel runtime.
Solana Program Library The Solana Program Library (SPL) is a collection of on-chain programs targeting the Sealevel parallel runtime. These programs a
Command line interface for Solana Metaplex programs.
Metaplex Command Line Interface This is a command line interface for creating and managing non-fungible tokens on the Solana blockchain through the Me
A logging library for eBPF programs.
aya-log - a logging library for eBPF programs Overview aya-log is a logging library for eBPF programs written using aya. Think of it as the log crate
Rust programs written entirely in Rust
mustang Programs written entirely in Rust Mustang is a system for building programs built entirely in Rust, meaning they do not depend on any part of
⛏ An open protocol for launching liquidity mining programs on Solana.
⛏ Quarry An open protocol for launching liquidity mining programs on Solana. Background Quarry was built with the intention of helping more Solana pro
🕶 Assorted checks and validations for writing safer Solana programs.
vipers 😎 Assorted checks and validations for writing safer Solana programs. Motivation Solana's fee mechanism is unlike Ethereum's, in that the numbe
Run your Rust CLI programs as state machines with persistence and recovery abilities
step-machine Run your CLI programs as state machines with persistence and recovery abilities. When such a program breaks you'll have opportunity to ch
RustViz is a tool that generates interactive visualizations from simple Rust programs to assist users in better understanding the Rust Lifetime and Borrowing mechanism.
Interactively Visualizing Ownership and Borrowing for Rust
Visualization for Timely Dataflow and Differential Dataflow programs
DDShow Visualization for Timely Dataflow and Differential Dataflow programs Getting started with ddshow First, install ddshow via cargo. As of now dds
A collection of small Rust programs for doing weird things
This is a repo of small programs, proof of concepts, or templates written in Rust that relate in some way to hacking and/or CTF. I think Rust is real
Linear Programming for Rust, with an user-friendly API. This crate allows modeling LP problems, and let's you solve them with various solvers.
good_lp A Linear Programming modeler that is easy to use, performant with large problems, and well-typed. use good_lp::{variables, variable, coin_cbc,
Lisp dialect scripting and extension language for Rust programs
Ketos Ketos is a Lisp dialect functional programming language. The primary goal of Ketos is to serve as a scripting and extension language for program
Everything you need to know about cross compiling Rust programs!
rust-cross Everything you need to know about cross compiling Rust programs! If you want to set up your Rust toolchain as a cross compiler, you have co
Cross-platform Rust rewrite of the GNU coreutils
uutils coreutils uutils is an attempt at writing universal (as in cross-platform) CLI utilities in Rust. This repository is intended to aggregate GNU