Pinned Repositories
.emacs.d
my current emacs config
emacs-wsl
Install and run emacs with the Windows Subsystem for Linux (WSL) in Windows 10.
git-matrix
Repo to hold my toy code computing dates to print dot matrix style messages in the github activity chart.
github-io-blog
Repo for the github.io blog
haskell2019spring
Functional Programming for Logicians, 2019 Spring, ELTE
nix
Nix, the purely functional package manager
org-roam
Rudimentary Roam replica with Org-mode
polite-scraper
A collection of scrapy spiders and an sqlite backend.
pwl-bp-composing-contracts
Code, presentation and background materials for my talk.
yasnippet-snippets
a collection of yasnippet snippets for many languages
kmt-lnh's Repositories
kmt-lnh/git-matrix
Repo to hold my toy code computing dates to print dot matrix style messages in the github activity chart.
kmt-lnh/yasnippet-snippets
a collection of yasnippet snippets for many languages
kmt-lnh/.emacs.d
my current emacs config
kmt-lnh/emacs-wsl
Install and run emacs with the Windows Subsystem for Linux (WSL) in Windows 10.
kmt-lnh/github-io-blog
Repo for the github.io blog
kmt-lnh/haskell2019spring
Functional Programming for Logicians, 2019 Spring, ELTE
kmt-lnh/nix
Nix, the purely functional package manager
kmt-lnh/org-roam
Rudimentary Roam replica with Org-mode
kmt-lnh/polite-scraper
A collection of scrapy spiders and an sqlite backend.
kmt-lnh/pwl-bp-composing-contracts
Code, presentation and background materials for my talk.
kmt-lnh/sq-mm-parsing
Simple statistics based on generated java code from SAP PO Simple Query exports
kmt-lnh/til
:memo: Today I Learned