Main repository for the Linera protocol
- blockchain
- rust
- wasm
47,133 repositories indexed
1–17 of 17 · Most stars
Main repository for the Linera protocol
A scrollable-tiling Wayland compositor.
A full featured, fast Command Line Argument Parser for Rust
Mirror of https://gitlab.redox-os.org/redox-os/redox
EffectCraft: An open-source motion graphics and compositing tool written by scratch in pure Rust
[mirror of https://gitlab.com/veloren/veloren] An open world, open source voxel RPG inspired by Dwarf Fortress and Cube World. This repository is a mirror. Please submit all PRs and issues on our GitLab page.
Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.
Build tool for Arch Linux providing control, review and jailed build options
CLI tool to help keep track of your Git repositories, written in Rust
Self-hosted artifact registry and pull-through cache in one binary. 17 formats: Docker/OCI, Maven, npm, PyPI, Cargo, Go, Raw, RubyGems, Terraform, Ansible Galaxy, NuGet, Pub, Conan, CPAN, RPM, Debian/APT, Hugging Face. No database, about 15 MB RAM idle, supply-chain curation built in.
Fast TUI for searching, inspecting, and queueing pacman/AUR packages.
Cross-platform UI framework for Rust: styled property system, data binding, XAML, control themes and a composition renderer. A port of Avalonia.
A Fediverse and Bluesky bot to post trending rust repositories, inspired by TrendingGithub
Self-hosted artifact repository manager written in Rust. Hosts, proxies and groups 30+ formats: Docker/OCI, Maven, npm, PyPI, Cargo, Go, Helm, NuGet, Hugging Face, Terraform and more. PostgreSQL for metadata, blob stores on disk or S3. An open-source alternative to Nexus and Artifactory.
Kiomet.com real-time strategy game (repository commits may lag behind game updates)
Mission-control style spacecraft tracker in Rust: live ISS, Dragon, Hubble, JWST and Roman orbits, passes and schedules. Retro CRT themes, and a mode for Raspberry Pi + composite CRT.
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436