Library sandboxing for the Verona research language and usable in other contexts.
☆53Sep 19, 2023Updated 2 years ago
Alternatives and similar repositories for verona-sandbox
Users that are interested in verona-sandbox are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Mar 28, 2022Updated 4 years ago
- A Python library for easy and fast program transformation/repair☆15Oct 26, 2021Updated 4 years ago
- Demonstrate how to construct an Event-driven system in a way that is intuitive and easier to understand.☆19Jun 12, 2023Updated 2 years ago
- Poplog☆21Nov 18, 2010Updated 15 years ago
- Moana implementation in OCaml☆16Jul 15, 2015Updated 10 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- OCaml implementation of http://hashids.org☆12Nov 17, 2018Updated 7 years ago
- ☆22Sep 15, 2022Updated 3 years ago
- Object capability (ocap) tools and macros for Scala.☆18Dec 3, 2024Updated last year
- ☆11Sep 22, 2017Updated 8 years ago
- Developer documentation for EMF APIs☆14Apr 27, 2026Updated 3 weeks ago
- The RTOS components for the CHERIoT research platform☆160May 12, 2026Updated last week
- Bigstring intrinsics and fast blits based on memcpy/memmove☆43Jun 27, 2025Updated 10 months ago
- Common dependency management for various Trail of Bits C++ codebases☆35Jun 17, 2024Updated last year
- ☆11Oct 21, 2024Updated last year
- 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.
- Supply Chain Integrity Transparency and Trust ledger application using Confidential Consortium Framework (CCF)☆44May 12, 2026Updated last week
- Samples for partner application development (OEM, MO, IHV) for Window☆18Jun 12, 2023Updated 2 years ago
- OCaml Ctypes stubs generation notes☆22May 1, 2019Updated 7 years ago
- Provides a simple file-based key-value store with String keys and values.☆23Nov 24, 2025Updated 5 months ago
- The SuperC Parsing Framework☆37May 21, 2025Updated 11 months ago
- imaplet revamp with Lwt☆19Aug 9, 2017Updated 8 years ago
- REUSE recommendations, tutorials, FAQ and specification☆18May 27, 2024Updated last year
- Python Inference Script(PyIS)☆19Aug 30, 2022Updated 3 years ago
- R6RS SRFIs☆25Jan 19, 2012Updated 14 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.
- Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.☆56Jan 25, 2025Updated last year
- A bare-metal actor operating system for Raspberry Pi.☆67Dec 18, 2025Updated 5 months ago
- Grammar synthesis algorithm using a black box oracle☆37May 17, 2024Updated 2 years ago
- QUIC based speed test app☆12Apr 24, 2021Updated 5 years ago
- ☆13Nov 10, 2024Updated last year
- node.js bindings for Azure Speech SDK☆15Mar 31, 2026Updated last month
- Personal filter list for uBlock. Filter ai & 3D art from pixiv☆11Aug 24, 2025Updated 8 months ago
- LLDP Fabric Info Parsing and DSC Resources used to configured Data Center Bridging - Check https://aka.ms/Validate-DCB for more informati…☆14Nov 28, 2022Updated 3 years ago
- Dynamic tuning for the OCaml garbage collector☆22Apr 24, 2025Updated last year
- 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.
- Exploration Library in C++☆16Jun 13, 2023Updated 2 years ago
- The "DIstributed Analytical BLOckchain" Benchmark Framework. (Diablo). Measures blockchains with a focus on real-world applications and w…☆13Jan 12, 2024Updated 2 years ago
- ☆11Sep 8, 2022Updated 3 years ago
- Declarative JSON data manipulation for OCaml☆25May 5, 2026Updated 2 weeks ago
- Library for writing arbitrary jupyter kernels in OCaml.☆17Apr 20, 2022Updated 4 years ago
- ☆15Sep 10, 2024Updated last year
- The vOW4SIKE project provides C code that implements the parallel collision search algorithm by van Oorschot and Wiener (vOW). The algori…☆12May 25, 2021Updated 4 years ago