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
• agl / ctgrind
  Checking that functions are constant time with Valgrind
  ☆196Updated 8 years ago
• imdea-software / verifying-constant-time
  ☆38Updated 8 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
  ☆33Updated 6 years ago
• rems-project / netsem
  Network Semantics
  ☆91Updated 7 years ago
• tls13tamarin / TLS13Tamarin
  This is a Tamarin model of TLS 1.3
  ☆41Updated 2 years ago
• ahorn / smt-kit
  C++11 library for many-sorted logics
  ☆39Updated 9 years ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆40Updated 8 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆225Updated 2 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆96Updated 10 years ago
• inducer / pycparserext
  Extensions for Eli Bendersky's pycparser
  ☆91Updated 2 months ago
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆20Updated 6 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆47Updated 3 years ago
• coccinelle / coccinellery
  ☆113Updated last year
• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 8 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆71Updated 9 years ago
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆136Updated 5 years ago
• pkhuong / polynomial-approximation-catalogue
  A catalogue of efficient and accurate polynomial approximations
  ☆17Updated 4 years ago
• usubalang / usuba
  A programming language to write bitsliced ciphers
  ☆59Updated last year
• Inria-Prosecco / reftls
  ☆34Updated 4 months ago
• xiw / stack
  A static checker for identifying unstable code.
  ☆363Updated 10 years ago
• emeryberger / dthreads
  dthreads: Efficient Deterministic Multithreading
  ☆70Updated 11 years ago
• GaloisInc / smaccmpilot-build
  An umbrella repository including all of the dependencies to build the smaccmpilot project
  ☆74Updated 8 years ago
• pmachata / dwgrep
  a tool for querying Dwarf (debuginfo) graphs
  ☆58Updated last year
• coron / htable
  High-order countermeasures for AES and DES
  ☆24Updated last year
• floodyberry / poly1305-opt
  Optimized implementations of Poly1305, a fast message-authentication-code
  ☆47Updated 11 years ago
• oreparaz / dudect
  dude, is my code constant time?
  ☆198Updated last year
• dsw / oink-stack
  Oink is a collaboration of C++ static analysis tools.
  ☆156Updated 3 years ago
• stp / minisat
  A minimalistic and high-performance SAT solver
  ☆29Updated 3 years ago
• sumith1896 / tusSAT
  A SAT solver implementation in VHDL, team tussle
  ☆21Updated 9 years ago