halfaya

Halfaya ResearchBellevue, Washington

Pinned Repositories

BayHac
Language:TeX11 4 01
CProto
Language:Haskell30
CRT
Language:Agda0 1 00
EggForm
Language:Agda00
HoTTBook
Language:Agda2 6 01
icfp2020
ICFP 2020 Music Video
1 5 00
icfp2021
ICFP 2021 Music Video
4 4 00
Jianpu
Language:Haskell0 1 00
Music
Language:Agda2 2 00
MusicTools
Language:Agda40 6 14

halfaya's Repositories

halfaya/MusicTools
Language:Agda40 6 14
halfaya/BayHac
Language:TeX11 4 01
halfaya/icfp2021
ICFP 2021 Music Video
4 4 00
halfaya/CProto
Language:Haskell30
halfaya/HoTTBook
Language:Agda2 6 01
halfaya/Music
Language:Agda2 2 00
halfaya/icfp2020
ICFP 2020 Music Video
1 5 00
halfaya/Alae
Language:Haskell0 2 00
halfaya/BestTimes
Language:Haskell0 1 00
halfaya/CalculusOfDefinitions
Language:Agda0 2 00
halfaya/CRT
Language:Agda0 1 00
halfaya/EggForm
Language:Agda00
halfaya/Jianpu
Language:Haskell0 1 00
halfaya/BWV926
halfaya/farm2023
FARM 2023 documentation
Language:TeX
halfaya/ICFPC2017
Language:Haskell2 0
halfaya/LambdaPi
Language:Haskell2 0
halfaya/LNLAgda
Language:Agda2 0
halfaya/NumberTheory
1 0
halfaya/OPLSS2017
Language:Idris2 0
halfaya/Ornaments
Language:HTML2 0
halfaya/Parametricity
Language:Agda
halfaya/RunDiary
Language:Haskell2 0
halfaya/Seahug
Language:Haskell2 0
halfaya/splash2021
SPLASH 2021 Music Video
3 0
halfaya/TAPL
Language:Lean1 0
halfaya/TLA
Language:Agda2 0
halfaya/UW
Language:TeX2 0