TentativeConvert's repositories
LaTeX-Note-Importer-for-Anki
Add-on for the memory training program Anki, allowing to import and export notes written in LaTeX.
Syndicator
Dropbox inspired Unity indicator for Unison.
Eschenburg-calculator
Code for finding tuples of positively curved Eschenburg spaces (E₁, E₂, … ) such that all Eᵢ are homotopy equivalent/tangentially homotopy equivalent/homeomorphic
Language:C++GPL-3.0000
lean4game
story line
Language:Lean000
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Language:CSSMIT000
relative-image-url
A simple test of using relative URL in .MD files
000
TDA-tutorial
A set of jupyter notebooks for the practice of TDA with the python Gudhi library together with popular machine learning and data sciences libraries.