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 last year
• microsoft / igvm
  ☆102Updated 2 weeks ago
• Minoru / plentyfs
  A proof-of-concept for a read-only filesystem with random contents generated on demand.
  ☆38Updated 3 years ago
• freedomofpress / securedrop-protocol
  Research and proof of concept to develop the next SecureDrop with end to end encryption.
  ☆48Updated this week
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆118Updated this week
• 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
  ☆65Updated 2 years ago
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆27Updated 3 weeks ago
• microsoft / monza
  Research unikernel for virtualized services
  ☆49Updated 2 years ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆73Updated 2 years ago
• xqb64 / ucc
  An optimizing compiler for a large subset of the C programming language
  ☆26Updated last week
• CHERIoT-Platform / cheriot-sail
  Sail code model of the CHERIoT ISA
  ☆38Updated 2 weeks ago
• qianfei11 / ShadowyCompression
  A JPEG Image Compression Service using Part Homomorphic Encryption.
  ☆30Updated 2 months ago
• juliusgeo / branchless_bisect
  Beating the `bisect` module's implementation using C-extensions.
  ☆30Updated 2 years ago
• stevana / svg-viewer-in-svg
  SVG viewer in SVG
  ☆17Updated last month
• peterhorne / rrb-tree
  Typescript implementation of Relaxed Radix Balanced Trees
  ☆18Updated 8 months ago
• cisco / systemf
  Prepared statement support for the system command
  ☆29Updated 4 years ago
• jgarzik / posixutils
  POSIX command line utilities, from scratch
  ☆23Updated 8 months ago
• evanj / nanocollision
  NanoCollision: Experiments with collisions of nanosecond timestamps
  ☆23Updated last year
• oliverkwebb / newtime
  A rethinking of the C time library
  ☆11Updated 3 months ago
• kspalaiologos / qbdiff
  building and applying patches to binary files
  ☆71Updated last year
• githwxi / XATSHOME
  For hosting ATS3 and developing CodeDepot
  ☆14Updated this week
• C2SP / x509-limbo
  A suite of testvectors for X.509 certificate path validation and tools for building them
  ☆52Updated this week
• utsaslab / nofs
  The No-Order File System (NoFS)
  ☆47Updated 12 years ago
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆52Updated 4 years ago
• pramalhe / 2PLSF
  Two-Phase Locking with Starvation-Freedom
  ☆23Updated 2 years ago
• jmillikin / idol
  Idol, an IDL and binary encoding for zero-copy local IPC
  ☆51Updated 7 months ago
• sidkshatriya / rr.soft
  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…
  ☆74Updated last week
• darius / idel
  A low-level virtual machine for mobile code
  ☆12Updated 7 years ago
• mbebenita / WebAssemblyStudio
  Learn, Teach, Work and Play in the WebAssembly Studio
  ☆19Updated 2 years ago