# GitHub repos by eth-sri [Home](https://repo.masters-masters.com/en) › [eth-sri](https://repo.masters-masters.com/en/owners/eth-sri) All 14 public GitHub repos by eth-sri in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by eth-sri 14 public repos by eth-sri in the catalog, most starred first. - [eth-sri/lmql · ★ 4,222 · Python · RC](https://repo.masters-masters.com/en/repos/eth-sri/lmql) - [eth-sri/securify2 · ★ 635 · Solidity · Alpha](https://repo.masters-masters.com/en/repos/eth-sri/securify2) - [eth-sri/debin · ★ 454 · Python · Alpha](https://repo.masters-masters.com/en/repos/eth-sri/debin) - [eth-sri/eran · ★ 347 · Python · Alpha](https://repo.masters-masters.com/en/repos/eth-sri/eran) - [eth-sri/matharena · ★ 294 · Python · Alpha](https://repo.masters-masters.com/en/repos/eth-sri/matharena) - [eth-sri/securify · ★ 223 · Java · Prototype](https://repo.masters-masters.com/en/repos/eth-sri/securify) - [eth-sri/language-model-arithmetic · ★ 223 · Python · Prototype](https://repo.masters-masters.com/en/repos/eth-sri/language-model-arithmetic) - [eth-sri/diffai · ★ 221 · Python · Prototype](https://repo.masters-masters.com/en/repos/eth-sri/diffai) - [eth-sri/Nice2Predict · ★ 219 · C++ · Prototype](https://repo.masters-masters.com/en/repos/eth-sri/Nice2Predict) - [eth-sri/ilf · ★ 155 · Python · Prototype](https://repo.masters-masters.com/en/repos/eth-sri/ilf) - [eth-sri/psi · ★ 141 · JetBrains MPS · Prototype](https://repo.masters-masters.com/en/repos/eth-sri/psi) - [eth-sri/ELINA · ★ 137 · C++ · Prototype](https://repo.masters-masters.com/en/repos/eth-sri/ELINA) - [eth-sri/sven · ★ 134 · Python · Prototype](https://repo.masters-masters.com/en/repos/eth-sri/sven) - [eth-sri/type-constrained-code-generation · ★ 106 · Python · Prototype](https://repo.masters-masters.com/en/repos/eth-sri/type-constrained-code-generation) ## See eth-sri on GitHub - [https://github.com/eth-sri](https://github.com/eth-sri) --- Data: GitHub