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/akka-trading
Scala Backtesting + Oanda REST API Trading Framework built on top of Akka/Spray
sinhp/book
A textbook on informal homotopy type theory
sinhp/tractatus-tree
Visualization of the Wittgenstein's tractatus logico-philosophicus
sinhp/barryclark.co-jekyll-theme
Jekyll theme for my blog, based on http://github.com/barryclark/jekyll-now This repository doesn't serve the site. It's served from barryclark.github.io - a private repository.
sinhp/characteristic-classes
Course notes on the lecture on characteristic classes, KTH, 2015
sinhp/cubicaltt
sinhp/emoji-css
An easy way to include emoji in your HTML
sinhp/Haixing-Hu.github.io
The homepage of Haixing Hu.
sinhp/jekyll-theme-libretto
Libretto is a Jekyll theme with classic styling and typographic details
sinhp/johnros.github.com
My blog
sinhp/markdown-here
Google Chrome, Firefox, and Thunderbird extension that lets you write email in Markdown and render it before sending.
sinhp/martin-lof
papers of Per Martin Löf
sinhp/MvvmCross
The .NET MVVM framework for cross-platform solutions, including Xamarin.iOS, Xamarin.Android, Windows and Mac.
sinhp/Pdf-Presenter-Console
A Keynote like presenter console with multi-monitor support and the ability to read PDF as input files.
sinhp/pm-cookbook
Illustrating GitHub for Project Management
sinhp/ProofChecker
sinhp/PyBRML
Python Version of BRML toolbox for Bayesian Reasoning and Machine Learning
sinhp/revolutionary-css3
A non-technical intro to CSS level 3, made with impress.js, Jade and Stylus
sinhp/sesketches
My sketches for Stack Exchange
sinhp/talk-constructive-mathematics
Talks about constructive mathematics
sinhp/tpw