GitHub repos by eth-sri
14 public repos by eth-sri in the catalog, most starred first.
- eth-sri/lmqlStars: 4,222PythonRC
- eth-sri/securify2Stars: 635SolidityAlpha
- eth-sri/debinStars: 454PythonAlpha
- eth-sri/eranStars: 347PythonAlpha
- eth-sri/matharenaStars: 294PythonAlpha
- eth-sri/securifyStars: 223JavaPrototype
- eth-sri/language-model-arithmeticStars: 223PythonPrototype
- eth-sri/diffaiStars: 221PythonPrototype
- eth-sri/Nice2PredictStars: 219C++Prototype
- eth-sri/ilfStars: 155PythonPrototype
- eth-sri/psiStars: 141JetBrains MPSPrototype
- eth-sri/ELINAStars: 137C++Prototype
- eth-sri/svenStars: 134PythonPrototype
- eth-sri/type-constrained-code-generationStars: 106PythonPrototype