Pinned Repositories
adrianmartir.github.io
category-theory-lean4
kepler-mapper
KeplerMapper is a Python class for visualization of high-dimensional data and 3-D point cloud data.
LEGO-Image-Classifier
A CNN for classifying pictures of lego pieces and a pipeline for generating the data from 3d models.
naproche
Write formal proofs in natural language and LaTeX.
finta
Common financial technical indicators implemented in Pandas.
adrianmartir's Repositories
adrianmartir/kepler-mapper
KeplerMapper is a Python class for visualization of high-dimensional data and 3-D point cloud data.
adrianmartir/category-theory-lean4
adrianmartir/adrianmartir.github.io