Alternatives and similar repositories for libfixedtimefixedpoint

Users that are interested in libfixedtimefixedpoint are comparing it to the libraries listed below

• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆49Updated 4 years ago
• rutgers-apl / alive-nj
  Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
  ☆32Updated 5 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• emeryberger / dthreads
  dthreads: Efficient Deterministic Multithreading
  ☆51Updated 10 years ago
• nidhugg / nidhugg
  Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…
  ☆81Updated 6 months ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆40Updated 8 years ago
• santoshn / softboundcets-34
  SoftBoundCETS for LLVM+Clang version 34
  ☆57Updated 10 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆70Updated 9 years ago
• embecosm / gso2
  GNU Superoptimizer Version 2
  ☆26Updated 4 years ago
• stp / minisat
  A minimalistic and high-performance SAT solver
  ☆28Updated 2 years ago
• armfazh / flo-shani-aesni
  Performance Evaluation of SHA-256 using SHA New Instructions.
  ☆43Updated last week
• b-shi / PMC-PMI
  Performance Counter Measurements at the cycle granularity
  ☆18Updated 3 years ago
• floodyberry / poly1305-opt
  Optimized implementations of Poly1305, a fast message-authentication-code
  ☆45Updated 10 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆98Updated 9 years ago
• pkhuong / barrierd
  Safely privileged daemon to let userspace wait on global barriers with low, constant overhead
  ☆17Updated 5 years ago
• ahorn / smt-kit
  C++11 library for many-sorted logics
  ☆39Updated 8 years ago
• Inria-Prosecco / reftls
  ☆30Updated last year
• pmachata / dwgrep
  a tool for querying Dwarf (debuginfo) graphs
  ☆55Updated last year
• vusec / deltapointers
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆54Updated 3 years ago
• UTSASRG / Guarder
  ☆13Updated 6 years ago
• usubalang / usuba
  A programming language to write bitsliced ciphers
  ☆56Updated 9 months ago
• rmmh / whomp
  reverse engineering branch predictors
  ☆17Updated 9 years ago
• coruus / nist-testvectors
  NIST CSRC Cryptography Toolkit test vectors (unofficial and dumped to text)
  ☆24Updated 6 years ago
• ftsrg / gazer
  An LLVM-based formal verification frontend for C programs.
  ☆24Updated 3 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆220Updated last year
• regehr / const_time
  empirical measurement of code constructs that seem like they should have constant execution time regardless of values of inputs
  ☆9Updated 9 years ago
• petersn / autosat
  Library for creation of SAT instances.
  ☆21Updated 2 years ago
• jtcriswell / SVA
  Secure Virtual Architecture
  ☆42Updated 6 years ago
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆28Updated 7 years ago