KGym - A platform to run hundreds to thousands of ML4Linux kernel experiments at scale
☆17Nov 8, 2025Updated 8 months ago
Alternatives and similar repositories for kGym-Kernel-Gym
Users that are interested in kGym-Kernel-Gym are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Kernel Playground - A playground to run large scale experiments on the Linux Kernel☆23Nov 8, 2025Updated 8 months ago
- kGymSuite: Evaluating Linux Patches at Scale ⚡☆17May 8, 2026Updated 2 months ago
- TokenFuzz is an open platform for LLM-based vulnerability research☆17Updated this week
- Create and simulate finite state machines in your browser. Includes interactive exercises.☆11Nov 4, 2017Updated 8 years ago
- Deterministic record and replay and tracing of syzkaller bug reproducers☆20Apr 25, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆20Jan 4, 2023Updated 3 years ago
- The first GANs-based omics-to-omics translation framework☆15Sep 5, 2023Updated 2 years ago
- My OI life ...☆14Jan 5, 2019Updated 7 years ago
- ☆11Aug 21, 2024Updated last year
- ☆13Apr 26, 2023Updated 3 years ago
- ☆12Mar 24, 2023Updated 3 years ago
- Fuzz go code using LibAFL's capabilities with Go’s native instrumentation.☆72Feb 19, 2026Updated 5 months ago
- https://nnsmith-asplos.rtfd.io Artifact of "NNSmith: Generating Diverse and Valid Test Cases for Deep Learning Compilers" ASPLOS'23☆11Mar 29, 2023Updated 3 years ago
- [NeurIPS 23] Characterizing OOD Error via Optimal Transport☆13Nov 19, 2023Updated 2 years ago
- 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.
- Wasabi is a toolkit designed to isolate and trigger retry bugs by combining static program analysis, large language models (LLMs), fault …☆10Oct 8, 2024Updated last year
- ☆16Apr 6, 2023Updated 3 years ago
- InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!☆16May 31, 2022Updated 4 years ago
- TopoTrans: Optimal Transport meets Topological Data Analysis☆14Apr 20, 2023Updated 3 years ago
- Code for Tangent Model Composition for Ensembling and Continual Fine-tuning (ICCV 2023) and Tangent Transformers for Composition, Privacy…☆14May 14, 2024Updated 2 years ago
- Code and results accompanying our paper titled Leveraging Unlabeled Data to Predict Out-of-Distribution Performance at ICLR 2022☆10Dec 8, 2022Updated 3 years ago
- Armchr is a set of tools for AI coding agents.☆24Feb 19, 2026Updated 5 months ago
- Collect simple coverage information in memory.☆11Oct 6, 2022Updated 3 years ago
- Sishuai Gong, Rui Wang, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowplow: Effective Kernel Fuzzing with a Learned White-box Te…☆17May 3, 2026Updated 2 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.
- ☆13May 19, 2024Updated 2 years ago
- Fast and Precise On-the-fly Patch Validation for All☆10Feb 24, 2023Updated 3 years ago
- ☆82Sep 7, 2023Updated 2 years ago
- A practical fuzzing tool for SMT solvers☆11Nov 26, 2025Updated 8 months ago
- Mutation Test Tool for Solidity☆17Jun 17, 2022Updated 4 years ago
- ☆31Sep 22, 2025Updated 10 months ago
- KernelGPT: Enhanced Kernel Fuzzing via Large Language Models (ASPLOS 2025)☆176Aug 25, 2025Updated 11 months ago
- Liberating Libraries through Automated Fuzz Driver Generation: Striking a Balance Without Consumer Code☆23Jun 9, 2026Updated last month
- Arctic Core v.21.0.0 - The open source AUTOSAR☆16Jun 21, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆14Apr 6, 2023Updated 3 years ago
- This repository contains information related to the Root Cause Mapping Working Group and its activities. CVE Numbering Authority (CNA) re…☆17Jan 29, 2025Updated last year
- BDC is the eBPF powered DNS caching mechanism in kernel inspired by BMC☆10May 13, 2022Updated 4 years ago
- Efficient APR with LLMs http://arxiv.org/pdf/2402.06598☆16May 28, 2024Updated 2 years ago
- ⚙️ A tool for collecting executable code datasets with GitHub Actions ⚙️☆23Updated this week
- The First International Workshop on Large Language Model for Code 2024 (Co-Located with ICSE 2024)☆18Oct 4, 2024Updated last year
- A WebAssembly eBPF runtime based on wasmtime in rust☆11Feb 20, 2023Updated 3 years ago