Home of the operational semantics team, used primarily for procedural items
☆20Jun 7, 2026Updated 3 weeks ago
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 4 months ago
- oh no oh no this is not good very bad very good☆11Mar 8, 2023Updated 3 years ago
- A chatroom application run on Google App Engine☆23Sep 28, 2011Updated 14 years ago
- Rust `Vec` that can store unsized values☆22Sep 13, 2025Updated 9 months ago
- 💰 useToken() · No fuss Ethereum token metadata.☆17Mar 8, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- a gh extension that prints out an oblique strategy☆19Jul 11, 2022Updated 3 years ago
- 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
- ☆16May 31, 2024Updated 2 years ago
- A better Arc / Rc [Still in research mode]☆20Feb 15, 2020Updated 6 years ago
- TorrentZip is a program is to use standard values when creating zips to create identical files over multiple systems☆17Oct 26, 2025Updated 8 months ago
- [READ ONLY] This repository is a mirror, for issue tracking and development head to: https://github.com/tauri-apps/plugins-workspace☆16May 1, 2026Updated 2 months ago
- ☆12Jan 8, 2022Updated 4 years ago
- Rust UI Rundown: Tauri☆11Jan 18, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A collection of Ethereum Virtual Machine benchmarks☆23Jun 7, 2024Updated 2 years ago
- ☆13Mar 7, 2024Updated 2 years ago
- Synchronize the team repository with the services we use☆18Mar 31, 2025Updated last year
- A next-gen, massively parallel, beta-optimal functional runtime.☆10Jan 3, 2022Updated 4 years ago
- ☆10Mar 5, 2025Updated last year
- A test repository for the WIP algorithm for fixed-precision floating-point formatting.☆19Apr 22, 2024Updated 2 years ago
- plugin☆10Mar 26, 2023Updated 3 years ago
- Windows Sets sample from Build 2018☆12Apr 16, 2022Updated 4 years ago
- 📸 Neovim plugin to take screenshots of your Neovim session.☆13Jan 18, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 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.☆21Aug 25, 2021Updated 4 years ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆17Apr 14, 2026Updated 2 months 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☆33Jun 1, 2026Updated last month
- 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.☆17May 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
- 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.
- Search lyrics from tononkira.serasera.org.☆12Sep 5, 2022Updated 3 years 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
- 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
- A collection of techniques to reduce Rust code in order to get better help☆18May 26, 2020Updated 6 years ago