microsoft / verona-sandboxLinks
Library sandboxing for the Verona research language and usable in other contexts.
☆46Updated 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:
- 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…☆88Updated last month
- Bertie TLS 1.3 Implementation☆125Updated 3 months ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated last year
- Two-Phase Locking with Starvation-Freedom☆23Updated 2 years ago
- Research unikernel for virtualized services☆51Updated 2 years ago
- Fast and standards compliant DNS zone parser☆130Updated 3 weeks ago
- Test self-modifying code behaviour on processors for single-use JIT functions☆53Updated 5 years ago
- A proof-of-concept for a read-only filesystem with random contents generated on demand.☆39Updated 4 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- ☆108Updated 3 weeks ago
- The No-Order File System (NoFS)☆48Updated 12 years ago
- Programming language☆37Updated 2 months ago
- Detecting Inconsistencies in Feature or Function Evaluations of Requirements☆67Updated last year
- Sail code model of the CHERIoT ISA☆43Updated 2 weeks ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆16Updated 9 years ago
- GitHub copy of the NTS/TeX source code from 2001☆31Updated 4 years ago
- The Mickey Mouse of dynamic linkers☆15Updated 2 months ago
- Small, simple, expression-oriented programming language.☆25Updated last week
- A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.☆82Updated 3 years ago
- Poireau: a sampling allocation debugger☆98Updated 3 years ago
- An optimizing compiler for a large subset of the C programming language☆26Updated 3 weeks ago
- A distributed hash table with unusually strong security properties☆64Updated 5 years ago
- NanoCollision: Experiments with collisions of nanosecond timestamps☆23Updated 2 years ago
- Counting the collisions with perl hash tables per function☆12Updated 6 years ago
- An Evaluation of Linear Probing Hashtable Algorithms☆32Updated last year
- A C11 compiler for the discrete logic computer☆20Updated last year
- a 64-bit histogram / quantile sketch☆59Updated 8 months ago
- A cache hard password hash/KDF☆48Updated last year
- Security research organization dedicated to finding low hanging, critical, vulnerabilities.☆16Updated 3 years ago
- Compiling C to FlipJump☆92Updated 8 months ago