microsoft / verona-sandboxLinks
Library sandboxing for the Verona research language and usable in other contexts.
☆51Updated 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:
- Detecting Inconsistencies in Feature or Function Evaluations of Requirements☆68Updated last year
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆107Updated last year
- Two-Phase Locking with Starvation-Freedom☆23Updated 3 years ago
- The No-Order File System (NoFS)☆49Updated 13 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.☆83Updated 3 years ago
- Sail code model of the CHERIoT ISA☆48Updated last month
- GCC plugin for C language that tracks references to allocated objects☆30Updated 8 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…☆97Updated 2 months ago
- Research unikernel for virtualized services☆52Updated 3 years ago
- Poireau: a sampling allocation debugger☆98Updated 3 years ago
- HPC research and demonstrations☆113Updated last month
- The Mickey Mouse of dynamic linkers☆16Updated 2 months ago
- Fast and standards compliant DNS zone parser☆136Updated last week
- An experimental VMM for KVM written in pure Python☆33Updated 2 years ago
- Test self-modifying code behaviour on processors for single-use JIT functions☆55Updated 5 years ago
- GitHub copy of the NTS/TeX source code from 2001☆32Updated 4 years ago
- A cache hard password hash/KDF☆49Updated last year
- Fast edit-compile-test cycles for Linux+OpenZFS development☆32Updated last month
- Dogma: A modernized metalanguage with better expressiveness and binary grammar support☆65Updated 2 years ago
- A Brainfuck interpreter embedded inside DWARF debug information☆40Updated last year
- Prepared statement support for the system command☆29Updated 5 years ago
- LD_PRELOADable library for exploring the glibc heap☆108Updated 10 months ago
- An Evaluation of Linear Probing Hashtable Algorithms☆39Updated 2 years ago
- Dynamic runtime inlining with LLVM☆67Updated 4 years ago
- Compiling C to FlipJump☆96Updated last year
- An optimizing compiler for a large subset of the C programming language☆26Updated 5 months ago
- My WebAssembly VM☆75Updated 2 weeks ago
- Fleur implements a Bloom Filter library in C that is fully compatible with DCSO's Go and python implementations.☆117Updated 2 years ago
- NanoCollision: Experiments with collisions of nanosecond timestamps☆23Updated 4 months ago