Artem Mavrin (@artemmavrin)
github

artemmavrin

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    319
  • Global Rank 84,698 (Top 3 %)
  • Followers 33
  • Following 17
  • Registered over 9 years ago
  • Most used languages
    Python
         26.7 %
    TeX
         20.0 %
    Haskell
         20.0 %
    C
         13.3 %
    Agda     6.7 %
    Shell
         6.7 %
    C++
         6.7 %
  • Location 🇺🇸 United States
  • Country Total Rank 21,099
  • Country Ranking
    Agda     59
    TeX
         219
    Haskell
         1,479
    Python
         5,319

Top repositories

1

focal-loss

TensorFlow implementation of focal loss
Python
186
star
2

latex-homework

LaTeX class and template for typesetting math homework
TeX
94
star
3

logitboost

LogitBoost classification algorithm built on top of scikit-learn
Python
13
star
4

git-venv-prompt

git- and venv-aware bash prompt
Shell
5
star
5

binomial-options-pricing

Find arbitrage-free initial price for options in the CRR binomial options pricing model
C
4
star
6

survive

Survival analysis in Python 3
Python
4
star
7

TF-Custom-CXX-Op

Example of a custom TensorFlow op in C++
C++
2
star
8

StatTools

Statistical learning and inference algorithms implemented in Python 3
Python
2
star
9

categorical-logic-and-type-theory-solutions

Solutions to the exercises in Categorical Logic and Type Theory by Bart Jacobs
TeX
2
star
10

atiyah-macdonald

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

algorithms

Simple Python algorithms as C/C++ extensions
C
1
star
12

autoproof

Intuitionistic and classical propositional logic library
Haskell
1
star
13

agda-propositional-logic

Agda
1
star
14

yesod-sqlite-demo

Simple Yesod-based web app with a SQLite persistent storage layer
Haskell
1
star
15

yesod-hello-world

Simple application written in the Yesod web framework.
Haskell
1
star