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
4bacd8e add skeleton code for real protocol shells
~ph14nix pushed to ~ph14nix/haskell-uc git
a6a32d5 implement a shell for ideal functionalities
~ph14nix pushed to ~ph14nix/haskell-uc git
cecd0e1 implement a shell for ideal functionalities
~ph14nix pushed to ~ph14nix/haskell-uc git
365729a implement ucExec and add Pid
~ph14nix pushed to ~ph14nix/haskell-uc git
f00834f implement subRespEval that supports ping channel
~ph14nix pushed to ~ph14nix/haskell-uc git
16767a2 Use Accum monad instead of Writer to build executions
~ph14nix pushed to ~ph14nix/haskell-uc git
62e8edf propagate the modified connect and swap interfaces
~ph14nix pushed to ~ph14nix/haskell-uc git
288f3d2 refactor InList and TestEquality
~ph14nix pushed to ~ph14nix/haskell-uc git
b0ef91f rename getWT and guard, add asyncGuard
~ph14nix pushed to ~ph14nix/haskell-uc git
d62004d simplify Exec struct even further: push ivariant proofs to the leaves
~ph14nix pushed to ~ph14nix/haskell-uc git
cce3f9d Async.Eval documentation
~ph14nix pushed to ~ph14nix/haskell-uc git
f9781c7 Refactor core Exec combinators: make swap and split take
~ph14nix pushed to ~ph14nix/haskell-uc git
6b9064a refactor: create two versions of each ExecWriter combinator, one with explicit and one with implicit args
~ph14nix pushed to ~ph14nix/haskell-uc git