Alternatives and similar repositories for Grail-Plus

Users that are interested in Grail-Plus are comparing it to the libraries listed below

• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 8 years ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 7 years ago
• StanfordPL / cpputil
  Miscellaneous utility code for c++ projects.
  ☆18Updated 7 years ago
• maximecaron / SIMD-Based-Posting-lists
  Implementation of Alexander A. Stepanov inverted Index Compression algorithms
  ☆21Updated 10 years ago
• dsw / oink-stack
  Oink is a collaboration of C++ static analysis tools.
  ☆156Updated 3 years ago
• nmathewson / libottery
  A fast secure userspace pseudorandom number generator
  ☆83Updated 11 years ago
• coccinelle / faults-in-Linux
  Experimental bed to study Linux faults
  ☆26Updated 3 years ago
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated 7 months ago
• okazymyrov / sbox
  Analysis and generation of substitutions
  ☆25Updated 3 months ago
• pbailis / tinytocs-site
  Tiny Transactions on Computer Systems (TinyToCS) Site
  ☆32Updated 9 years ago
• hcrypt-project / oblivious
  Oblivious Memory Access under Fully Homomorphic Encryption
  ☆13Updated 10 years ago
• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆53Updated 12 years ago
• ned14 / uthash
  A GIT clone of uthash.sourceforge.net, a hash table, implemented in C, supporting constant-time add/find/remove of C structures. Any stru…
  ☆37Updated 12 years ago
• axw / cmonster
  Python wrapper for the Clang C++ preprocessor and parser.
  ☆128Updated 11 years ago
• regehr / nibble-sort
  Many functions in C for sorting the nibbles in an 8-byte word
  ☆33Updated 11 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆49Updated 4 years ago
• emeryberger / dthreads
  dthreads: Efficient Deterministic Multithreading
  ☆70Updated 11 years ago
• scotts / streamflow
  Lock-free multithreaded memory allocation
  ☆110Updated 9 years ago
• CountOnes / hamming_weight
  C library to compute the Hamming weight of arrays
  ☆51Updated 7 years ago
• art4711 / bmap_find
  finding set bits in large bitmaps
  ☆15Updated 10 years ago
• rescrv / e
  Library containing high-performance datastructures and utilities for C++
  ☆76Updated 8 years ago
• xiw / libo
  Integer arithmetic with overflow detection
  ☆73Updated 11 years ago
• norx / norx
  Reference implementations (software)
  ☆85Updated 9 years ago
• klee / klee-web
  KLEE in the browser
  ☆54Updated 2 weeks ago
• rutgers-apl / alive-nj
  Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
  ☆33Updated 6 years ago
• ishiura-compiler / CF3
  "CF3" is a C compiler test suite targeting arithmetic optimization.
  ☆37Updated 8 years ago
• dpt / Aha
  A tweaked version of Aha! ("A Hacker's Assistant") the superoptimiser by Henry S. Warren
  ☆58Updated 3 years ago
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆28Updated 7 years ago
• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆88Updated 2 years ago
• willemt / duraqueue
  Durable dead simple queue that allows zero copy semantics. Durable under failure!
  ☆18Updated 10 years ago