Extensible Platform for Malware Analysis
☆17Jan 14, 2021Updated 5 years ago
Alternatives and similar repositories for ColdPress
Users that are interested in ColdPress are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- VoIP honeypot system☆23Apr 2, 2024Updated 2 years ago
- ☆10Nov 5, 2018Updated 7 years ago
- Tizen distribution for Yocto (fork for Freescale i.MX6)☆10Feb 8, 2016Updated 10 years ago
- Interpreter for inference rules☆14May 5, 2018Updated 8 years ago
- Capture a URL with Playwright☆32Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Adds a guard to disable ObjectInputStream.readObject☆11Dec 6, 2015Updated 10 years ago
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 years ago
- egg is a flexible, high-performance e-graph library☆13Apr 5, 2024Updated 2 years ago
- ☆20Nov 5, 2018Updated 7 years ago
- Working through the Book Lisp In Small Pieces☆13Jun 8, 2022Updated 4 years ago
- ☆17Apr 13, 2026Updated 4 months ago
- miniKanren with a first-order representation of the search space☆16Mar 11, 2026Updated 5 months ago
- Awesome list for asm2vec☆17Feb 1, 2021Updated 5 years ago
- Collection of generic YARA rules☆16Mar 18, 2026Updated 5 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- An patch porting qwingraph (wingraph written in qt4) to qt5.☆11Aug 21, 2019Updated 7 years ago
- An aid for developing correct WebAssembly implementations through generative fuzzing☆15Aug 30, 2022Updated 4 years ago
- Check security aspects of a second-level domain name.☆18May 31, 2024Updated 2 years ago
- A LaTeX package for commenting multi-author documents☆12Feb 12, 2015Updated 11 years ago
- A language and tool for relational models☆12Jul 20, 2017Updated 9 years ago
- ☆14Apr 5, 2023Updated 3 years ago
- This is an IDA plugin to recover class information from C++ binary.☆18Aug 4, 2020Updated 6 years ago
- It's exactly like those graduation gift balloons, except this is a Clang Tool that detects library-level API and ABI compatibility breaki…☆14Apr 8, 2025Updated last year
- Codes generating animation using Manim (3B1B)☆12Aug 8, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Official repository of "Efficient and Effective Query Expansion for Web Search", Short Paper @ CIKM 2018☆15Nov 17, 2019Updated 6 years ago
- A list of bugs found by SQLancer☆17Jan 30, 2024Updated 2 years ago
- YARA Rule Strings Statistics Calculator and Malware Research Helper☆14Jul 24, 2021Updated 5 years ago
- Interprocedural Distributive Environment algorithm implementation☆16Jul 16, 2015Updated 11 years ago
- a grammar-based data generator☆61Jan 10, 2019Updated 7 years ago
- ☆10Feb 23, 2024Updated 2 years ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Aug 8, 2026Updated 3 weeks ago
- Documentation about ReaQta DeStra® Engine☆11Feb 7, 2022Updated 4 years ago
- Clinglite is a lightweight C++ wrapper on top of Cling (the interactive C++ interpreter from CERN)☆17Mar 26, 2026Updated 5 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆17May 26, 2026Updated 3 months ago
- Kieler Analyzer for Executables and Libraries - an interactive disassembler☆11May 24, 2018Updated 8 years ago
- Sample files for fuzzing ImageMagick☆19May 10, 2017Updated 9 years ago
- Haskell implementation of P4F Control-Flow Analysis☆21Jun 4, 2022Updated 4 years ago
- RcppDeepState, a simple way to fuzz test code in Rcpp packages☆10Oct 24, 2022Updated 3 years ago
- The Attacker IP Prioritizer(AIP) dynamically generates resource-friendly IPv4 blocklists from Zeek network flows.☆32Nov 13, 2024Updated last year
- Quick starter for SDL2 projects that run in web or desktop☆13Jul 24, 2020Updated 6 years ago