Alternatives and similar repositories for libfixedtimefixedpoint

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

• rutgers-apl / alive-nj
  Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
  ☆32Updated 6 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆40Updated 2 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆98Updated 9 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆49Updated 4 years ago
• agl / ctgrind
  Checking that functions are constant time with Valgrind
  ☆188Updated 8 years ago
• ahorn / smt-kit
  C++11 library for many-sorted logics
  ☆39Updated 8 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆71Updated 9 years ago
• rems-project / netsem
  Network Semantics
  ☆90Updated 6 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆221Updated 2 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 9 months ago
• mattulbrich / llreve
  Automatic regression verification for LLVM programs
  ☆19Updated 4 years ago
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆20Updated 6 years ago
• jtcriswell / SVA
  Secure Virtual Architecture
  ☆42Updated 6 years ago
• UTSASRG / FreeGuard
  ☆36Updated 7 years ago
• tudinfse / intel_mpx_explained
  Experimental setup of "Intel MPX explained"
  ☆28Updated 5 years ago
• kframework / X86-64-semantics
  Semantics of x86-64 in K
  ☆157Updated 5 years ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆41Updated 8 years ago
• inducer / pycparserext
  Extensions for Eli Bendersky's pycparser
  ☆85Updated this week
• xiw / stack
  A static checker for identifying unstable code.
  ☆361Updated 10 years ago
• stp / minisat
  A minimalistic and high-performance SAT solver
  ☆28Updated 2 years ago
• rcorcs / llvm-heat-printer
  LLVM Profiling Visualization
  ☆85Updated 3 years ago
• oreparaz / dudect
  dude, is my code constant time?
  ☆184Updated last year
• regehr / ub-canaries
  collection of C/C++ programs that try to get compilers to exploit undefined behavior
  ☆181Updated 6 years ago
• pkhuong / polynomial-approximation-catalogue
  A catalogue of efficient and accurate polynomial approximations
  ☆16Updated 3 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆25Updated 3 years ago
• microwalk-project / Microwalk
  A microarchitectural leakage detection framework using dynamic instrumentation.
  ☆74Updated last month
• Inria-Prosecco / reftls
  ☆33Updated last year
• gpetiot / Frama-C-Mutation
  Generation of mutant programs
  ☆20Updated 6 years ago
• coccinelle / coccinellery
  ☆113Updated last year