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 last month
- 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 6 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- 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
- TorrentZip is a program is to use standard values when creating zips to create identical files over multiple systems☆14Oct 26, 2025Updated 5 months 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
- plugin☆10Mar 26, 2023Updated 3 years ago
- A simple plugin that adds names to terminals☆10Apr 26, 2023Updated 2 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 🌱Totoro? Using gh extension. gh ibli was acquired early because of its high class address.☆20Aug 25, 2021Updated 4 years ago
- Conventional Commit API☆32Apr 1, 2026Updated last week
- LSP inline hints for Lua, intended for use with Neovim.☆15May 31, 2023Updated 2 years ago
- Mirror of https://git.sr.ht/~nedia/auto-save.nvim☆11Oct 18, 2023Updated 2 years ago
- A protocol to create and run internet-native companies☆41Mar 31, 2025Updated last year
- Make every colorscheme fast (WIP)☆11Apr 16, 2023Updated 2 years ago
- Game Boy Advance emulator with audio support written in Rust 🦀🎮☆16Feb 26, 2025Updated last year
- An experiment with LSP hints☆13Jul 19, 2022Updated 3 years ago
- Wrappers for QuickCheck and PropEr testing tools☆21Jan 1, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- CLI for common OBS operations while streaming using WebSocket☆37Apr 4, 2026Updated last week
- A cargo subcommand to bundle a Rust project into a single file ✨☆18Jan 15, 2025Updated last year
- Load and resolve Cargo configuration.☆18Apr 3, 2026Updated last week
- Aragon DAO explorer☆24Sep 12, 2020Updated 5 years ago
- Edit toml files while preserving whitespace and formatting from Lua.☆19Feb 10, 2026Updated 2 months ago
- Multiplayer FPS Tutorial in Godot☆11Aug 20, 2021Updated 4 years ago
- Help protect against malicious build scripts☆27Updated this week
- ☆15Jun 23, 2023Updated 2 years ago
- Anduin - game engine written in rust with usage of Vulkan API☆13Nov 24, 2018Updated 7 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Feline configuration that picks colors from your current colorscheme.☆11Mar 4, 2023Updated 3 years ago
- Experimental features for telescope in RUST? The safest telescope known to HUMANITY☆50Oct 22, 2021Updated 4 years ago
- my own take on the discord rich presence plugin in neovim☆13May 12, 2023Updated 2 years ago
- Remove Cargo.lock lockfile☆34Dec 20, 2025Updated 3 months ago
- A package for common types for Cargo index interactions, and conversion between them.☆26Nov 15, 2025Updated 4 months ago
- ☆14Jan 24, 2023Updated 3 years ago
- a humble blab.im clone☆10Jan 3, 2017Updated 9 years ago