Skip to content
@uw-syfi

uw-syfi

Popular repositories Loading

  1. TraceLab TraceLab Public

    An open toolkit and public dataset hub for collecting, sanitizing, analyzing, and visualizing coding agent traces.

    Python 138 22

  2. vibesys vibesys Public

    Can AI Agents Build Bespoke Systems?

    Python 103 32

  3. LLMc LLMc Public

    A language-model–powered compressor for natural language text

    Python 53 3

  4. piper piper Public

    A programmable distributed training system for PyTorch

    Python 25 7

  5. Murmur Murmur Public

    Murmur: An Efficient Inference System for Long-Form ASR

    Python 10 2

  6. TeleRAG TeleRAG Public

    [MLSys'26] TeleRAG: Efficient Retrieval-Augmented Generation Inference with Lookahead Retrieval

    Python 7

Repositories

Showing 10 of 17 repositories
  • vibesys Public

    Can AI Agents Build Bespoke Systems?

    uw-syfi/vibesys's past year of commit activity
    Python 103 MIT 32 116 6 Updated Oct 7, 2026
  • verus-lint Public

    Lint and analysis tool for Verus codebases: VIR facts, SQL and Rust rules

    uw-syfi/verus-lint's past year of commit activity
    Rust 0 MIT 0 0 0 Updated Oct 6, 2026
  • request-factory Public

    Replay real coding-agent workload shapes against an inference server

    uw-syfi/request-factory's past year of commit activity
    Rust 1 Apache-2.0 0 3 2 Updated Oct 5, 2026
  • cargo-strata Public

    Enforce crate and module dependency rules in a Cargo workspace (with optional Verus support)

    uw-syfi/cargo-strata's past year of commit activity
    Rust 0 MIT 0 0 0 Updated Oct 3, 2026
  • uw-syfi.github.io Public
    uw-syfi/uw-syfi.github.io's past year of commit activity
    HTML 1 MIT 6 4 1 Updated Sep 24, 2026
  • piper Public

    A programmable distributed training system for PyTorch

    uw-syfi/piper's past year of commit activity
    Python 25 MIT 7 7 9 Updated Sep 22, 2026
  • Magneton Public

    Magneton: Optimizing Energy Efficiency of ML Systems via Differential Energy Debugging [NSDI'27]

    uw-syfi/Magneton's past year of commit activity
    C++ 3 0 0 0 Updated Aug 31, 2026
  • verus-mutants Public

    Zero-config mutation testing for Verus Cargo projects

    uw-syfi/verus-mutants's past year of commit activity
    Rust 1 Apache-2.0 0 0 0 Updated Aug 25, 2026
  • TraceLab Public

    An open toolkit and public dataset hub for collecting, sanitizing, analyzing, and visualizing coding agent traces.

    uw-syfi/TraceLab's past year of commit activity
    Python 138 Apache-2.0 22 3 13 Updated Aug 22, 2026
  • Murmur Public

    Murmur: An Efficient Inference System for Long-Form ASR

    uw-syfi/Murmur's past year of commit activity
    Python 10 MIT 2 0 0 Updated Jun 3, 2026
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Most used topics

Loading…