Alternatives and similar repositories for verona-sandbox:

Users that are interested in verona-sandbox are comparing it to the libraries listed below

• trailofbits / differ
  Detecting Inconsistencies in Feature or Function Evaluations of Requirements
  ☆67Updated 11 months ago
• CHERIoT-Platform / cheriot-sail
  Sail code model of the CHERIoT ISA
  ☆34Updated last month
• microsoft / monza
  Research unikernel for virtualized services
  ☆48Updated 2 years ago
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆118Updated last week
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆73Updated 2 years ago
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆51Updated 4 years ago
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆24Updated this week
• C2SP / x509-limbo
  A suite of testvectors for X.509 certificate path validation and tools for building them
  ☆46Updated this week
• microsoft / igvm
  ☆93Updated 3 weeks ago
• spl / ivy
  A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
  ☆15Updated 9 years ago
• kstenerud / dogma
  Dogma: A modernized metalanguage with better expressiveness and binary grammar support
  ☆64Updated last year
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆103Updated 5 months ago
• freedomofpress / securedrop-protocol
  Research and proof of concept to develop the next SecureDrop with end to end encryption.
  ☆48Updated 2 weeks ago
• pramalhe / 2PLSF
  Two-Phase Locking with Starvation-Freedom
  ☆23Updated 2 years ago
• jplevyak / ifa
  IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…
  ☆12Updated this week
• microsoft / SymCrypt-OpenSSL
  OpenSSL engine for use with SymCrypt cryptographic library
  ☆55Updated last week
• wootfish / theseus.dht
  A distributed hash table with unusually strong security properties
  ☆64Updated 5 years ago
• TartanLlama / dwarbf
  A Brainfuck interpreter embedded inside DWARF debug information
  ☆37Updated 9 months ago
• utsaslab / nofs
  The No-Order File System (NoFS)
  ☆46Updated 12 years ago
• cisco / systemf
  Prepared statement support for the system command
  ☆29Updated 4 years ago
• depp / elf2dos
  Convert ELF executables to DOS executables
  ☆31Updated 5 years ago
• kristiandupont / rtasm
  Runtime Assembler for C++
  ☆13Updated last year
• microsoft / onefuzz-samples
  Sample CICD Pipelines for OneFuzz
  ☆27Updated 2 years ago
• t1lang / t1bootstrap
  Bootstrap compiler
  ☆44Updated 5 years ago
• KWillets / range_generator
  Some variations on Lemire's Fast Random Integer Generation in an Interval
  ☆15Updated 5 years ago
• struct / HardenedPartitionAlloc
  A forked and hardened version of PartitionAlloc from Chrome's Blink engine
  ☆62Updated 6 years ago
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆20Updated 10 months ago
• flavio / hermit-wasm
  A Unikernel running WebAssembly code
  ☆50Updated last year