nimarasekh
I am a postdoc at Universtät Greifswald. I am mostly interested in category theory and the formalization of categorical structures.
Universität GreifswaldGreifswald, Germany
Pinned Repositories
DoubleCategories
Formalization of Double Categories in UniMath via Coq
DVM
ANU image analysis code "diamorse" -applied to materials science
LeanCondensed
nimarasekh
Repository for GitHub Page
nimarasekh.github.io
Repository for Academic Webpage
rzk
An experimental proof assistant based on a type theory for synthetic ∞-categories.
sHoTT
Formalisations for simplicial HoTT and synthetic ∞-categories.
TopoModelX
Topological Deep Learning
uniform-state-preparation
State preparation of genetic data using combinatorial methods applied to quantum machine learning algorithms
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
nimarasekh's Repositories
nimarasekh/DoubleCategories
Formalization of Double Categories in UniMath via Coq
nimarasekh/DVM
ANU image analysis code "diamorse" -applied to materials science
nimarasekh/nimarasekh
Repository for GitHub Page
nimarasekh/nimarasekh.github.io
Repository for Academic Webpage
nimarasekh/PythonPractice
Some Python code
nimarasekh/rzk
An experimental proof assistant based on a type theory for synthetic ∞-categories.
nimarasekh/sHoTT
Formalisations for simplicial HoTT and synthetic ∞-categories.
nimarasekh/TopoModelX
Topological Deep Learning
nimarasekh/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
nimarasekh/w3schools-test.github.io
w3schools.com repository used in demonstrating GitHub and GitHub pages