git-star-ranking

eth-sri

SRI Lab, ETH Zurich Joined Sept 2013 View on GitHub

Stars
9,430
across 144 public repos
Rank
#4,088
of 94,827 organizations, top 5%

Repositories with 50+ stars

RankRepositoryLanguageStars
15,581
lmql

A language for constraint-guided and efficient LLM programming.

Python 4,226
100,943
securify2

Securify v2.0

Solidity 635
136,791
debin

Machine Learning to Deobfuscate Binaries

Python 453
173,083
eran

ETH Robustness Analyzer for Deep Neural Networks

Python 347
199,251
matharena

Evaluation of LLMs on latest math competitions

Python 295
252,350
securify

[DEPRECATED] Security Scanner for Ethereum Smart Contracts

Java 223
252,350
language-model-arithmetic

Controlled Text Generation via Language Model Arithmetic

Python 223
254,205
diffai

A certifiable defense against adversarial examples by training neural networks to be provably robust

Python 221
255,115
Nice2Predict

Learning framework for program property prediction

C++ 220
341,112
ilf

AI based fuzzer based on imitation learning

Python 155
368,433
psi

Exact Inference Engine for Probabilistic Programs

JetBrains MPS 141
377,298
ELINA

ELINA: ETH LIbrary for Numerical Analysis

C++ 137
384,064
sven
Python 134
462,540
type-constrained-code-generation

Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]

Python 106
521,203
fastsmt

Learning to Solve SMT Formulas Fast

SMT 91
540,157
dl2

DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, outputs, weights) and to query networks for inputs fulfilling a...

Python 87
540,157
zkay

A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private smart contracts.

Python 87
566,039
llmprivacy
Python 82
613,485
astarix

AStarix: Fast and Optimal Sequence-to-Graph Aligner

C++ 74
640,688
TFix
JavaScript 70
679,495
agentbench
Python 65
687,767
SynthPAI

A Synthetic Dataset for Personal Attribute Inference (NeurIPS'24 D&B)

HTML 64
742,413
llm-quantization-attack

[NeurIPS 2024 / ICML 2025] LLM Quantization Attacks

Python 58
742,413
constrained-diffusion

Constrained Decoding of Diffusion LLMs with Context-Free Grammars.

Rust 58
774,386
SafeCoder
Python 55
785,713
proof-council
Python 54

Among 94,827 organizations

6.3k–10k stars: 1,979 organizations, including eth-sri

Stars along the bottom, and organizations in each band on a log scale

Where the stars are

lmql 4.2k, 45%
Smaller repos 1.1k, 11%
securify2 635, 7%debin 453, 5%eran 347, 4%matharena 295, 3%securify 223, 2%language-model-arithmetic 223, 2%diffai 221, 2%Nice2Predict 220, 2%ilf 155, 2%psi 141, 1%ELINA 137, 1%sven 134, 1%
2 more repos 109, 1%
type-constrained-code-generation 106, 1%fastsmt 91, 1%dl2 87, 1%zkay 87, 1%llmprivacy 82, 1%astarix 74, 1%TFix 70, 1%agentbench 65, 1%SynthPAI 64, 1%llm-quantization-attack 58, 1%constrained-diffusion 58, 1%

Languages

  1. Python 6.6k stars, 70% · 16 repos
  2. Solidity 635 stars, 7% · 1 repo
  3. C++ 431 stars, 5% · 3 repos
  4. Java 223 stars, 2% · 1 repo
  5. JetBrains MPS 141 stars, 1% · 1 repo
  6. SMT 91 stars, 1% · 1 repo
  7. JavaScript 70 stars, 1% · 1 repo
  8. HTML 64 stars, 1% · 1 repo

and 1 more language

When they were made

26 repos with 50+ stars, made between 2015 and 2026

Quick stats

Next rank
+4 stars to reach #4,087
Next milestone
+25,564 stars to reach the top 1%
Public repos
144, 26 with 50+ stars
Popular repos
14 over 100 stars, 1 over 1k stars
Top repo
lmql, #15,581 of all repos, 45% of stars
Smaller repos
1,069 stars from repos under 50

Stars counted Recounted daily Next count around