Pinned Repositories
client
🖥️ Desktop Syncing Client for ownCloud
Eschenburg-calculator
Code for finding tuples of positively curved Eschenburg spaces (E₁, E₂, … ) such that all Eᵢ are homotopy equivalent/tangentially homotopy equivalent/homeomorphic
Fix-cones-in-weight-lattices
LaTeX-Note-Importer-for-Anki
Add-on for the memory training program Anki, allowing to import and export notes written in LaTeX.
lean4game
story line
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
QuadraticForms
relative-image-url
A simple test of using relative URL in .MD files
Syndicator
Dropbox inspired Unity indicator for Unison.
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.
TentativeConvert's Repositories
TentativeConvert/LaTeX-Note-Importer-for-Anki
Add-on for the memory training program Anki, allowing to import and export notes written in LaTeX.
TentativeConvert/Syndicator
Dropbox inspired Unity indicator for Unison.
TentativeConvert/Eschenburg-calculator
Code for finding tuples of positively curved Eschenburg spaces (E₁, E₂, … ) such that all Eᵢ are homotopy equivalent/tangentially homotopy equivalent/homeomorphic
TentativeConvert/Fix-cones-in-weight-lattices
TentativeConvert/lean4game
story line
TentativeConvert/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
TentativeConvert/QuadraticForms
TentativeConvert/relative-image-url
A simple test of using relative URL in .MD files
TentativeConvert/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.