Skip to content
@eth-sri

SRI Lab, ETH Zurich

Secure, Reliable, Intelligent Systems Lab, ETH Zurich

Pinned Loading

  1. lmql lmql Public

    A language for constraint-guided and efficient LLM programming.

    Python 4.2k 222

Repositories

Showing 10 of 147 repositories
  • proof-council Public
    eth-sri/proof-council's past year of commit activity
    Python 53 MIT 5 0 4 Updated Nov 1, 2026
  • eth-sri.github.io Public

    SRI Group Website

    eth-sri/eth-sri.github.io's past year of commit activity
    HTML 12 MIT 10 1 0 Updated Oct 31, 2026
  • optimizing-lean-agents Public
    eth-sri/optimizing-lean-agents's past year of commit activity
    Python 3 MIT 1 0 0 Updated Oct 30, 2026
  • lean-strip Public
    eth-sri/lean-strip's past year of commit activity
    Python 1 MIT 0 0 0 Updated Oct 30, 2026
  • psi Public

    Exact Inference Engine for Probabilistic Programs

    eth-sri/psi's past year of commit activity
    JetBrains MPS 141 BSL-1.0 19 3 0 Updated Oct 29, 2026
  • lean-lean-website Public
    eth-sri/lean-lean-website's past year of commit activity
    JavaScript 0 MIT 0 0 0 Updated Oct 28, 2026
  • lean-lean Public
    eth-sri/lean-lean's past year of commit activity
    Python 3 MIT 0 0 0 Updated Oct 28, 2026
  • cascade-routing Public
    eth-sri/cascade-routing's past year of commit activity
    Python 20 Apache-2.0 3 0 0 Updated Oct 27, 2026
  • synthetiq Public
    eth-sri/synthetiq's past year of commit activity
    OpenQASM 13 MIT 3 1 0 Updated Oct 26, 2026
  • testsuitebench Public
    eth-sri/testsuitebench's past year of commit activity
    Python 4 MIT 1 0 0 Updated Oct 25, 2026
View all repositories