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
  ☆48Updated 2 years ago
• trailofbits / differ
  Detecting Inconsistencies in Feature or Function Evaluations of Requirements
  ☆67Updated last year
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆118Updated last week
• microsoft / igvm
  ☆95Updated 2 weeks ago
• CHERIoT-Platform / cheriot-sail
  Sail code model of the CHERIoT ISA
  ☆35Updated last week
• Minoru / plentyfs
  A proof-of-concept for a read-only filesystem with random contents generated on demand.
  ☆38Updated 3 years ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆73Updated 2 years ago
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆26Updated last month
• C2SP / x509-limbo
  A suite of testvectors for X.509 certificate path validation and tools for building them
  ☆47Updated this week
• depp / elf2dos
  Convert ELF executables to DOS executables
  ☆31Updated 5 years ago
• jedisct1 / aegis-X
  The AEGIS-128X and AEGIS-256X high performance ciphers.
  ☆35Updated 3 months ago
• gbletr42 / bef
  Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.
  ☆58Updated 10 months ago
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆20Updated 11 months 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
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆21Updated 5 months ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 6 months ago
• corsix / pigz
  Optimised x86-64 gzip decompressor
  ☆29Updated 7 years ago
• freedomofpress / securedrop-protocol
  Research and proof of concept to develop the next SecureDrop with end to end encryption.
  ☆49Updated last month
• oxidecomputer / illumos-gate
  An open-source Unix operating system
  ☆27Updated this week
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆30Updated 3 years ago
• Sc00bz / bscrypt
  A cache hard password hash/KDF
  ☆47Updated last year
• pramalhe / 2PLSF
  Two-Phase Locking with Starvation-Freedom
  ☆23Updated 2 years ago
• dlrobertson / capsicum-rs
  Rust bindings for the FreeBSD capsicum framework
  ☆62Updated 3 months ago
• oliverkwebb / newtime
  A rethinking of the C time library
  ☆10Updated last month
• sidkshatriya / rr.soft
  Use the rr debugger without HW performance counters !
  ☆16Updated last week
• peterhorne / rrb-tree
  Typescript implementation of Relaxed Radix Balanced Trees
  ☆16Updated 6 months ago
• marty1885 / landlock-unveil
  OpenBSD unveil(2) like function in Linux using Landlock
  ☆22Updated last week
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆51Updated 4 years ago
• lemire / validateutf8-experiments
  Reproducible experimeents on UTF-8 validation using SIMD instructions
  ☆40Updated 7 months ago
• blech-lang / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆66Updated 2 years ago