Pinned Repositories
adv-types-zurihac
This is my attempt to solve the advanced types exercises that well-typed gave us at Zurihac.
awesome-personal-blogs
A delightful list of personal tech blogs
BaseConversion
I decided to write a small base conversion "library" in haskell.
chess-oracle
collatz-adjust
Another interview problem. Ran into some haskell spaceleak and reimplemented in Rust.
crypto-papers
emacs.d
My emacs.d as its own repository. This public version is not updated anymore.
fp-course-solutions
Finally found a very good resource.
read-together
Organize remote meetings for reading computer science papers
Weave
Nixos
zx9w's Repositories
zx9w/read-together
Organize remote meetings for reading computer science papers
zx9w/Weave
Nixos
zx9w/adv-types-zurihac
This is my attempt to solve the advanced types exercises that well-typed gave us at Zurihac.
zx9w/awesome-personal-blogs
A delightful list of personal tech blogs
zx9w/BaseConversion
I decided to write a small base conversion "library" in haskell.
zx9w/chess-oracle
zx9w/collatz-adjust
Another interview problem. Ran into some haskell spaceleak and reimplemented in Rust.
zx9w/crypto-papers
zx9w/emacs.d
My emacs.d as its own repository. This public version is not updated anymore.
zx9w/fp-course-solutions
Finally found a very good resource.
zx9w/fsm-oracle
Finite state machines as graphs
zx9w/google-ctf
I attempted to solve a couple of problems in the google CTF, relatively close to one of them but ultimately no flags. This is partly because I wanted to use Haskell and when I found out one of the challenges was code golf in haskell I abandoned the crypto challenge I was working on.
zx9w/haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
zx9w/haskell_road
I started reading this book but later realized that it wasn't the fastest way to improve. If I keep going I'll add the exercise solutions here I guess.
zx9w/lambda
Lambda calculus (maybe simply typed)
zx9w/merantix-test-days
Interview day challenge.
zx9w/natural_number_game
Building the natural numbers in Lean.
zx9w/old-rust-homework
I'm just putting some repos on the internet to find a job..
zx9w/quotes.purs
zx9w/simplesurance-challenge
A challenge from some interview. First time using go...
zx9w/xmonad
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
zx9w/xmonad-contrib
Contributed modules for xmonad