datalog-based binary equivalence
☆18Oct 26, 2026Updated this week
Alternatives and similar repositories for daleq
Users that are interested in daleq are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Docker image for Python-based SBE/BDD tools☆10Mar 18, 2019Updated 7 years ago
- Java implementation of vers, a mostly universal version range specifier☆13Updated this week
- Runtime-aware SCA — proves which CVEs are actually reachable, not just installed.☆18Oct 9, 2026Updated 3 weeks ago
- Registers the `Deno.tracing` API as an exporter with the OpenTelemetry library.☆17Nov 18, 2024Updated last year
- Assessors Studio operationalizes CycloneDX Attestations (CDXA): perform assessments, collect evidence, make claims, and issue machine-rea…☆17Aug 16, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Static analysis and attack-surface scanner for AI agents — SAST for prompts, tools, MCP servers, and agent workflows. Detects capabilitie…☆30Updated this week
- Agnost GitOps Helm charts☆13Dec 9, 2025Updated 10 months ago
- ☆10Aug 28, 2020Updated 6 years ago
- ☆10Sep 2, 2024Updated 2 years ago
- An example starter repo using NextJS + AWS Lambda/APG to build a web app with theOpenAI APU☆13Sep 5, 2023Updated 3 years ago
- Security products related use cases and demos☆14Oct 7, 2026Updated 3 weeks ago
- The definitive list of popular ACME clients for Let's Encrypt and other ACME enabled CAs☆16Aug 29, 2025Updated last year
- lost.js - Local, Offline, Shareable Tools - A lightweight, zero-dependency, zero-backend framework for building shareable "vibe coding" a…☆14Jan 8, 2026Updated 9 months ago
- An implementation of OpenTelemetry for Fastly Compute☆18May 12, 2026Updated 5 months ago
- 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.
- Data visualization code generation benchmark: Evaluates LLMs' ability to generate visualization code from DataFrame descriptions.☆13Nov 28, 2025Updated 11 months ago
- Shadow IT and SaaS Detection via Email Log Monitoring☆14Feb 10, 2026Updated 8 months ago
- Automatically turns your RPI Pico into a bad usb. The pico-ducky is from dbisu.☆11May 28, 2024Updated 2 years ago
- The DNSimple API client for C#.☆13Updated this week
- ETHICAL-HACKING☆15Dec 20, 2023Updated 2 years ago
- Data-flow Analysis Visualizer☆10Dec 9, 2021Updated 4 years ago
- An abandoned game for MS-DOS.☆12Mar 1, 2019Updated 7 years ago
- AI-Powered Legal Research and Case Management Tool☆18Jul 11, 2025Updated last year
- 1990s-style graphical effects for MS-DOS☆10Sep 26, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A super framework for prompt engineering.☆15Nov 20, 2024Updated last year
- One million push connections on one server☆21Sep 29, 2021Updated 5 years ago
- ☆34Updated this week
- ☆12Mar 24, 2022Updated 4 years ago
- A python steganography module to store messages or files protected with AES-256 encryption inside an image.☆10Jan 18, 2022Updated 4 years ago
- ☆11Dec 14, 2023Updated 2 years ago
- A Model Context Protocol server allows to interact with MISP☆12Apr 9, 2025Updated last year
- An implementation of Kernighan and Plauger's Software Tools☆10Oct 8, 2013Updated 13 years ago
- ☆19Aug 3, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Raspberry Pi Pico frequency divider☆15Nov 21, 2021Updated 4 years ago
- A Simple Tool For Modifying MCPI Level Files☆10Aug 10, 2022Updated 4 years ago
- This script is to build Wazuh 4.3 environment☆12May 30, 2022Updated 4 years ago
- The original SiEd text editor for Palm OS devices by Benjamin Roe.☆11Jan 4, 2016Updated 10 years ago
- A visualisation for the Completely Fair Scheduler used in Linux Kernels.☆11May 23, 2019Updated 7 years ago
- Web-based hotsync for Palm OS devices☆12Jun 20, 2026Updated 4 months ago
- A cool, simple and efficent Minecraft Server Starter for Windows☆11Sep 16, 2018Updated 8 years ago