This documentation is an old archive. Please see https://rust.docs.kernel.org instead.
☆22Oct 16, 2024Updated 2 years ago
Alternatives and similar repositories for docs
Users that are interested in docs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆25Nov 27, 2020Updated 5 years ago
- A standalone tool to test the Linux Video4Linux2 Request API☆29Dec 8, 2021Updated 4 years ago
- A runtime-independent crate for transforming Wasm-DWARF☆12Mar 11, 2020Updated 6 years ago
- ☆13Jan 9, 2023Updated 3 years ago
- Korn - C Verification with Loop Invariants and Summaries☆12Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A multi-language formatting plugin for the Micro text-editor. Moved to Gitlab☆13Apr 15, 2018Updated 8 years ago
- Administration dashboard for a hotspot and freeradius 3.x☆15May 22, 2019Updated 7 years ago
- GCC project to add a WASM target☆10Dec 29, 2022Updated 3 years ago
- OCEAN – Open-source CXL Emulation at Hyperscale Architecture and Networking☆14Feb 9, 2026Updated 8 months ago
- Gestalt: a WebAssembly-based programming language☆13Jul 8, 2026Updated 3 months ago
- heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape☆14Jul 20, 2025Updated last year
- ☆12Jul 10, 2020Updated 6 years ago
- Transcriptions for episodes of The Manifest Podcast☆13Aug 23, 2021Updated 5 years ago
- Work in progress: EditorConfig in-browser live demo☆14Apr 26, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated 8 months ago
- Deprecated. Use https://github.com/congard/nvidia-system-monitor-qt instead. Task Manager for Linux for Nvidia graphics cards☆14Aug 2, 2019Updated 7 years ago
- A tool for cross-checking Verilog compilers☆15Apr 16, 2025Updated last year
- GitHub Action workflow to tests breakage of Julia packages on pull requests☆11Mar 20, 2021Updated 5 years ago
- Default fonts that we rely on in elementary OS☆13May 6, 2026Updated 5 months ago
- Colourify backtrace output in GDB with Python API☆39Nov 25, 2019Updated 6 years ago
- PPL サマースクール 2025 の資料置き場です。☆16Sep 2, 2025Updated last year
- A place to hold discussions on i18n topics, and to put documents that summarise, support or initiate those discussions.☆23Oct 16, 2026Updated 2 weeks ago
- Webfrontend and rendering script for generating isometric 3D maps of OSM data using osm2pov and povray☆11Jan 1, 2013Updated 13 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An experimental natural language based querying system for Wikipedia☆11Sep 6, 2023Updated 3 years ago
- Mainline Kernel repository for the Allwinner VPU reverse engineering effort☆61May 16, 2019Updated 7 years ago
- The Filesystem Interface to Git FileSystem☆13Nov 12, 2009Updated 16 years ago
- La-MIR is a benchmarking framework to evaluate and analyze the ability of LLMs to understand compiler Intermediate Representation (IR).☆13May 23, 2025Updated last year
- Continuously read/write to disk using random offsets and lengths .☆27Mar 17, 2026Updated 7 months ago
- Rolling release ISO Builder for devel purposes. This is literally bleeding edge insanity; even the builds may fail due to new versions.☆34Jul 22, 2023Updated 3 years ago
- Music composition using Deep Neural Networks (LSTMs).☆10Feb 1, 2022Updated 4 years ago
- Side-by-side diff☆10Feb 12, 2016Updated 10 years ago
- Nola: Later-Free Ghost State for Verifying Termination in Iris☆10Aug 2, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Documents de base sur la CAE Scopen☆11May 18, 2016Updated 10 years ago
- A tool to copy CC-licensed images from Flickr to Wikimedia Commons☆14Jul 31, 2026Updated 3 months ago
- Imperatively install/remove packages while automatically updating a declarative config that records both the package and which package ma…☆12Oct 8, 2026Updated 3 weeks ago
- ProtonVPN's related scripts and static contents.☆26Mar 24, 2018Updated 8 years ago
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year
- Email is a command line program that can send attachments, and stdin as the body of an email.☆13Oct 17, 2015Updated 11 years ago
- 📋 CFP du ToulouseJUG☆10Mar 26, 2024Updated 2 years ago