sinhp

Pinned Repositories

• akka-trading

  Scala Backtesting + Oanda REST API Trading Framework built on top of Akka/Spray

  Language:Scala00

• Catlab.jl

  An experimental framework for applied category theory

  Language:Julia10

• CovariantYonedaLean4

  A proof of covariant Yoneda Lemma in the Lean 4 Proof Assistant

  Language:Lean0200

• groupoid_model_in_lean4

  Language:TeX9505

• InftyCat

  Language:Lean00

• lawvere

  The collected works of F. W. Lawvere

  2300

• LeanFibredCategories

  A Lean4 Formalization of Fibred Categories

  Language:Lean10

• mcfds

  Language:Jupyter Notebook115

• Poly

  A Lean4 Formalization of Polynomial Functors

  Language:Lean145

• ProofLab

  Language:Lean9101

sinhp's Repositories