Alternatives and similar repositories for libfixedtimefixedpoint

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

• 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
  ☆32Updated 6 years ago
• agl / ctgrind
  Checking that functions are constant time with Valgrind
  ☆193Updated 8 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆49Updated 4 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆71Updated 9 years ago
• tls13tamarin / TLS13Tamarin
  This is a Tamarin model of TLS 1.3
  ☆40Updated 2 years ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆41Updated 8 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆222Updated 2 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆96Updated 10 years ago
• rems-project / netsem
  Network Semantics
  ☆90Updated 6 years ago
• Inria-Prosecco / reftls
  ☆33Updated last month
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆20Updated 6 years ago
• ahorn / smt-kit
  C++11 library for many-sorted logics
  ☆39Updated 9 years ago
• usubalang / usuba
  A programming language to write bitsliced ciphers
  ☆58Updated last year
• tudinfse / intel_mpx_explained
  Experimental setup of "Intel MPX explained"
  ☆28Updated 5 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆46Updated 3 years ago
• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 8 years ago
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆136Updated 4 years ago
• kframework / c-semantics
  Semantics of C in K
  ☆317Updated 3 years ago
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆28Updated 7 years ago
• xiw / stack
  A static checker for identifying unstable code.
  ☆363Updated 10 years ago
• SRI-CSL / OCCAM
  OCCAM: Object Culling and Concretization for Assurance Maximization
  ☆27Updated 2 years ago
• microsoft / Komodo
  Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
  ☆106Updated 3 years ago
• tpoeppelmann / newhope
  ☆100Updated 9 years ago
• oreparaz / dudect
  dude, is my code constant time?
  ☆191Updated last year
• jtcriswell / SVA
  Secure Virtual Architecture
  ☆42Updated 6 years ago
• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆53Updated 6 years ago
• UTSASRG / FreeGuard
  ☆38Updated 7 years ago
• aclements / commuter
  Automated multicore scalability testing tool
  ☆88Updated 9 years ago
• pmachata / dwgrep
  a tool for querying Dwarf (debuginfo) graphs
  ☆57Updated last year