microsoft / verona-sandboxView external linksLinks
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:
- Sample EVM application for CCF☆14Aug 23, 2021Updated 4 years ago
- Contains final manifests of sample dial-tone platform services to be deployed across clusters fleet☆12Feb 21, 2023Updated 2 years ago
- Lobsters IRC bot☆16Jul 31, 2025Updated 6 months ago
- NSPlist☆21Apr 12, 2017Updated 8 years ago
- REUSE recommendations, tutorials, FAQ and specification☆18May 27, 2024Updated last year
- The glue that binds together TouchDevelop programs compiled to C++ and the micro:bit runtime system☆25Oct 26, 2016Updated 9 years ago
- A simple C library for writing out 16-bit Int Stereo 44.1khz .wav files☆20Jan 21, 2012Updated 14 years ago
- Elevator is a utility that allows other programs to collect traces through Windows Performance Recorder.☆29Oct 20, 2017Updated 8 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
- The RTOS components for the CHERIoT research platform☆156Updated this week
- R6RS SRFIs☆25Jan 19, 2012Updated 14 years ago
- A bare-metal actor operating system for Raspberry Pi.☆67Dec 18, 2025Updated last month
- PDP-11 operating system.☆29Nov 2, 2021Updated 4 years 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☆32May 11, 2012Updated 13 years ago
- Tools for the Tales Of series (Xillia, Xillia 2, Zestiria, Berseria, Graces f Remastered)☆16Nov 22, 2025Updated 2 months ago
- PARADIS, a lightweight and flexible weather forecast model that tries to Keep It Simple.☆25Feb 4, 2026Updated last week
- Bigstring intrinsics and fast blits based on memcpy/memmove☆41Jun 27, 2025Updated 7 months ago
- ☆22Jun 4, 2025Updated 8 months ago
- SCP Wiki Crawler☆12Dec 29, 2025Updated last month
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆44Apr 2, 2020Updated 5 years ago
- Mirror of https://bitbucket.org/snakeyaml/snakeyaml-engine☆10Jan 24, 2026Updated 2 weeks ago
- Open Source License Compliance Checklists☆11Oct 18, 2024Updated last year
- Security research organization dedicated to finding low hanging, critical, vulnerabilities.☆15May 12, 2022Updated 3 years ago
- A relatively simple, unified method for reporting on Kubernetes resource issues.☆12Mar 5, 2020Updated 5 years ago
- Website for The State of FOSS in India report.☆10Aug 20, 2021Updated 4 years ago
- Documentation about the Tympan☆14Jun 14, 2022Updated 3 years ago
- ☆12Sep 4, 2022Updated 3 years ago
- synced is a user space Synchronous Ethernet (Sync-E) stack for the Linux operating system. synced facilitates Sync-E, according to the IT…☆11Feb 5, 2025Updated last year
- Federal Cloud Computing Strategy Website☆15Oct 6, 2022Updated 3 years ago
- A tool to transform Android Cuttlefish images into QEMU disk images☆15Jul 12, 2024Updated last year
- ☆11May 9, 2023Updated 2 years ago
- Documentation for the OSTC team☆16Apr 24, 2025Updated 9 months 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
- A 2D simulation of orbital mechanics and rocket launch from earth☆31Feb 2, 2026Updated last week
- Integrated model to calculate the effects of resilient foods in catastrophic events☆11May 20, 2025Updated 8 months ago
- Mastodoner is a command line tool (and Python library) for archiving Mastodon, a decentralized micro-blogging social network.☆13Oct 21, 2024Updated last year
- Netrics - Active Measurements of Internet Performance☆12Sep 14, 2023Updated 2 years ago
- Example application for V4L2☆14Sep 24, 2025Updated 4 months ago