Discover @artemmavrin Open Source projects

Artem Mavrin (@artemmavrin)

artemmavrin

Stars
316
Global Rank 84,967 (Top 3 %)
Followers 33
Following 17
Registered over 9 years ago
Most used languages

Python
26.7 %

Haskell
20.0 %

TeX
20.0 %

C
13.3 %

C++
6.7 %

Agda 6.7 %

Shell
6.7 %
Location 🇺🇸 United States
Country Total Rank 21,099
Country Ranking

Agda 75

TeX
216

Haskell
1,671

Python
5,322

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

binomial-options-pricing

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

survive

Survival analysis in Python 3

TF-Custom-CXX-Op

Example of a custom TensorFlow op in C++

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

atiyah-macdonald

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

algorithms

Simple Python algorithms as C/C++ extensions

autoproof

Intuitionistic and classical propositional logic library

agda-propositional-logic

yesod-sqlite-demo

Simple Yesod-based web app with a SQLite persistent storage layer

yesod-hello-world

Simple application written in the Yesod web framework.