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
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 2 years ago
• NationalSecurityAgency / XORSATFilter
  A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.
  ☆82Updated 3 years ago
• microsoft / monza
  Research unikernel for virtualized services
  ☆51Updated 2 years 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…
  ☆85Updated 3 weeks ago
• NLnetLabs / simdzone
  Fast and standards compliant DNS zone parser
  ☆129Updated this week
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆105Updated 11 months ago
• 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
  ☆53Updated 5 years ago
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆31Updated 4 years ago
• pramalhe / 2PLSF
  Two-Phase Locking with Starvation-Freedom
  ☆23Updated 2 years ago
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆28Updated 3 months ago
• TartanLlama / dwarbf
  A Brainfuck interpreter embedded inside DWARF debug information
  ☆38Updated last year
• Sc00bz / bscrypt
  A cache hard password hash/KDF
  ☆47Updated last year
• backtrace-labs / poireau
  Poireau: a sampling allocation debugger
  ☆98Updated 3 years ago
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆20Updated last year
• fanf2 / hg64
  a 64-bit histogram / quantile sketch
  ☆59Updated 7 months ago
• rurban / perl-hash-stats
  Counting the collisions with perl hash tables per function
  ☆12Updated 6 years ago
• CHERIoT-Platform / cheriot-sail
  Sail code model of the CHERIoT ISA
  ☆43Updated last month
• heap-exploitation / heap-explorer
  LD_PRELOADable library for exploring the glibc heap
  ☆107Updated 5 months ago
• qianfei11 / ShadowyCompression
  A JPEG Image Compression Service using Part Homomorphic Encryption.
  ☆31Updated 5 months ago
• Z3Prover / FirewallChecker
  A self-contained firewall checker
  ☆107Updated 3 years ago
• wootfish / theseus.dht
  A distributed hash table with unusually strong security properties
  ☆64Updated 5 years ago
• juliusgeo / branchless_bisect
  Beating the `bisect` module's implementation using C-extensions.
  ☆30Updated 2 years 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
• tomhea / c2fj
  Compiling C to FlipJump
  ☆92Updated 7 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 last year
• hashlookup / fleur
  Fleur implements a Bloom Filter library in C that is fully compatible with DCSO's Go and python implementations.
  ☆117Updated 2 years ago
• fishinabarrel / fishinabarrel.github.io
  Security research organization dedicated to finding low hanging, critical, vulnerabilities.
  ☆16Updated 3 years ago
• microsoft / igvm
  ☆107Updated this week