Home of the operational semantics team, used primarily for procedural items
☆23Sep 14, 2026Updated last month
Alternatives and similar repositories for opsem-team
Users that are interested in opsem-team are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A writer for object file ar archives☆16Oct 22, 2026Updated last week
- Synchronize the team repository with the services we use☆20Mar 31, 2025Updated last year
- Coordination repository for the Rust infra team☆46Oct 2, 2026Updated 3 weeks ago
- This repository contains all the documents related to the Rust release team.☆17Jan 8, 2025Updated last year
- Generic Associated Types lang team initiative☆15Jan 25, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Rust port of C++ llvm::APFloat library☆23Oct 11, 2026Updated 2 weeks ago
- Generate release notes for "The Rust Programming Language"☆20Jan 25, 2026Updated 9 months ago
- The home for Rust's governance documentation, such as team charters.☆14Jan 26, 2022Updated 4 years ago
- OpenGraph image generation for crates.io packages☆17Sep 22, 2026Updated last month
- Repo for coordinating the creation, distribution, collection, and analysis of surveys for the Rust project.☆38Updated this week
- Remove Cargo.lock lockfile☆35Aug 19, 2026Updated 2 months ago
- A homebrew tap☆16Oct 23, 2026Updated last week
- Testing the Rust standard library with Miri, continuously☆23Oct 1, 2026Updated 3 weeks ago
- Rust `Vec` that can store unsized values☆22Sep 13, 2025Updated last year
- 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 place to house minutes and other documents related to the core team.☆14Dec 16, 2020Updated 5 years ago
- template for *.github.io's☆12May 14, 2025Updated last year
- Fork of https://github.com/rust-osdev/uefi-rs☆13Jan 26, 2026Updated 9 months ago
- No longer used, use https://github.com/rust-lang/llvm-project instead☆13May 16, 2019Updated 7 years ago
- The CompCert formally-verified C compiler☆12Oct 23, 2026Updated last week
- Home of the "types team", affiliated with the compiler and lang teams.☆98Oct 2, 2026Updated 3 weeks ago
- Wiki for design work going beyond Rust's current reference types☆14Oct 2, 2026Updated 3 weeks ago
- 書籍『システム制御理論と統計的機械学習』のサポートページです。☆12Aug 4, 2026Updated 2 months ago
- experimental datalog rules for a next gen polonius☆19Sep 6, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Rust-specific fork of Enzyme.☆12Oct 7, 2026Updated 3 weeks ago
- A Model Context Protocol (MCP) server that provides tools for interacting with JMAP (JSON Meta Application Protocol) email servers. Built…☆12Dec 22, 2025Updated 10 months ago
- Curated dataset of standard-library replacements for crates, surfaced on crates.io☆35Updated this week
- Verify naive = datafrog-opt, in rust/polonius☆17Jun 26, 2025Updated last year
- TARGET and HOST tuples☆18Sep 8, 2026Updated last month
- ros3fs is a Linux FUSE adapter for AWS S3 and S3 compatible object storages.☆14Oct 19, 2023Updated 3 years ago
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year
- Standards compliant, fast, secure markdown processing library in C☆14Jan 20, 2017Updated 9 years ago
- An implementation of Piet's text interface using cosmic-text☆15Apr 23, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A stable hashing algorithm used by rustc: cross-platform, deterministic, not secure☆12Jul 26, 2025Updated last year
- ☆19Apr 3, 2024Updated 2 years ago
- Cross Team Collaboration Fun Times☆17Oct 16, 2022Updated 4 years ago
- Self-hosted Subset of C/C++ Compiler☆13Jul 21, 2020Updated 6 years ago
- Tooling to publish Rust releases.☆23Oct 22, 2026Updated last week
- A tool that allows you to monitor game servers inside a terminal including general server info, users + vars list, and latency history/gr…☆22Aug 22, 2026Updated 2 months ago
- Rust project perspectives on LLMs☆18Mar 27, 2026Updated 7 months ago