Counter Example Guided Abstraction Refinement (CEGAR) is a search strategy for either making a solver more efficient or extending it’s capabilities. One makes an abstracted problem (contains false solutions) of the problem at hand that a solver can handle... (more…)
Read more »
A minimal implementation of autograd (in pure Python) 🍰 - kennysong/minigrad... (more…)
Read more »
For me, the first reason to learn Python was that it is, in fact, a beautiful programming language. It was really natural to code in it and express my thoughts. Another reason was that we can use… (more…)
Read more »
Hot code reloading tool for Python. Contribute to hoh/reloadr development by creating an account on GitHub. (more…)
Read more »
A library to assist writing memory-unsafe code in "pure" python, without any imports (i.e. no ctypes etc.) - DavidBuchanan314/unsafe-python... (more…)
Read more »