PrototypeCommon
eth-sri/psi
Exact Inference Engine for Probabilistic Programs
- Owner
- eth-sri (organization)
- Stars
- Stars: 141
- Forks
- Forks: 19
- Language
- JetBrains MPS
- License
- BSL-1.0
- Created
- 2016
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by eth-sri
All 14 repos by eth-sri- 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
Nearby in JetBrains MPS
All JetBrains MPS repos- JetBrains/MPSStars: 1,664JetBrains MPSBeta
- mbeddr/mbeddr.coreStars: 231JetBrains MPSPrototype
- akosba/xjsnarkStars: 194JetBrains MPSPrototype