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
Repository Index
47,133 repositories indexed
121–134 of 134 · Most stars
A modern mod manager for all your games with built-in Archipelago support.
- bepinex
- game-modding
- linux
- linux-gaming
A fast, correct CMake formatter — cmake-format, reimagined in Rust.
Code formatter for the Yew framework
A Rust-based wrapper for concurrent Terraform apply, enabling multi-deployment support.
- terraform
- tfswitch
- tofu
Rust crate for parsing/formatting Python literals
🔥 n01d-forge - Secure Cross-Platform Image Burner with Encryption | LUKS, VeraCrypt, Secure Erase, Hash Verification
- bootable-usb
- cross-platform
- encryption
- etcher-alternative
Cross-platform GameMaker extension for getting system information and resource usage
- extension
- gamemaker
- gamemaker-studio-2
Examples of how different cards perform far better that others
A fast Fortran formatter, written in Rust
- cli-tools
- code-formatter
- formatter
- rust
A simple example program for creating password archives in ZIP format, running in a browser using WebAssembly.
Terraform and OpenTofu version switcher written in Rust
eBPF system monitor that runs inside the kernel. Sub-millisecond samples, zero allocations, faster than top.
Library to work with Waves blockchain :chains:
- waves
- wavesplatform
- blockchain
- rust