semcode
☆158Aug 27, 2026Updated this week
Alternatives and similar repositories for semcode
Users that are interested in semcode are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- AI review prompts☆913Updated this week
- Agentic review of Linux Kernel code changes☆1,198Updated this week
- Linux Kernel Engineering Prompts☆20Mar 19, 2026Updated 5 months ago
- ☆27Jul 15, 2025Updated last year
- Quickly build and run kernels inside a virtualized snapshot of your live system☆872Updated this week
- 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.
- ☆23Sep 10, 2024Updated last year
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆41Aug 22, 2026Updated last week
- CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution☆133Aug 10, 2026Updated 2 weeks ago
- ☆24Jul 4, 2025Updated last year
- Kernel process scheduler statistics☆84Feb 14, 2026Updated 6 months ago
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆37Feb 4, 2025Updated last year
- experiments for IJON☆12Jul 1, 2019Updated 7 years ago
- micro version of cocotb, to run on microcontrollers or desktop to get hardware in the loop☆26Feb 25, 2025Updated last year
- A fuzzer setup to fuzz libc functions.☆16Aug 30, 2022Updated 4 years 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.
- ☆16May 11, 2022Updated 4 years ago
- CClyzer port to souffle lang☆21Jan 29, 2024Updated 2 years ago
- Linux Kernel Performance tests☆307Jul 22, 2026Updated last month
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Aug 14, 2024Updated 2 years ago
- Mirror of SMHasher3 repo from official Gitlab site. Submit all issues and PRs there, not on Github!☆17Updated this week
- The source for the Linux kernel used in CBL-Mariner☆49Aug 21, 2026Updated last week
- ☆17May 26, 2026Updated 3 months ago
- Programmable debugger☆2,082Updated this week
- CodeHawk Abstract Interpretation Engine and Analyzers☆76Aug 18, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Symbolic Execution over Falcon IL☆31Mar 13, 2026Updated 5 months ago
- An OpenAI-powered triage bot for a slack support channel designed to tag oncalls, prioritize issues, suggest solutions, and streamline co…☆13Jun 11, 2025Updated last year
- Linux Cross-Memory Attach☆23Apr 21, 2026Updated 4 months ago
- programmatic binary patching using ptrace☆14Aug 9, 2025Updated last year
- SightHouse is a tool designed to assist reverse engineers by retrieving information and metadata from programs and identifying similar fu…☆85Jul 8, 2026Updated last month
- Statistics from our binary transformation framework☆12Jan 16, 2025Updated last year
- ☆16Updated this week
- Mellanox switch drivers kernel - this is developer queue for upstream kernel, no out-of-tree code!☆20Updated this week
- Tools for doing upstream Linux kernel development, patch wrangling, builds, and testing☆58Jun 15, 2026Updated 2 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆63May 20, 2025Updated last year
- MMTests: Benchmarking framework primarily aimed at Linux kernel testing☆249Jun 25, 2026Updated 2 months ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Oct 31, 2022Updated 3 years ago
- IDA Database Parser for Rust☆26Sep 13, 2024Updated last year
- patch-hub is a TUI that streamlines the interaction of Linux developers with patches archived on lore.kernel.org☆36Updated this week
- Official implementation of the paper "HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package" accepted @ DDECS 2023.☆15Jul 11, 2025Updated last year
- Small crate for interacting with cargo registry indices☆31Apr 27, 2026Updated 4 months ago