Artem Mavrin

focal-loss. TensorFlow implementation of focal loss

latex-homework. LaTeX class and template for typesetting math homework

logitboost. LogitBoost classification algorithm built on top of scikit-learn

git-venv-prompt. git- and venv-aware bash prompt

survive. Survival analysis in Python 3

binomial-options-pricing. Find arbitrage-free initial price for options in the CRR binomial options pricing model

StatTools. Statistical learning and inference algorithms implemented in Python 3

categorical-logic-and-type-theory-solutions. Solutions to the exercises in Categorical Logic and Type Theory by Bart Jacobs

TF-Custom-CXX-Op. Example of a custom TensorFlow op in C++

yesod-hello-world. Simple application written in the Yesod web framework.

agda-propositional-logic. Agda

atiyah-macdonald. Solutions to the exercises in Introduction to Commutative Algebra by M. F. Atiyah and I. G. Macdonald

autoproof. Intuitionistic and classical propositional logic library

algorithms. Simple Python algorithms as C/C++ extensions

yesod-sqlite-demo. Simple Yesod-based web app with a SQLite persistent storage layer