Execute Rust code carefully, with extra checking along the way
- Stars
- 496
- Forks
- 20
- Pushed
- 9d ago
Current GitHub adoption and maintenance signals.
Execute Rust code carefully, with extra checking along the way
A tutorial for the Rust language
Keep git repositories on multiple servers in sync
Simple Application Sandboxing
Build a rustc sysroot with custom flags
Linux Laptop Screen Setup
Flatpak version of [Keybase](https://keybase.io/)
Dynamically and securely update DNS zones via CGI
Python DNS zone files
A tiny client for Let's Encrypt
RFCs for changes to Rust
ansible playbooks for my servers
Rust port of C++ llvm::APFloat library
No repository description provided.
Restricted file access via SSH
An interpreter for Rust's mid-level intermediate representation
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Docker image containing OPAM for CI builds
A safe, concurrent, practical language.
Testing the Rust standard library with Miri, continuously
Enhancing Proxy for YouTube RSS-feeds
A guide to how rustc works and how to contribute to it.
This is the canonical git mirror of the LLVM subversion repository. The repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
Utilities for synchronizing Josh subtrees to the Rust compiler repo
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Rust's standard library vendor-specific APIs and run-time feature detection
Install a rustc master toolchain usable from rustup
Coordinates asynchronous decision making on Rust repositories. Status of tracked issues and PRs can be viewed at https://rfcbot.rs.
A test framework for testing rustc diagnostics output
Rust teams structure
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
The testing ground for the future of portable SIMD in Rust
Data for this-week-in-rust.org
A private messenger for Android.
Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.
Rust bindings for libffi
High-level Capstone system bindings for Rust
A trait object based error handling type for easy idiomatic error handling and reporting in Rust applications
Browserpass web extension
A guide to changes between various editions of Rust
Rust implementation of Google protocol buffers
Small, fast, synchronization primitives
The most used Rust library for date and time handling.
cross-platform Rust API for memory mapped IO
No repository description provided.
A bot that integrates with GitHub and your favorite continuous integration service
Temporary file library for rust
Gnome Shell extension to remove the Accessibility button
Just One Single History
A Rust compiler front-end for IDEs
Raw bindings to platform APIs for Rust
An embedded scheme interpreter in Rust
Flexible concrete Error type built on std::error::Error
Rust library for checking the installed/running rustc's version.
derive(Error) for struct and enum error types
Atomic operations on potentially uninitialized integers.
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Named Props for Iris
Rust bindings to the tinydtls C library
Solving i18n for client-side and resource-constrained environments.
No repository description provided.
No repository description provided.
Metal IO library for Rust
Linux namespaces and seccomp-bpf sandbox
Rust bindings to Windows API
reproducer for https://github.com/rust-lang/cargo/issues/11138
libgit2 bindings for Rust
Records build and test status of external tools bundled with the Rust repository.
Emulate OSS device using CUSE and ALSA
Application level tracing for Rust.
A next-generation test runner for Rust.
Compact string type for zero-copy parsing
Fork of std::sync::Arc with lots of utilities useful for FFI
Efficient, lock-free, bounded Rust broadcast channel
A refreshingly simple data-driven game engine built in Rust
sptr: The Strict Provenance Polyfill
Simple log parsing utility for the systemd journal
Scraping communities for census data
Parser and evaluator for Cargo's flavor of Semantic Versioning
An HTTP library for Rust
Goose converts a small subset of Go to Coq
No repository description provided.
Marshaling library targeting Goose
A push parser for the HTTP 1.x protocol in Rust.
FlatBuffers: Memory Efficient Serialization Library
An extraction of the compiletest utility from the Rust compiler
Hypothesis-like property testing for Rust
Rustup package status history
Github hooks to provide an encouraging atmosphere for new contributors
馃 GitHub Actions for Rust - recipes, discussions, questions and ideas
Extra RNGs
Create and merge any persistent data at compile time.
Minimal Rust code for creating a window, automatically choosing a backend window manager and graphics API.
A rust crate to create a pure rust keyboard firmware.
No repository description provided.
Contains a list of security related Rust projects.
A HashMap variant that spreads resize load across inserts
A port of Java's ConcurrentHashMap to Rust
A `VecDeque` (and `Vec`) variant that spreads resize load across pushes.
A web framework for Rust.