Pinned Repositories
aeson-iproute
Aeson instances for iproute types.
hdaemonize
UNIX deamon writing utilities for Haskell
hsqml
A fork of hsqml package
log-effect
haskell library providing the base log effect for extensible effects
log-effect-syslog
Syslog functions and types for log-effect
network-msg
Haskell sendmsg/recvmsg bindings.
persistent-iproute
IPRoute instances and utility functions for use with Persistent
pghaskell
Haskell as a procedural language for PostgreSQL.
stm-iprtable
greydot's Repositories
greydot/hdaemonize
UNIX deamon writing utilities for Haskell
greydot/aeson-iproute
Aeson instances for iproute types.
greydot/persistent-iproute
IPRoute instances and utility functions for use with Persistent
greydot/aeson-shits-its-pants
greydot/autoexporter-bug
A test case for an ugly autoexporter bug
greydot/base-noprelude
All of `base` without the `Prelude` module
greydot/data-diverse
greydot/ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
greydot/haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
greydot/hatchet
(Under construction) Network packet manipulation toolkit
greydot/nixpkgs
Nix Packages collection
greydot/old-ghc-overlay
greydot/opencve
CVE Alerting Platform
greydot/openmls
Rust implementation of the Messaging Layer Security (MLS) protocol
greydot/pelias
greydot/polysemy
:gemini: higher-order, no-boilerplate monads
greydot/polysemy-log-lite
Smol and stupid logging library for polysemy
greydot/polysemy-pool
greydot/proteus
Axolotl Protocol Implementation
greydot/really-save-nix-together
an open letter to the open letter to the NixOS foundation
greydot/saltine
Cryptography that's easy to digest (NaCl/libsodium bindings)
greydot/servant-polysemy
A Haskell library: Utilities for using servant in a polysemy stack.
greydot/smash
Smash products, Wedge products, and other Pointed stuff
greydot/solo5
A sandboxed execution environment for unikernels
greydot/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
greydot/stimmung-themes
emacs tuned to inner harmonies
greydot/vscode-Nyan-Cat
Nyan Cat for VSCode!
greydot/winamp
Iconic media player
greydot/wow-so-overlay-much-nix
Stupid Nix overlay
greydot/xt_wgobfs
Iptables WireGuard obfuscation extension