Library sandboxing for the Verona research language and usable in other contexts.
☆51Sep 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
Sorting:
- Contains final manifests of sample dial-tone platform services to be deployed across clusters fleet☆12Feb 21, 2023Updated 3 years ago
- Template repository for CCF apps☆16Feb 12, 2026Updated 3 weeks ago
- Lobsters IRC bot☆17Jul 31, 2025Updated 7 months ago
- Poplog☆21Nov 18, 2010Updated 15 years ago
- A Python library for easy and fast program transformation/repair☆15Oct 26, 2021Updated 4 years ago
- The glue that binds together TouchDevelop programs compiled to C++ and the micro:bit runtime system☆25Oct 26, 2016Updated 9 years ago
- Utility to do an N-way diff and N-way merge, for N>2. Uses the patience diff algorithm.☆31Updated this week
- A simple C library for writing out 16-bit Int Stereo 44.1khz .wav files☆20Jan 21, 2012Updated 14 years ago
- Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.☆55Jan 25, 2025Updated last year
- R6RS SRFIs☆25Jan 19, 2012Updated 14 years ago
- PDP-11 operating system.☆29Nov 2, 2021Updated 4 years ago
- Prepared statement support for the system command☆29Jul 25, 2020Updated 5 years ago
- A virtual machine for Monte.☆68Oct 22, 2025Updated 4 months ago
- BPerf is a Cloud Profiling system used by Bing.com based on CoreCLR Profiling APIs & Event Tracing for Windows.☆80Dec 7, 2022Updated 3 years ago
- K42 Kernel☆31May 11, 2012Updated 13 years ago
- An ergonomic, mobile-first, Prolog playground!☆31Sep 13, 2022Updated 3 years ago
- Compile WebAssembly to native MicroPython modules☆153Jan 9, 2025Updated last year
- A D4M module for Julia. D4M was developed in MATLAB by Dr Jeremy Kepner.☆12Sep 10, 2019Updated 6 years ago
- PARADIS, a lightweight and flexible weather forecast model that tries to Keep It Simple.☆26Feb 4, 2026Updated last month
- Bigstring intrinsics and fast blits based on memcpy/memmove☆41Jun 27, 2025Updated 8 months ago
- libyaml transpiled to rust by c2rust☆35Mar 21, 2024Updated last year
- Supply Chain Integrity Transparency and Trust ledger application using Confidential Consortium Framework (CCF)☆40Updated this week
- ☆47Sep 15, 2025Updated 5 months ago
- brexx classic rexx implementation☆37Apr 26, 2024Updated last year
- A C++ interpreter for the OPA policy language Rego☆42Feb 16, 2026Updated 2 weeks ago
- Strongtalk VM☆103Oct 18, 2021Updated 4 years ago
- Author microservices without thinking about faults or servers. Then compile and deploy anywhere.☆45Dec 10, 2020Updated 5 years ago
- AI assisted Shell, aka "Ash". Wraps around your existing shell and brings AI-LLM to the CLI for analyzing EDA files.☆28Updated this week
- Mastodoner is a command line tool (and Python library) for archiving Mastodon, a decentralized micro-blogging social network.☆13Oct 21, 2024Updated last year
- PEP-DNA: a Performance Enhancing Proxy for Deploying Network Architectures☆10Jun 19, 2024Updated last year
- Security research organization dedicated to finding low hanging, critical, vulnerabilities.☆15May 12, 2022Updated 3 years ago
- This repository contains code written in the AWS Cloud Development Kit (CDK) which launches infrastructure across two different regions t…☆12Mar 10, 2022Updated 3 years ago
- Federal Cloud Computing Strategy Website☆15Oct 6, 2022Updated 3 years ago
- Open Source License Compliance Checklists☆11Oct 18, 2024Updated last year
- Syllabus for "Anthropology of Silicon Valley(s)" course☆16Apr 24, 2017Updated 8 years ago
- Documentation for the OSTC team☆16Apr 24, 2025Updated 10 months ago
- Kills connections by process ID☆11Oct 21, 2018Updated 7 years ago
- Tools for the Tales Of series (Xillia, Xillia 2, Zestiria, Berseria, Graces f Remastered)☆16Nov 22, 2025Updated 3 months ago
- ☆10Nov 19, 2015Updated 10 years ago