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 doesn’t have any repository yet.