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/Catlab.jl
An experimental framework for applied category theory
sinhp/awesome-tikz
A curated list of awesome TikZ documentations, libraries and resources
sinhp/birmingham-theory
The web page for the Birmingham theoretical computer science research group
sinhp/categories-mailing-
sinhp/category-theory-for-programmers
e-book version of Bartosz Milewski's Category Theory for Programmers
sinhp/complex-analysis.github.io
Complex Analysis: A Visual and Interactive Introduction
sinhp/fsm-oracle
Finite state machines as graphs
sinhp/HoTT-Intro
An introductory course to Homotopy Type Theory
sinhp/impress.js
It's a presentation framework based on the power of CSS3 transforms and transitions in modern browsers and inspired by the idea behind prezi.com.
sinhp/introstat-spring-2019
Course materials for Stat 131A, Spring 2019, at UC Berkeley
sinhp/jekyll
Jekyll-based static site for The Programming Historian
sinhp/macros
macros for thesis
sinhp/math
Mathematical notes and papers
sinhp/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
sinhp/pdf2htmlEX
Convert PDF to HTML without losing text or format.
sinhp/pdfpc
A presenter console with multi-monitor support for PDF files.
sinhp/plfa.github.io
Introduction to programming language theory in Agda
sinhp/Pub-quiz-nederlands
sinhp/pympress
Pympress is a simple yet powerful PDF reader designed for dual-screen presentations
sinhp/qpf
Datatypes as quotients of polynomial functors
sinhp/scripts
Collection of arguably useful shell scripts.
sinhp/Spectral
sinhp/thinking-with-types
📖 source material for Thinking with Types
sinhp/tikzit
pgf/TikZ diagram editor
sinhp/tufte-css
Style your webpage like Edward Tufte’s handouts.
sinhp/TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
sinhp/write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
sinhp/xena-UROP-2018
A place to put our 2018 Xena project UROP thoughts and programs.
sinhp/zkproofs
THIS PROJECT IS OUTDATED AND HAS BEEN ARCHIVED! Please see ing-bank/zkrp for an updated version.
sinhp/zkrp
Reusable library for creating and verifying zero-knowledge range proofs and set membership proofs.