A CBLS Engine in SCALA, NOW part of OscaR
simplifies boolean functions with Quine-McCluskey algorithm
C++ BigInt class enables to work with arbitrary precision integers
A collection of python3 modules for Algorithmic Decision Theory
Sampling exactly from the normal and exponential distributions