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:
- ☆16Feb 25, 2024Updated 2 years ago
- VoIP honeypot system☆23Apr 2, 2024Updated 2 years ago
- [ICSE2020] UAFL DataSet☆11Dec 10, 2022Updated 3 years ago
- ☆84May 17, 2018Updated 8 years ago
- ☆14Sep 17, 2026Updated 3 weeks ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Capture a URL with Playwright☆32Updated this week
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 10 years ago
- Adds a guard to disable ObjectInputStream.readObject☆11Dec 6, 2015Updated 10 years ago
- Proof assistant for Typographical Number Theory☆16Dec 15, 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
- Model explanation provides the ability to interpret the effect of the predictors on the composition of an individual score.☆13Jan 21, 2021Updated 5 years ago
- DBGBench Website:☆19Feb 24, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Main distribution of Petablox☆35Dec 10, 2017Updated 8 years ago
- Collection of generic YARA rules☆16Mar 18, 2026Updated 6 months 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
- Generating Detection Rules for Quark Engine !☆10Mar 20, 2026Updated 6 months ago
- A race detection tool for event driven applications.☆19Sep 21, 2015Updated 11 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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
- Source code for 'Pro Spark Streaming' by Zubair Nabi☆11Mar 27, 2017Updated 9 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
- ☆10Sep 28, 2026Updated 2 weeks 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 2 months ago
- clinglite: REPL in C++. A lightweight C++ wrapper on top of Cling (the interactive C++ interpreter from CERN)☆17Mar 26, 2026Updated 6 months ago
- ☆17May 26, 2026Updated 4 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 🎭 Sentiment Analysis with Neural Networks☆10Dec 4, 2016Updated 9 years 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
- 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
- This is a comprehensive guide on how you can automate your feature engineering process.☆11Jun 25, 2018Updated 8 years ago
- Latest version of GoFFish Distributed Graph Processing Platforms☆12Apr 30, 2018Updated 8 years ago