2.9k Go stats A well tested and comprehensive Golang statistics library pa... 372 Go FastView Compare
2.2k Java tlaplus TLC is an explicit state model checker for specifications wr... 1k Java FastView Compare
Python pandapower Convenient Power System Modelling and Analysis based on PYPO... 1.4k Python FastView Compare
Go bloomfilter Face-meltingly fast, thread-safe, marshalable, unionable, pr... 1.1k Go FastView Compare