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
  ☆37Updated 8 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
  ☆191Updated 8 years ago
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆20Updated 6 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
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆40Updated 2 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆96Updated 10 years ago
• tls13tamarin / TLS13Tamarin
  This is a Tamarin model of TLS 1.3
  ☆40Updated 2 years ago
• inducer / pycparserext
  Extensions for Eli Bendersky's pycparser
  ☆87Updated last month
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆41Updated 8 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆220Updated 2 years ago
• Inria-Prosecco / reftls
  ☆33Updated this week
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆136Updated 4 years ago
• oreparaz / dudect
  dude, is my code constant time?
  ☆190Updated last year
• pkhuong / polynomial-approximation-catalogue
  A catalogue of efficient and accurate polynomial approximations
  ☆16Updated 3 years ago
• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆71Updated 9 years ago
• coron / htable
  High-order countermeasures for AES and DES
  ☆25Updated last year
• xiw / stack
  A static checker for identifying unstable code.
  ☆361Updated 10 years ago
• rems-project / netsem
  Network Semantics
  ☆90Updated 6 years ago
• veorq / numsgen
  Generator of "nothing-up-my-sleeve" constants
  ☆24Updated 10 years ago
• hannob / bignum-fuzz
  Code to fuzz bignum libraries
  ☆46Updated 6 years ago
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆28Updated 7 years ago
• usubalang / usuba
  A programming language to write bitsliced ciphers
  ☆58Updated last year
• mitls / mitls-flex
  TLS implemented in f7
  ☆43Updated 9 years ago
• gpetiot / Frama-C-Mutation
  Generation of mutant programs
  ☆20Updated 6 years ago
• tudinfse / intel_mpx_explained
  Experimental setup of "Intel MPX explained"
  ☆28Updated 5 years ago
• stp / minisat
  A minimalistic and high-performance SAT solver
  ☆28Updated 2 years ago
• regehr / ub-canaries
  collection of C/C++ programs that try to get compilers to exploit undefined behavior
  ☆184Updated 6 years ago
• emeryberger / dthreads
  dthreads: Efficient Deterministic Multithreading
  ☆52Updated 10 years ago