Huluk/K-FPL
A functional language in K using 3 evaluation styles: Call by Value, Call by Name and Call by Need
Developer Profile
Huluk
Discovered public repositories for Huluk in the GitHub catalog.
Huluk/K-Call-by-Value
Part of university project: implementing a functional language with call-by-value evaluation, using the k framework.
Huluk/K-Call-by-Need
Part of university project: implementing a functional language with call-by-need evaluation, using the k framework.
Huluk/vim-pomodoro
Public repository.
Huluk/huluk.github.io
Public repository.
Huluk/rationality-fortunes
best rationality quotes from lesswrong until 2012, as given on http://lesswrong.com/lw/ggp/best_of_rationality_quotes_2012_edition/ – (with additional quotes from 2013 and 2014!)
Huluk/vim-endwise
endwise.vim: wisely add "end" in ruby, endfunction/endif/more in vim script, etc
Huluk/Keylayouts
Keyboard Layouts by me
Huluk/dotfiles
Zsh, MacVim in Terminal Mode, Pentadactyl etc