How fast can we brute force a 64-bit comparison?
☆54Dec 19, 2019Updated 6 years ago
Alternatives and similar repositories for sixtyfour
Users that are interested in sixtyfour are comparing it to the libraries listed below
Sorting:
- Measure branching along code paths☆18Oct 25, 2016Updated 9 years ago
- RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance☆12May 3, 2024Updated last year
- Underconstrained symbolic execution for cryptography verification☆19Mar 26, 2021Updated 4 years ago
- ☆19Apr 23, 2021Updated 4 years ago
- Starfield renderer☆11Jun 26, 2019Updated 6 years ago
- Safely execute an arbitrary x86 instruction☆205Feb 6, 2024Updated 2 years ago
- poststructural fuzzing☆31Jan 29, 2020Updated 6 years ago
- Integrity validator for iOS devices☆101Feb 28, 2019Updated 7 years ago
- LibVMI in MiniOS☆12May 22, 2021Updated 4 years ago
- x86 emulator with DOS [unofficial mirror]☆12Oct 13, 2025Updated 5 months ago
- A formally verified compiler for a simple language with numbers and sums☆28Nov 29, 2020Updated 5 years ago
- Detect patterns of bad behavior in function calls☆25Jul 21, 2020Updated 5 years ago
- LLVM trunk with poolalloc trunk modified to compile only DSA☆12Jul 9, 2015Updated 10 years ago
- ☆17Feb 19, 2025Updated last year
- ☆12May 31, 2018Updated 7 years ago
- Type qualifiers for C☆16Sep 21, 2011Updated 14 years ago
- Semantic Crash Bucketing☆16Sep 8, 2020Updated 5 years ago
- Implementation of Tagged Memory security policies into Rocket Core☆10Nov 8, 2016Updated 9 years ago
- Docker images for people who want to try out building IncludeOS unikernels without having to install the development environment locally …☆17Oct 2, 2018Updated 7 years ago
- An Android soft keyboard using Morse code.☆14Jun 22, 2013Updated 12 years ago
- Predictive-Corrective Incompressible SPH paper implementation☆14May 13, 2016Updated 9 years ago
- Beta Version of Cryptographic Fault Diagnosis Tool (VerFI)☆13Nov 6, 2020Updated 5 years ago
- GraphQL Middleware for container interop☆13Jun 18, 2019Updated 6 years ago
- libs2e.so☆19Dec 19, 2020Updated 5 years ago
- Python bindings for Comby☆13Nov 7, 2023Updated 2 years ago
- crauEmu is an uEmu extension for developing and analyzing payloads for code-reuse attacks☆111Dec 11, 2019Updated 6 years ago
- Cloud backend of Pebble☆10Mar 18, 2021Updated 5 years ago
- CHERI C/C++ Programming Guide☆60Feb 7, 2026Updated last month
- Implementation of Bitcoin Cash protocol in node.js☆10Apr 19, 2019Updated 6 years ago
- Collection of LLVM passes and triage tools for use with the KRF fuzzer☆38Oct 12, 2022Updated 3 years ago
- MetaMask ZeroClient and backing iframe service☆12Apr 6, 2020Updated 5 years ago
- Golang SDK for IoTeX bloclchain☆13Feb 24, 2025Updated last year
- Metagenomic Analysis☆11Apr 5, 2021Updated 4 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆321Dec 1, 2021Updated 4 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- A View Model framework written in rust, inspired by Next.js.☆10May 29, 2023Updated 2 years ago
- Linux kernels (CGC DECREE and vanilla) with S2E extensions☆24Jul 6, 2024Updated last year
- The Ethereum Improvement Proposal repository☆14Apr 16, 2019Updated 6 years ago
- ☆20Dec 19, 2025Updated 3 months ago