Pinned Repositories
agda-frp-js
ECMAScript back end for Functional Reactive Programming in Agda
Character-Map-UWP
A modern, native UWP replacement for the Win32 Character Map and Windows Font Viewer with flawless high DPI and touch support.
fr_public
Farbrausch demo tools 2001-2011
grimoire.computer
The Realm of Rough Telepathy
grothendieck-cern
Alexander Grothendieck's 1972 talk at CERN, on scientific research
homotopy
My Agda code for Homotopy Type Theory
learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
q
A Q connection library for Python
qutil
Q Utilities
krkx's Repositories
krkx/agda-frp-js
ECMAScript back end for Functional Reactive Programming in Agda
krkx/homotopy
My Agda code for Homotopy Type Theory
krkx/learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
krkx/q
A Q connection library for Python
krkx/qutil
Q Utilities
krkx/Character-Map-UWP
A modern, native UWP replacement for the Win32 Character Map and Windows Font Viewer with flawless high DPI and touch support.
krkx/fr_public
Farbrausch demo tools 2001-2011
krkx/grimoire.computer
The Realm of Rough Telepathy
krkx/grothendieck-cern
Alexander Grothendieck's 1972 talk at CERN, on scientific research
krkx/LSIUtil
Configuration utility for LSI host board adapters
krkx/NumericalRepresentationTheory.jl
krkx/scoop
krkx/SheehanM3M6AppliedComplexAnalysis
Sheehan Olver's lecture notes and course material for M3M6 Applied Complex Analysis at Imperial College