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
- Generate (message) sequence diagrams from TLA+ state traces☆75Updated 2 years ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- Research and proof of concept to develop the next SecureDrop with end to end encryption.☆48Updated last month
- Dogma: A modernized metalanguage with better expressiveness and binary grammar support☆65Updated 2 years ago
- Test self-modifying code behaviour on processors for single-use JIT functions☆53Updated 5 years 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…☆82Updated last week
- The No-Order File System (NoFS)☆47Updated 12 years ago
- GCC plugin for C language that tracks references to allocated objects☆27Updated 2 months ago
- A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.☆79Updated 2 years ago
- A rethinking of the C time library☆11Updated 5 months ago
- An optimizing compiler for a large subset of the C programming language☆26Updated last month
- Bootstrap compiler☆44Updated 6 years ago
- A cache hard password hash/KDF☆47Updated last year
- A JPEG Image Compression Service using Part Homomorphic Encryption.☆31Updated 4 months ago
- a 64-bit histogram / quantile sketch☆59Updated 6 months ago
- Sail code model of the CHERIoT ISA☆39Updated this week
- A simplified subset of C transpiled into Web Assembly☆99Updated 3 years ago
- Two-Phase Locking with Starvation-Freedom☆23Updated 2 years ago
- A C11 compiler for the discrete logic computer☆20Updated last year
- Prepared statement support for the system command☆29Updated 4 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 10 months ago
- Experimental fork of zlib with performance improvements☆34Updated 2 years ago
- GitHub copy of the NTS/TeX source code from 2001☆30Updated 3 years ago
- Counting the collisions with perl hash tables per function☆12Updated 6 years ago
- Programming language for ternary computing☆30Updated 4 years ago
- Fast and standards compliant DNS zone parser☆130Updated last week
- My little WebAssembly interpreter☆73Updated 3 weeks ago
- Poireau: a sampling allocation debugger☆99Updated 3 years ago
- Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.☆58Updated last year