Pinned Repositories
dotnix
System Config with Nix
heneli.dev
Heap State. It's a blog
unison-purescript-browser
A Unison Github repo explorer in Purescript
hkailahi's Repositories
hkailahi/bondage-and-discipline
Pragmatic importing and exporting for enterprise
hkailahi/dotnix
System Config with Nix
hkailahi/heneli.dev
Heap State. It's a blog
hkailahi/compact
hkailahi/durc
hkailahi/electric
ElectricSQL local-first SQL platform. Develop instantly reactive apps with realtime multi-user and conflict-free offline support. For web and mobile. With active-active replication between Postgres and SQLite.
hkailahi/engineering-test
hkailahi/ff
Fantasy football stuff
hkailahi/ff23
hkailahi/ffwkly
hkailahi/HaskellLove21
Repository for my talk, "Competitive Programming in Haskell", at Haskell Love 2021.
hkailahi/hgit
Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions of some core problems in https://github.com/facebookexperimental/mononoke
hkailahi/hkailahi.github.io
hkailahi/learn-halogen
Learn purescript-halogen using a bottom-up apporach via this "clone-and-play" repository
hkailahi/libssh2-hs
LibSSH2 FFI bindings for Haskell
hkailahi/merkle-schemes
apply merkle-type hash annotations to arbitrary recursive data structures as defined using recursion schemes
hkailahi/mononoke
Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions of some core problems in https://github.com/facebookexperimental/mononoke
hkailahi/nix-darwin
nix modules for darwin
hkailahi/nix-output-monitor
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
hkailahi/pfds-okasaki
hkailahi/pinter
Agstrakt Albregra
hkailahi/pliny
Create content rich websites with ease - built on next.js, contentlayer and tailwindcss
hkailahi/purescript-list-zipper
List Zipper in PureScript
hkailahi/purescript-slides
A tiny EDSL for making slides in PureScript
hkailahi/ratsoc
hkailahi/rel8
Hey! Hey! Can u rel8?
hkailahi/robopianist
🎹 🤖 A benchmark for high-dimensional robot control.
hkailahi/sleeper-client
Haskell client library for Sleeper Fantasy Sports API - https://docs.sleeper.app/
hkailahi/snippets
hkailahi/succinct
Succinct, compact, and compressed data structures for data-intensive applications