Pinned Repositories
typelevel-project
Stream live market data from cryptocurrency exchanges. Personal project. Demo at https://app.kotopoulion.xyz
hott-category
Some definitions and lemmas from chapter 9 from the HoTT book.
Lifschitz-realizability-in-HoTT
MoL thesis
succinct-del
Implementation of a Model Checking algorithm in Haskell.
succinct-del
Infiknight's Repositories
Infiknight/typelevel-project
Stream live market data from cryptocurrency exchanges. Personal project. Demo at https://app.kotopoulion.xyz
Infiknight/Lifschitz-realizability-in-HoTT
MoL thesis
Infiknight/hott-category
Some definitions and lemmas from chapter 9 from the HoTT book.
Infiknight/succinct-del
Implementation of a Model Checking algorithm in Haskell.