Jacek Karwowski's repositories
hash_code_19
Aaaaaaa
opetopes-hs
Opetopes in haskell
GTAP2019
Reversible languages in HoTT, Indiana University GTAP 2019
vv
A simple dependently typed language
beautiful_oneliners
Great python one-and-more-liners found somewhere on the internet or written on my own
inexxt.github.io
Build a Jekyll blog in minutes, without touching the command line.
knuth_bendix
Simple implementation of Knuth-Bendix algorithm
opetopes-idris
Opetopes in idris
politycy_analiza
Analiza wykształcenia polskich posłów
pyutils
Useful, oft-repeated things for Python
rap_music
Analysis of polish rap music
solidity_course
Repo with solutions for solidity course (MIMUW, 2018)
spearmint
Spearmint is a package to perform Bayesian optimization according to the algorithms outlined in the paper: Practical Bayesian Optimization of Machine Learning Algorithms. Jasper Snoek, Hugo Larochelle and Ryan P. Adams. Advances in Neural Information Processing Systems, 2012