Alternatives and similar repositories for verona-sandbox

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

• microsoft / monza
  Research unikernel for virtualized services
  ☆50Updated 2 years ago
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆118Updated 3 weeks ago
• microsoft / igvm
  ☆102Updated 3 weeks ago
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆27Updated last month
• trailofbits / differ
  Detecting Inconsistencies in Feature or Function Evaluations of Requirements
  ☆67Updated last year
• CHERIoT-Platform / cheriot-sail
  Sail code model of the CHERIoT ISA
  ☆39Updated 2 weeks ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 9 months ago
• KWillets / range_generator
  Some variations on Lemire's Fast Random Integer Generation in an Interval
  ☆15Updated 5 years ago
• TartanLlama / dwarbf
  A Brainfuck interpreter embedded inside DWARF debug information
  ☆38Updated last year
• Minoru / plentyfs
  A proof-of-concept for a read-only filesystem with random contents generated on demand.
  ☆38Updated 3 years ago
• oliverkwebb / newtime
  A rethinking of the C time library
  ☆11Updated 4 months ago
• Sc00bz / bscrypt
  A cache hard password hash/KDF
  ☆47Updated last year
• spl / ivy
  A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
  ☆15Updated 9 years ago
• depp / elf2dos
  Convert ELF executables to DOS executables
  ☆32Updated 6 years ago
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆52Updated 4 years ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated 8 months ago
• microsoft / SymCrypt-OpenSSL
  OpenSSL engine for use with SymCrypt cryptographic library
  ☆71Updated last week
• githwxi / XATSHOME
  For hosting ATS3 and developing CodeDepot
  ☆15Updated last week
• pramalhe / 2PLSF
  Two-Phase Locking with Starvation-Freedom
  ☆23Updated 2 years ago
• kristiandupont / rtasm
  Runtime Assembler for C++
  ☆13Updated last year
• C2SP / x509-limbo
  A suite of testvectors for X.509 certificate path validation and tools for building them
  ☆52Updated this week
• richgel999 / sserangecoding
  Fast vectorized (SSE 4.1) range coder for 8-bit alphabets
  ☆25Updated 2 years ago
• silentbicycle / hopscotch
  An implementation of Tarjan's Strongly Connected Components algorithm
  ☆13Updated 5 years ago
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆20Updated last year
• jplevyak / ifa
  IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…
  ☆13Updated 3 months ago
• evolvedbinary / j8cu
  Java 8 Collection Utilities
  ☆9Updated 4 months ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 2 years ago
• geofflangdale / smh
  Shuffle-based predicate matcher and all-round branch free swiss army chainsaw
  ☆17Updated 7 years ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• esrille / esidl
  The Esidl Web IDL compiler for C++11
  ☆30Updated 11 years ago