The runtime for the Verona project
☆38Oct 26, 2025Updated 4 months ago
Alternatives and similar repositories for verona-rt
Users that are interested in verona-rt are comparing it to the libraries listed below
Sorting:
- Library sandboxing for the Verona research language and usable in other contexts.☆51Sep 19, 2023Updated 2 years ago
- A small Rust library for reading process maps from procfs☆15Nov 24, 2025Updated 3 months ago
- A term rewriting system for experimental programming language development.☆49Feb 10, 2026Updated 3 weeks ago
- ☆22May 2, 2021Updated 4 years ago
- rust bindings of snmalloc☆151Feb 18, 2026Updated 2 weeks ago
- ☆37Dec 24, 2024Updated last year
- Specification to describe the minimum information standard for online community data. Guidelines for describing data about online communi…☆11Sep 19, 2016Updated 9 years ago
- Free Pomodoro Timer For Android, Mac, Windows, IOS☆16Dec 20, 2025Updated 2 months ago
- Sample EVM application for CCF☆14Aug 23, 2021Updated 4 years ago
- A speicifically designed KV store for blockchain systems☆11Mar 10, 2025Updated 11 months ago
- Open Source License Compliance Checklists☆11Oct 18, 2024Updated last year
- PST Parser using pypff - Export all email headers and body to csv or json☆10Nov 8, 2019Updated 6 years ago
- Python Wrapper around Ollama API Endpoints☆12Jan 26, 2024Updated 2 years ago
- Syllabus for "Anthropology of Silicon Valley(s)" course☆16Apr 24, 2017Updated 8 years ago
- A widget for swiping through a deck of cards with gestures or buttons.☆13Sep 9, 2023Updated 2 years ago
- Federal Cloud Computing Strategy Website☆15Oct 6, 2022Updated 3 years ago
- Website for The State of FOSS in India report.☆10Aug 20, 2021Updated 4 years ago
- Security research organization dedicated to finding low hanging, critical, vulnerabilities.☆15May 12, 2022Updated 3 years ago
- ☆12Aug 14, 2025Updated 6 months ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆11Nov 2, 2024Updated last year
- ☆11Jul 15, 2024Updated last year
- Benchmarks for Pedersen hash implementations☆12Nov 22, 2022Updated 3 years ago
- ☆11Sep 22, 2017Updated 8 years ago
- ☆16Mar 29, 2024Updated last year
- Esperanto dictionary Mastodon bot☆11Nov 18, 2024Updated last year
- One of the fastest embeddable key-value ACID database without WAL. libmdbx surpasses the legendary LMDB in terms of reliability, features…☆12Feb 24, 2023Updated 3 years ago
- The website for the Research Software Alliance☆13Feb 25, 2026Updated last week
- Background materials for the article "Productivity Assessment of Neural Code Completion"☆13Jul 11, 2023Updated 2 years ago
- ☆18Dec 9, 2025Updated 2 months ago
- Combinator methods for `std::AsyncIterator` using all the new `async` superpowers☆10Feb 15, 2024Updated 2 years ago
- A variant of Ahash written in C++.☆10Mar 20, 2023Updated 2 years ago
- ☆13Jun 30, 2023Updated 2 years ago
- A homebrew tap☆16Feb 23, 2026Updated last week
- ☆12Oct 19, 2020Updated 5 years ago
- Empower Your Cards with Custom Actions and Enhancements using our Flutter Package.☆14Feb 11, 2023Updated 3 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- Project providing insights on the metaeffekt license database.☆12Feb 24, 2026Updated last week
- Tooling to shim libfuzzer <-> golang native fuzzing☆13May 9, 2024Updated last year
- ☆13Sep 14, 2022Updated 3 years ago