Home of the operational semantics team, used primarily for procedural items
☆20Jun 7, 2026Updated this week
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 3 months 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
- Aragon DAOs for Github; leveraging SourceCred for token airdrops☆14Jan 24, 2023Updated 3 years ago
- ☆16May 31, 2024Updated 2 years ago
- AI Agents on 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.
- A collection of Ethereum Virtual Machine benchmarks☆23Jun 7, 2024Updated 2 years ago
- ☆13Mar 7, 2024Updated 2 years ago
- A next-gen, massively parallel, beta-optimal functional runtime.☆10Jan 3, 2022Updated 4 years ago
- ☆10Mar 5, 2025Updated last year
- plugin☆10Mar 26, 2023Updated 3 years ago
- Windows Sets sample from Build 2018☆11Apr 16, 2022Updated 4 years ago
- 📸 Neovim plugin to take screenshots of your Neovim session.☆13Jan 18, 2025Updated last year
- A simple plugin that adds names to terminals☆10Apr 26, 2023Updated 3 years ago
- 🌱Totoro? Using gh extension. gh ibli was acquired early because of its high class address.☆20Aug 25, 2021Updated 4 years ago
- 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.
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆17Apr 14, 2026Updated last month
- 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☆33Jun 1, 2026Updated last week
- AI Research Agent is a versatile application that leverages multiple tools to conduct thorough research on any topic.☆12Oct 12, 2024Updated last year
- A modern style viewer for Dannbooru or other Booru API base site.☆16May 23, 2025Updated last year
- ☆11Mar 15, 2024Updated 2 years ago
- LSP inline hints for Lua, intended for use with Neovim.☆15May 31, 2023Updated 3 years ago
- Search lyrics from tononkira.serasera.org.☆12Sep 5, 2022Updated 3 years ago
- A balanced unbounded interval-tree in Rust with associated values in the nodes☆13Nov 22, 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. Zero configuration with optimized deployments.
- A library for reading social data from Facebook using Spark Streaming.☆11Jan 9, 2018Updated 8 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 3 years ago
- A simple python wrapper for https://tononkira.serasera.org☆11Aug 9, 2022Updated 3 years ago
- Game Boy Advance emulator with audio support written in Rust 🦀🎮☆16Feb 26, 2025Updated last year
- haha I'm graduating☆14Jul 22, 2021Updated 4 years ago
- Setup the PlanetScale CLI for GitHub Actions☆25May 12, 2026Updated 3 weeks ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆15Dec 30, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Lenses in Coq☆17Oct 7, 2022Updated 3 years ago
- OCaml library for manipulating context-free grammars☆20Nov 28, 2025Updated 6 months ago
- Wrappers for QuickCheck and PropEr testing tools☆21Jan 1, 2017Updated 9 years ago
- A cargo subcommand to bundle a Rust project into a single file ✨☆18Jan 15, 2025Updated last year
- CLI for common OBS operations while streaming using WebSocket☆40Jun 1, 2026Updated last week
- ☆12Jan 3, 2025Updated last year
- Load and resolve Cargo configuration.☆20Updated this week