Pinned Repositories
akka-trading
Scala Backtesting + Oanda REST API Trading Framework built on top of Akka/Spray
Catlab.jl
An experimental framework for applied category theory
CovariantYonedaLean4
A proof of covariant Yoneda Lemma in the Lean 4 Proof Assistant
groupoid_model_in_lean4
InftyCat
lawvere
The collected works of F. W. Lawvere
LeanFibredCategories
A Lean4 Formalization of Fibred Categories
mcfds
Poly
A Lean4 Formalization of Polynomial Functors
ProofLab
sinhp's Repositories
sinhp/lawvere
The collected works of F. W. Lawvere
sinhp/HoTT-Agda
Development of homotopy type theory in Agda
sinhp/stacks-project
Repository for the Stacks Project
sinhp/bibtex2html
sinhp/blog
blog
sinhp/carlvlewis.github.io
:pencil2: WIP personal blog migration
sinhp/csswizardry.github.com
My site.
sinhp/cubical-assemblies
sinhp/cubical-topos-experiments
Agda code for experimenting with internal models of cubical type theory
sinhp/DCHoTT-Agda
Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality
sinhp/dhawaljoh.github.io
Academic Website
sinhp/freehand-zxcalculus-recognition
Recognition algorithm for freehand zx-calculus diagrams
sinhp/hugo
The world’s fastest framework for building websites.
sinhp/jp-ellis.github.io
sinhp/jsx-tikzcd
Render tikzcd diagrams with JSX.
sinhp/kan-extensions
Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
sinhp/LaTeX
My collection of LaTeX-related stuff
sinhp/Mathematical-scribblings
sinhp/milanaryal.github.io
Source code for Milan Aryal
sinhp/old-page
Build a Jekyll blog in minutes, without touching the command line.
sinhp/OpenLogic
An open-source, customizable intermediate logic textbook
sinhp/pdfpc-latex-notes
Latex Package that allows creating a pdfpc compatible notes file directly from your latex presentation \notes.
sinhp/PursuingStacks
LaTeX version of Grothendieck's Pursuing Stacks
sinhp/sphinxcontrib-bibtex
Sphinx extension for bibtex style references.
sinhp/ThinkPython
Code examples and exercise solutions from Think Python by Allen Downey, published by O'Reilly Media.
sinhp/Tikz
Art with Tikz
sinhp/tikzcd-editor
A simple visual editor for creating commutative diagrams.
sinhp/timetable
A LaTeX package for creating one-week timetables as they can frequently be found in universities or schools.
sinhp/tufte-latex
A Tufte-inspired LaTeX class for producing handouts, papers, and books
sinhp/wiwikwlhott
What I wish I knew when learning HoTT