Home of the operational semantics team, used primarily for procedural items
☆20Jan 4, 2025Updated last year
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 homebrew tap☆16Feb 23, 2026Updated 2 months ago
- oh no oh no this is not good very bad very good☆11Mar 8, 2023Updated 3 years ago
- Rust `Vec` that can store unsized values☆22Sep 13, 2025Updated 8 months ago
- 💰 useToken() · No fuss Ethereum token metadata.☆17Mar 8, 2023Updated 3 years ago
- a gh extension that prints out an oblique strategy☆19Jul 11, 2022Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Aragon DAOs for Github; leveraging SourceCred for token airdrops☆14Jan 24, 2023Updated 3 years ago
- Support the community with a helpful ❤️ repo review ❤️☆15Nov 13, 2023Updated 2 years ago
- A better Arc / Rc [Still in research mode]☆19Feb 15, 2020Updated 6 years ago
- ☆12Jan 8, 2022Updated 4 years ago
- A collection of Ethereum Virtual Machine benchmarks☆22Jun 7, 2024Updated last year
- Synchronize the team repository with the services we use☆18Mar 31, 2025Updated last year
- Windows Sets sample from Build 2018☆11Apr 16, 2022Updated 4 years ago
- Conventional Commit API☆33May 1, 2026Updated 3 weeks ago
- A protocol to create and run internet-native companies☆41Mar 31, 2025Updated last year
- 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.
- A collection of techniques to reduce Rust code in order to get better help☆18May 26, 2020Updated 5 years ago
- Wrappers for QuickCheck and PropEr testing tools☆21Jan 1, 2017Updated 9 years ago
- CLI for common OBS operations while streaming using WebSocket☆39May 1, 2026Updated 3 weeks ago
- Load and resolve Cargo configuration.☆20May 2, 2026Updated 2 weeks ago
- Aragon DAO explorer☆24Sep 12, 2020Updated 5 years ago
- Multiplayer FPS Tutorial in Godot☆11Aug 20, 2021Updated 4 years ago
- Help protect against malicious build scripts☆27May 12, 2026Updated last week
- ☆15Jun 23, 2023Updated 2 years ago
- Experimental features for telescope in RUST? The safest telescope known to HUMANITY☆50Oct 22, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Remove Cargo.lock lockfile☆34Dec 20, 2025Updated 5 months ago
- A package for common types for Cargo index interactions, and conversion between them.☆26Apr 29, 2026Updated 3 weeks ago
- ☆14Jan 24, 2023Updated 3 years ago
- Some possibly useful scripts for the chia client.☆22Oct 2, 2023Updated 2 years ago
- a humble blab.im clone☆10Jan 3, 2017Updated 9 years ago
- Generalised ERC721 Auction House☆12Dec 16, 2021Updated 4 years ago
- ☆29May 9, 2026Updated last week
- ☆27May 13, 2026Updated last week
- ☆16Mar 29, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Rust implementations of Ethereum Improvement Proposals (EIPs)☆51Updated this week
- Primitive types for MAC addresses in Rust☆11Jun 28, 2023Updated 2 years ago
- Erlang port for use libphonenumber from erlang☆20Mar 20, 2016Updated 10 years ago
- Command line time tracker compatible with gtimelog☆15Nov 17, 2025Updated 6 months ago
- Offline dictionary using data from wiktionary.☆19Nov 27, 2024Updated last year
- ☆11Feb 27, 2020Updated 6 years ago
- Macros for auto-upgradable Bazel build dependencies to use with --experimental_resolved_file_instead_of_workspace☆16Feb 24, 2023Updated 3 years ago