Type-Safe EDSL for Universal Composability Programs
RSS reader written purely in Haskell
A TUI Habit Tracker
Some extra Brick widgets I impemented for my own use
Convert ANSI-styled text to Pango Markup
64083ca wrap typical process types into a newtype
~ph14nix pushed to ~ph14nix/haskell-uc git
ebd63e5 refactor signatureProto
~ph14nix pushed to ~ph14nix/haskell-uc git
a344e34 refactor signatureProto
~ph14nix pushed to ~ph14nix/haskell-uc git
4de9b39 active corruption with erasures
~ph14nix pushed to ~ph14nix/haskell-uc git
b5761f4 Allow passing nixpkgs as a parameter
~ph14nix pushed to ~ph14nix/kalina git
0178c66 Allow passing nixpkgs as a parameter
~ph14nix pushed to ~ph14nix/kalina git
e8b5cb2 Fix compilation errors, add uncommitted file
~ph14nix pushed to ~ph14nix/haskell-uc git
e3fcf2a refactor: move the spawnOnDepand to Async.Eval
~ph14nix pushed to ~ph14nix/haskell-uc git
02e2def fix SomeWT compile error
~ph14nix pushed to ~ph14nix/haskell-uc git
b80844e UC Sig: Use convenient names for the parties we communivate with
~ph14nix pushed to ~ph14nix/haskell-uc git