semcode
☆179Oct 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:
- Agentic review of Linux Kernel code changes☆1,368Updated this week
- Tools for doing upstream Linux kernel development, patch wrangling, builds, and testing☆60Jun 15, 2026Updated 4 months ago
- Subgraph pH☆15May 29, 2026Updated 5 months ago
- Quickly build and run kernels inside a virtualized snapshot of your live system☆908Oct 23, 2026Updated last week
- Linux Kernel Performance tests☆310Oct 17, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Examine x86-64 machine code to find suboptimal encodings and sequences of instructions☆17Sep 27, 2026Updated last month
- An LLVM IR dataset for data-driven compiler optimization research☆17Updated this week
- ☆23Sep 10, 2024Updated 2 years ago
- netdev foundation documents and issue tracking☆12Sep 22, 2025Updated last year
- ☆89Jan 10, 2024Updated 2 years ago
- WiFi 7 / MLO manager for BPI-R4 (MT7996) — LuCI package for OpenWrt with MTK SDK☆16Jul 6, 2026Updated 3 months ago
- Helps run tests in virtual machines☆152Apr 22, 2026Updated 6 months ago
- CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution☆134Oct 5, 2026Updated 3 weeks ago
- ☆12Oct 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.
- Custom GitHub Actions for BPF CI☆25Oct 5, 2026Updated 3 weeks ago
- MMTests: Benchmarking framework primarily aimed at Linux kernel testing☆250Jun 25, 2026Updated 4 months ago
- ☆14Sep 29, 2025Updated last year
- CEED Benchmarks☆12May 23, 2022Updated 4 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆41Oct 23, 2026Updated last week
- Programmable debugger☆2,131Updated this week
- Kernel process scheduler statistics☆84Feb 14, 2026Updated 8 months ago
- experiments for IJON☆12Jul 1, 2019Updated 7 years ago
- WIP Java decompiler☆24Dec 3, 2025Updated 10 months 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.
- cache_ext is a framework to customize Linux page cache eviction policies using BPF. Appeared in SOSP 2025.☆102Jun 18, 2026Updated 4 months ago
- weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interestin…☆18May 25, 2026Updated 5 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Mar 1, 2025Updated last year
- 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
- This crate is now part of the vm-virtio workspace: https://github.com/rust-vmm/vm-virtio☆15Mar 2, 2022Updated 4 years ago
- KFLAT is a tool to serialize memory of selected variables from the running Linux kernel and organize it into a single memory block of con…☆32Jan 20, 2026Updated 9 months ago
- micro version of cocotb, to run on microcontrollers or desktop to get hardware in the loop☆27Feb 25, 2025Updated last year
- A fuzzer setup to fuzz libc functions.☆16Aug 30, 2022Updated 4 years ago
- Scripts to build and test Linux kernels☆51Sep 22, 2026Updated last month
- 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.
- ☆14Jun 15, 2026Updated 4 months ago
- ☆16May 11, 2022Updated 4 years ago
- ☆17May 26, 2026Updated 5 months ago
- A collection of analysis tools for Kconfig and Kbuild constraints.☆72Aug 18, 2026Updated 2 months ago
- Fast binary cross-reference extractor for ELF, Mach-O, PE, and dyld shared caches☆17Sep 30, 2026Updated last month
- Linux kernel crash utility NOTE: subscribe to mail list via https://lists.crash-utility.osci.io/admin/lists/devel.lists.crash-utility.osc…☆966Oct 10, 2026Updated 2 weeks ago
- BPF CI workflows☆16Updated this week