C++ library for symbolic computations
☆35Oct 25, 2025Updated last year
Alternatives and similar repositories for Fintamath
Users that are interested in Fintamath are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Sep 25, 2023Updated 3 years ago
- clinglite: REPL in C++. A lightweight C++ wrapper on top of Cling (the interactive C++ interpreter from CERN)☆18Mar 26, 2026Updated 7 months ago
- Rust library for lifting raw binary data to LLVM IR☆68Jul 8, 2026Updated 3 months ago
- got oriented programming gadget finder☆14May 5, 2024Updated 2 years ago
- Experiment building lifting-bits dependencies with pure CMake. Migrated to:☆21Oct 8, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Fast binary cross-reference extractor for ELF, Mach-O, PE, and dyld shared caches☆17Sep 30, 2026Updated last month
- simple zero-dependency timer implementation☆12May 24, 2023Updated 3 years ago
- a minimalistic windows hypervisor for amd processors☆156Jun 30, 2022Updated 4 years ago
- modern gdbstub/rsp server library☆18Feb 11, 2026Updated 8 months ago
- Symbolic Execution based on lifting amd64 to z3☆31Jul 2, 2024Updated 2 years ago
- A basic implementation of Patch Guard that I implemented, that includes integrity checks and other protection mechanisms I added.☆79Sep 26, 2026Updated last month
- ☆17Jun 30, 2020Updated 6 years ago
- A metamorphic binary transformation engine based on r2pipe and radare2.☆53Updated this week
- All LLVM binaries scrambled with SigBreaker and used to test against llvm-lit☆31Sep 14, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- x86-64 Automated test data generator☆29Oct 18, 2026Updated 2 weeks ago
- Convert Windows PDB into JSON profile supported by DRAKVUF/LibVMI☆15May 29, 2026Updated 5 months ago
- Fast covert timing channel communication for inter-process and inter-processor communication on Windows systems.☆78Mar 24, 2026Updated 7 months ago
- ☆11Dec 1, 2022Updated 3 years ago
- ZeroImport is a lightweight and easy to use C++ library for Windows Kernel Drivers. It allows you to hide any import in your kernel drive…☆52Mar 22, 2023Updated 3 years ago
- Simple, fast and lightweight Header-Only C++ Assembler Library☆145Aug 13, 2025Updated last year
- C++ Reflection and Scripting Library☆23Jan 13, 2023Updated 3 years ago
- ☆71Feb 23, 2025Updated last year
- Devirtualizer for binaryshield☆22Mar 25, 2026Updated 7 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Port of zentool to Windows☆28Mar 7, 2025Updated last year
- ☆11Mar 16, 2026Updated 7 months ago
- Windows Hypervisor Platform (WHPX) on CSharp.☆10Jul 23, 2019Updated 7 years ago
- A WinForms-like C# OpenGL User Interface library☆19Aug 28, 2015Updated 11 years ago
- ☆26Aug 7, 2023Updated 3 years ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆74Jul 6, 2026Updated 4 months ago
- Bit-vector expression simplifier for binary analysis and deobfuscation☆62Oct 20, 2026Updated 2 weeks ago
- ☆12Feb 24, 2016Updated 10 years ago
- Bazaar of Trilateral tests and related experiments☆10Nov 17, 2018Updated 7 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A minimal template for bgfx☆10Jan 20, 2026Updated 9 months ago
- A simple pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST.☆40Apr 3, 2020Updated 6 years ago
- Fault finder main code repository☆13Oct 14, 2024Updated 2 years ago
- cr3 shuffle driver☆102Mar 24, 2024Updated 2 years ago
- String algorithms for C+11 and later in a single-file header-only library.☆17Oct 13, 2026Updated 3 weeks ago
- Minimal header-only C++11 argument parser library for simple command line tools.☆25Mar 29, 2026Updated 7 months ago
- RE for champions☆18Updated this week