microsoft / verona-sandboxLinks
Library sandboxing for the Verona research language and usable in other contexts.
☆46Updated last year
Alternatives and similar repositories for verona-sandbox
Users that are interested in verona-sandbox are comparing it to the libraries listed below
Sorting:
- Detecting Inconsistencies in Feature or Function Evaluations of Requirements☆67Updated last year
- ☆102Updated 2 weeks ago
- A proof-of-concept for a read-only filesystem with random contents generated on demand.☆38Updated 3 years ago
- Research and proof of concept to develop the next SecureDrop with end to end encryption.☆48Updated this week
- Bertie TLS 1.3 Implementation☆118Updated this week
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- Dogma: A modernized metalanguage with better expressiveness and binary grammar support☆65Updated 2 years ago
- GCC plugin for C language that tracks references to allocated objects☆27Updated 3 weeks ago
- Research unikernel for virtualized services☆49Updated 2 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- An optimizing compiler for a large subset of the C programming language☆26Updated last week
- Sail code model of the CHERIoT ISA☆38Updated 2 weeks ago
- A JPEG Image Compression Service using Part Homomorphic Encryption.☆30Updated 2 months ago
- Beating the `bisect` module's implementation using C-extensions.☆30Updated 2 years ago
- SVG viewer in SVG☆17Updated last month
- Typescript implementation of Relaxed Radix Balanced Trees☆18Updated 8 months ago
- Prepared statement support for the system command☆29Updated 4 years ago
- POSIX command line utilities, from scratch☆23Updated 8 months ago
- NanoCollision: Experiments with collisions of nanosecond timestamps☆23Updated last year
- A rethinking of the C time library☆11Updated 3 months ago
- building and applying patches to binary files☆71Updated last year
- For hosting ATS3 and developing CodeDepot☆14Updated this week
- A suite of testvectors for X.509 certificate path validation and tools for building them☆52Updated this week
- The No-Order File System (NoFS)☆47Updated 12 years ago
- Test self-modifying code behaviour on processors for single-use JIT functions☆52Updated 4 years ago
- Two-Phase Locking with Starvation-Freedom☆23Updated 2 years ago
- Idol, an IDL and binary encoding for zero-copy local IPC☆51Updated 7 months ago
- Run the rr debugger in a Linux VM on apple silicon macOS or in the cloud. Use the rr debugger without HW performance counters on x86-64 a…☆74Updated last week
- A low-level virtual machine for mobile code☆12Updated 7 years ago
- Learn, Teach, Work and Play in the WebAssembly Studio☆19Updated 2 years ago