Sixfold makes millions of ETA predictions daily. In this post, we'll go behind the scenes of how this is achieved. (more…)

A better Python REPL. Contribute to prompt-toolkit/ptpython development by creating an account on GitHub. (more…)

Geometric Algebra for Python. Contribute to pygae/clifford development by creating an account on GitHub. (more…)

cryptoxlib-aio - asynchronous python client for various crypto exchanges with full REST API and websocket support. Supported exchanges: AAX, Bibox, BiboxEurope, Binance, Bitforex, BitpandaPro, Bitv... (more…)

Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs - zwegner/x86-sat... (more…)