zx9w Goto Github PK

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.

fsm-oracle

Finite state machines as graphs

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.

haskell.nix

Alternative Haskell Infrastructure for Nixpkgs

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.

lambda

Lambda calculus (maybe simply typed)

merantix-test-days

Interview day challenge.

natural_number_game

Building the natural numbers in Lean.

old-rust-homework

I'm just putting some repos on the internet to find a job..

quotes.purs

read-together

Organize remote meetings for reading computer science papers

simplesurance-challenge

A challenge from some interview. First time using go...

weave

Nixos

xmonad

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

xmonad-contrib

Contributed modules for xmonad