A visualized debugging framework to aid in understanding the Linux kernel.
☆270Jun 13, 2026Updated 4 months ago
Alternatives and similar repositories for visualinux
Users that are interested in visualinux are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆34Dec 29, 2024Updated last year
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated 2 years ago
- A tool for cross-checking Verilog compilers☆15Apr 16, 2025Updated last year
- A desktop application that provides visualization of basic algorithms and data structures. Implemented with JavaFX.☆13Sep 23, 2022Updated 4 years ago
- Revealing the Unstable Foundations of eBPF-Based Kernel Extensions☆18May 20, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- memory access workload simulator☆42Sep 12, 2026Updated last month
- cache_ext is a framework to customize Linux page cache eviction policies using BPF. Appeared in SOSP 2025.☆103Oct 25, 2026Updated last week
- A minimalist RISC-V system emulator capable of running Linux kernel with efficient event-driven scheduling☆315Updated this week
- The MOSAIC Operating Systems Model and Checker☆217May 8, 2023Updated 3 years ago
- Concurrency Primer☆131Aug 7, 2026Updated 2 months ago
- ☆273Dec 25, 2025Updated 10 months ago
- SYSYPHUZZ: the Pressure of More Coverage☆27Nov 12, 2025Updated 11 months ago
- Artifact package for CBMM paper (ATC'22)☆11Jun 5, 2022Updated 4 years ago
- Linux-native filesystem backed by DNS☆18Jul 9, 2026Updated 3 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A minimal, modularized, and machine-independent hardware abstraction layer☆548Jul 28, 2026Updated 3 months ago
- Tiny simple things inside the kernel☆31Jun 12, 2025Updated last year
- Xiangshan deterministic workloads generator☆30Oct 14, 2026Updated 3 weeks ago
- ☆41May 27, 2026Updated 5 months ago
- ☆20Oct 24, 2024Updated 2 years ago
- [SOSP'25] Automatic checker synthesis for system-level static analysis☆190Oct 26, 2025Updated last year
- fork of prex.sourceforge.net, Prex is an open source, royalty-free, real-time operating system for embedded systems.☆15Sep 4, 2026Updated 2 months ago
- Loongarch Emulator☆20Mar 14, 2025Updated last year
- KernelGPT: Enhanced Kernel Fuzzing via Large Language Models (ASPLOS 2025)☆183Aug 25, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Rust APIs for userworld zfs(uzfs)☆23Oct 27, 2026Updated last week
- Verilog code of Loongson's GS132 core☆12Dec 19, 2019Updated 6 years ago
- Linux on Arm Cortex-M☆16May 19, 2026Updated 5 months ago
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust for SMR Protocols Research☆19Updated this week
- A GPU-oriented coverage-guided fuzzer for userland CUDA applications☆61Sep 14, 2026Updated last month
- ☆21Dec 4, 2023Updated 2 years ago
- Random program generation based on semantic reification (PLDI'26)☆25Oct 7, 2026Updated 3 weeks ago
- Turning Linux into a High-Performance Library OS with Flux (SOSP 2026)☆11Sep 21, 2026Updated last month
- Enhanced implementation of Kint in LLVM-14, in C++17.☆10May 2, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- DAMON user-space tool☆90Updated this week
- BPF CO-RE based sched-analyzer☆48Feb 2, 2025Updated last year
- Artifact evaluation repo for EuroSys'24.☆30Nov 7, 2023Updated 2 years ago
- Falcon: A practical log-based analysis tool for distributed systems☆34Apr 3, 2021Updated 5 years ago
- A formatter for TLA+ specs☆15Oct 14, 2026Updated 3 weeks ago
- A terminal-based recreation of Google Chrome's famous T-Rex game☆16Oct 23, 2025Updated last year
- ☆148Updated this week