Repositories list

• system-intelligence-benchmark

  Public
  System Intelligence Benchmark

  TLA

  •

  MIT License

  •1111 forks•5454 stars•1414 issues•1616 pull requests•Updated Jul 30, 2026Jul 30, 2026

• rust-mizan

  Public
  An extensible benchmarking framework for evaluating both traditional and LLM-based vulnerability analysis techniques in Rust

  Python

  •

  Apache License 2.0

  •11 fork•00 stars•00 issues•00 pull requests•Updated Jun 26, 2026Jun 26, 2026

• sysedubench-website

  Public
  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 17, 2026Jun 17, 2026

• verus-proof-synthesis

  Public
  Rust

  •

  MIT License

  •2323 forks•00 stars•00 issues•00 pull requests•Updated May 10, 2026May 10, 2026

• sysedubench-public

  Public
  SysEduBench: Evaluating LLMs on building computing systems through university exams (SysExam) and programming labs (SysLab)

  Python

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 9, 2026May 9, 2026

• SysMoBench

  Public
  SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems

  Python

  •

  Apache License 2.0

  •33 forks•00 stars•00 issues•00 pull requests•Updated May 9, 2026May 9, 2026

• SREGym

  Public
  An AI-Native Platform for Benchmarking SRE Agents

  Python

  •

  MIT License

  •9999 forks•00 stars•00 issues•00 pull requests•Updated May 9, 2026May 9, 2026

• ai-writes-a-paper

  Public
  AI writes a systems security paper — from literature review to publication

  00 forks•00 stars•00 issues•00 pull requests•Updated Mar 27, 2026Mar 27, 2026

• sys-intelligence.github.io

  Public
  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jan 27, 2026Jan 27, 2026

• course-translator

  Public
  TypeScript

  •11 fork•00 stars•00 issues•00 pull requests•Updated Jan 18, 2026Jan 18, 2026