Pinned Repositories
autoproof
Intuitionistic and classical propositional logic library
binomial-options-pricing
Find arbitrage-free initial price for options in the CRR binomial options pricing model
categorical-logic-and-type-theory-solutions
Solutions to the exercises in Categorical Logic and Type Theory by Bart Jacobs
focal-loss
TensorFlow implementation of focal loss
git-venv-prompt
git- and venv-aware bash prompt
latex-homework
LaTeX class and template for typesetting math homework
logitboost
LogitBoost classification algorithm built on top of scikit-learn
StatTools
Statistical learning and inference algorithms implemented in Python 3
survive
Survival analysis in Python 3
TF-Custom-CXX-Op
Example of a custom TensorFlow op in C++
artemmavrin's Repositories
artemmavrin/focal-loss
TensorFlow implementation of focal loss
artemmavrin/latex-homework
LaTeX class and template for typesetting math homework
artemmavrin/logitboost
LogitBoost classification algorithm built on top of scikit-learn
artemmavrin/git-venv-prompt
git- and venv-aware bash prompt
artemmavrin/binomial-options-pricing
Find arbitrage-free initial price for options in the CRR binomial options pricing model
artemmavrin/survive
Survival analysis in Python 3
artemmavrin/categorical-logic-and-type-theory-solutions
Solutions to the exercises in Categorical Logic and Type Theory by Bart Jacobs
artemmavrin/StatTools
Statistical learning and inference algorithms implemented in Python 3
artemmavrin/TF-Custom-CXX-Op
Example of a custom TensorFlow op in C++
artemmavrin/agda-propositional-logic
artemmavrin/algorithms
Simple Python algorithms as C/C++ extensions
artemmavrin/atiyah-macdonald
Solutions to the exercises in Introduction to Commutative Algebra by M. F. Atiyah and I. G. Macdonald
artemmavrin/autoproof
Intuitionistic and classical propositional logic library
artemmavrin/yesod-hello-world
Simple application written in the Yesod web framework.
artemmavrin/yesod-sqlite-demo
Simple Yesod-based web app with a SQLite persistent storage layer
artemmavrin/agda-libraries
Ad hoc Agda Library Manager
artemmavrin/haskell-ffi-example
Example of using Haskell's foreign function interface (FFI)
artemmavrin/py_info
Get information about the current system, Python, and Python packages