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
Sorting:
- A homebrew tap☆16Feb 23, 2026Updated 3 weeks 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☆22Sep 28, 2011Updated 14 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
- 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 last year
- 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 4 months ago
- [READ ONLY] This repository is a mirror, for issue tracking and development head to: https://github.com/tauri-apps/plugins-workspace☆16Feb 3, 2026Updated last month
- ☆12Jan 8, 2022Updated 4 years ago
- Rust UI Rundown: Tauri☆11Jan 18, 2021Updated 5 years ago
- A collection of Ethereum Virtual Machine benchmarks☆22Jun 7, 2024Updated last year
- 📸 Neovim plugin to take screenshots of your Neovim session.☆12Jan 18, 2025Updated last year
- ☆13Mar 7, 2024Updated 2 years ago
- Synchronize the team repository with the services we use☆18Mar 31, 2025Updated 11 months ago
- A next-gen, massively parallel, beta-optimal functional runtime.☆10Jan 3, 2022Updated 4 years ago
- A test repository for the WIP algorithm for fixed-precision floating-point formatting.☆19Apr 22, 2024Updated last year
- ☆10Mar 5, 2025Updated last year
- plugin☆10Mar 26, 2023Updated 2 years ago
- Windows Sets sample from Build 2018☆11Apr 16, 2022Updated 3 years ago
- A simple plugin that adds names to terminals☆10Apr 26, 2023Updated 2 years ago
- 🌱Totoro? Using gh extension. gh ibli was acquired early because of its high class address.☆20Aug 25, 2021Updated 4 years ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆16Mar 10, 2026Updated last week
- 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☆32Updated this week
- AI Research Agent is a versatile application that leverages multiple tools to conduct thorough research on any topic.☆13Oct 12, 2024Updated last year
- ☆11Mar 15, 2024Updated 2 years ago
- LSP inline hints for Lua, intended for use with Neovim.☆15May 31, 2023Updated 2 years ago
- A modern style viewer for Dannbooru or other Booru API base site.☆15May 23, 2025Updated 9 months ago
- 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 11 months ago
- A collection of techniques to reduce Rust code in order to get better help☆18May 26, 2020Updated 5 years ago