Stars
A comparison of operating systems written in Rust
Curated list of resources on testing distributed systems
Core library of new GPipe, encapsulating OpenGl and providing a type safe minimal library
A repository for learning various heap exploitation techniques.
Haskell Bindings for the OpenCASCADE CAD Kernel + A Declarative CAD/Solid Modeling Library
SWE-agent takes a GitHub issue and tries to automatically fix it, using your LM of choice. It can also be employed for offensive cybersecurity or competitive coding challenges. [NeurIPS 2024]
An MCP server that lets you interact with LSP servers
A WIP property-based testing library in Rust, built with generalized targeted-property testing in mind.
MiniMax-M2, a model built for Max coding & agentic workflows.
[SOSP'25] Automatic checker synthesis for system-level static analysis
Generating Idris2 code based on Dependent State Automata diagrams.
Full Idris2 code used in the TyDe '24 paper "Type-level Property Based Testing"
Malware evasion for WebAssembly with wasm-mutate https://www.sciencedirect.com/science/article/pii/S0167404823002067?via%3Dihub
Implement a reasoning LLM in PyTorch from scratch, step by step
A machine learning compiler for GPUs, CPUs, and ML accelerators
LibAFLGo: Evaluating and Advancing Directed Greybox Fuzzing
Fuzz go code using LibAFL's capabilities with Go’s native instrumentation.
FrameShift prototype implementation in LibAFL
Lecture notes for Qiskit Global Summer School 2025