jkovsi's repositories
interference2020
Interference2020 Website
lambda-talk-practical
Some JS techniques and tools which are at least associated with lambda calculus
milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
vim-colors-solarized
precision colorscheme for the vim text editor