# Dépôts de eth-sri [Accueil](https://repo.masters-masters.com/) › [eth-sri](https://repo.masters-masters.com/owners/eth-sri) Les 14 dépôts GitHub publics de eth-sri, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters. ## Dépôts de eth-sri 14 dépôts publics de eth-sri au catalogue, du plus étoilé au moins étoilé. - [eth-sri/lmql · ★ 4 222 · Python · RC](https://repo.masters-masters.com/repos/eth-sri/lmql) - [eth-sri/securify2 · ★ 635 · Solidity · Alpha](https://repo.masters-masters.com/repos/eth-sri/securify2) - [eth-sri/debin · ★ 454 · Python · Alpha](https://repo.masters-masters.com/repos/eth-sri/debin) - [eth-sri/eran · ★ 347 · Python · Alpha](https://repo.masters-masters.com/repos/eth-sri/eran) - [eth-sri/matharena · ★ 294 · Python · Alpha](https://repo.masters-masters.com/repos/eth-sri/matharena) - [eth-sri/securify · ★ 223 · Java · Prototype](https://repo.masters-masters.com/repos/eth-sri/securify) - [eth-sri/language-model-arithmetic · ★ 223 · Python · Prototype](https://repo.masters-masters.com/repos/eth-sri/language-model-arithmetic) - [eth-sri/diffai · ★ 221 · Python · Prototype](https://repo.masters-masters.com/repos/eth-sri/diffai) - [eth-sri/Nice2Predict · ★ 219 · C++ · Prototype](https://repo.masters-masters.com/repos/eth-sri/Nice2Predict) - [eth-sri/ilf · ★ 155 · Python · Prototype](https://repo.masters-masters.com/repos/eth-sri/ilf) - [eth-sri/psi · ★ 141 · JetBrains MPS · Prototype](https://repo.masters-masters.com/repos/eth-sri/psi) - [eth-sri/ELINA · ★ 137 · C++ · Prototype](https://repo.masters-masters.com/repos/eth-sri/ELINA) - [eth-sri/sven · ★ 134 · Python · Prototype](https://repo.masters-masters.com/repos/eth-sri/sven) - [eth-sri/type-constrained-code-generation · ★ 106 · Python · Prototype](https://repo.masters-masters.com/repos/eth-sri/type-constrained-code-generation) ## Voir eth-sri sur GitHub - [https://github.com/eth-sri](https://github.com/eth-sri) --- Données : GitHub