Pinned Repositories
airlock
Earth to Mars communication done right
deriving-openapi3
DerivingVia for OpenAPI 3
fused-effects-squeal
🐷🗄️ A fused-effects adapter for squeal-postgresql.
haskell-nix-extra-hackage
❄️ A tool to use custom forks of Hackage packages with haskell.nix
isoparsec
🚧 Under construction 🚧 🔄🔡 Isomorphic (invertible) parser library
purescript-indexed-DB
An API wrapper around indexedDB
TechDoc
📄🖋️💻 LaTeX document class for technical documents at SE HSE
warden
🛡️ A Bitwarden client for Ubuntu Touch
compaREST
Compatibility checker for OpenAPI
octopod
Kubernetes self-service portal
ilyakooo0's Repositories
ilyakooo0/airlock
Earth to Mars communication done right
ilyakooo0/purescript-indexed-DB
An API wrapper around indexedDB
ilyakooo0/nix-click
Nix infrastructure to build click packages for Ubuntu Touch
ilyakooo0/nixpkgs
Nix Packages collection
ilyakooo0/reshape
An easy-to-use, zero-downtime schema migration tool for Postgres
ilyakooo0/seax
The Urbit search engine
ilyakooo0/wock
A web toolchain for Hoon
ilyakooo0/elm-bridge
Haskell: Derive Elm types from Haskell types
ilyakooo0/airlock-template
ilyakooo0/binary-bits
Binary serialization at the bit level on top of the binary package
ilyakooo0/chia.nix
ilyakooo0/grenade
Deep Learning in Haskell
ilyakooo0/helix
A post-modern modal text editor.
ilyakooo0/hoon
ilyakooo0/ilyakooo0.github.io
ilyakooo0/jrec
Literally the best anonymous records
ilyakooo0/luau
ilyakooo0/nix-bundle
Bundle Nix derivations to run anywhere!
ilyakooo0/nock-hs
ilyakooo0/odd-jobs
Haskell job queue with admin UI and loads of other features.
ilyakooo0/production-haskell
ilyakooo0/prybar
Pry open those interpreters.
ilyakooo0/roboservant
generate contextually sensible fuzz tests for servant apps
ilyakooo0/sare
An urbit expense sharing app
ilyakooo0/servant-quickcheck
ilyakooo0/streamly
High performance, concurrent functional programming abstractions
ilyakooo0/urbit
An operating function
ilyakooo0/urbit.org
The source for urbit.org
ilyakooo0/xmrig-autoinstall
XMRig Install Script
ilyakooo0/xmrig-bash-scripts
Simple collection of bash shell scripts I use to manage xmrig cpu