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 7 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
- 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.
- 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☆15Oct 26, 2025Updated 6 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
- 📸 Neovim plugin to take screenshots of your Neovim session.☆13Jan 18, 2025Updated last year
- 🌱Totoro? Using gh extension. gh ibli was acquired early because of its high class address.☆20Aug 25, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆16Apr 14, 2026Updated 2 weeks ago
- Immutable (a.k.a. persistent or pure-functional) deque, set, and map data structures in portable Scheme.☆14Sep 14, 2020Updated 5 years ago
- Conventional Commit API☆33Apr 16, 2026Updated 2 weeks ago
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆11Nov 14, 2024Updated last year
- A balanced unbounded interval-tree in Rust with associated values in the nodes☆13Nov 22, 2022Updated 3 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
- A collection of techniques to reduce Rust code in order to get better help☆18May 26, 2020Updated 5 years ago
- Make every colorscheme fast (WIP)☆11Apr 16, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Binary rational numbers in Coq [maintainer=@herbelin]☆15Dec 30, 2023Updated 2 years ago
- Lenses in Coq☆17Oct 7, 2022Updated 3 years ago
- Wrappers for QuickCheck and PropEr testing tools☆21Jan 1, 2017Updated 9 years ago
- CLI for common OBS operations while streaming using WebSocket☆38Apr 4, 2026Updated 3 weeks ago
- A cargo subcommand to bundle a Rust project into a single file ✨☆18Jan 15, 2025Updated last year
- Load and resolve Cargo configuration.☆20Apr 17, 2026Updated 2 weeks ago
- Aragon DAO explorer☆24Sep 12, 2020Updated 5 years ago
- Edit toml files while preserving whitespace and formatting from Lua.☆19Apr 20, 2026Updated last week
- Help protect against malicious build scripts☆27Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- GPU-based interaction nets evaluator☆18Nov 30, 2011Updated 14 years ago
- 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
- Remove Cargo.lock lockfile☆34Dec 20, 2025Updated 4 months ago
- A package for common types for Cargo index interactions, and conversion between them.☆26Updated this week
- ☆14Jan 24, 2023Updated 3 years ago
- Some possibly useful scripts for the chia client.☆21Oct 2, 2023Updated 2 years ago