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:
- Generate (message) sequence diagrams from TLA+ state traces☆75Updated 2 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated 11 months ago
- Detecting Inconsistencies in Feature or Function Evaluations of Requirements☆67Updated last year
- 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…☆83Updated last week
- Two-Phase Locking with Starvation-Freedom☆23Updated 2 years ago
- Test self-modifying code behaviour on processors for single-use JIT functions☆53Updated 5 years ago
- A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.☆80Updated 3 years ago
- Poireau: a sampling allocation debugger☆99Updated 3 years ago
- A Brainfuck interpreter embedded inside DWARF debug information☆38Updated last year
- Bertie TLS 1.3 Implementation☆124Updated 2 months ago
- The No-Order File System (NoFS)☆47Updated 12 years ago
- Sail code model of the CHERIoT ISA☆41Updated 3 weeks ago
- The Mickey Mouse of dynamic linkers☆14Updated last month
- A proof-of-concept for a read-only filesystem with random contents generated on demand.☆38Updated 4 years ago
- Counting the collisions with perl hash tables per function☆12Updated 6 years ago
- A cache hard password hash/KDF☆47Updated last year
- Research unikernel for virtualized services☆51Updated 2 years ago
- ☆104Updated last week
- An optimizing compiler for a large subset of the C programming language☆26Updated last week
- An Evaluation of Linear Probing Hashtable Algorithms☆32Updated last year
- Prepared statement support for the system command☆28Updated 5 years ago
- unicode security guidelines for identifiers☆31Updated 8 months ago
- The Ion Schema Specification. This specification is licensed under the Apache 2.0 License.☆13Updated 2 weeks ago
- Fast and standards compliant DNS zone parser☆130Updated last month
- LD_PRELOADable library for exploring the glibc heap☆107Updated 5 months ago
- GitHub copy of the NTS/TeX source code from 2001☆30Updated 4 years ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Updated last month
- A C11 compiler for the discrete logic computer☆20Updated last year
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- Runtime Assembler for C++☆13Updated last year