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
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆118Updated this week
• microsoft / monza
  Research unikernel for virtualized services
  ☆49Updated 2 years ago
• microsoft / igvm
  ☆101Updated 3 weeks ago
• CHERIoT-Platform / cheriot-sail
  Sail code model of the CHERIoT ISA
  ☆37Updated last month
• spl / ivy
  A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
  ☆15Updated 9 years ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆73Updated 2 years ago
• oliverkwebb / newtime
  A rethinking of the C time library
  ☆10Updated 2 months ago
• kristiandupont / rtasm
  Runtime Assembler for C++
  ☆13Updated last year
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 8 months ago
• depp / elf2dos
  Convert ELF executables to DOS executables
  ☆32Updated 6 years ago
• freedomofpress / securedrop-protocol
  Research and proof of concept to develop the next SecureDrop with end to end encryption.
  ☆48Updated 2 weeks ago
• C2SP / x509-limbo
  A suite of testvectors for X.509 certificate path validation and tools for building them
  ☆49Updated this week
• utsaslab / nofs
  The No-Order File System (NoFS)
  ☆46Updated 12 years ago
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆26Updated 2 weeks ago
• jplevyak / ifa
  IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…
  ☆13Updated 2 months ago
• oxidecomputer / illumos-gate
  An open-source Unix operating system
  ☆30Updated this week
• pramalhe / 2PLSF
  Two-Phase Locking with Starvation-Freedom
  ☆23Updated 2 years ago
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆20Updated last year
• qianfei11 / ShadowyCompression
  A JPEG Image Compression Service using Part Homomorphic Encryption.
  ☆30Updated 2 months ago
• amazon-ion / ion-schema
  The Ion Schema Specification. This specification is licensed under the Apache 2.0 License.
  ☆13Updated 7 months ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated 7 months ago
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆52Updated 4 years ago
• stephenrkell / donald
  The Mickey Mouse of dynamic linkers
  ☆14Updated 2 months ago
• Sc00bz / bscrypt
  A cache hard password hash/KDF
  ☆47Updated last year
• corsix / pigz
  Optimised x86-64 gzip decompressor
  ☆29Updated 7 years ago
• danielcota / LoopMix128
  A very fast 64-bit PRNG with a 2^128 period, proven injectivity, passing BigCrush & PractRand (32TB).
  ☆68Updated this week
• kstenerud / dogma
  Dogma: A modernized metalanguage with better expressiveness and binary grammar support
  ☆64Updated last year
• backtrace-labs / poireau
  Poireau: a sampling allocation debugger
  ☆87Updated 3 years ago
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆42Updated 9 months ago