~ph14nix

Gothenburg, Sweden

https://ph14nix.srht.site/

CS PhD Student

haskell-uc

Type-Safe EDSL for Universal Composability Programs

kalina

RSS reader written purely in Haskell

sandglass

A TUI Habit Tracker

brick-extra

Some extra Brick widgets I impemented for my own use

term-to-pango

Convert ANSI-styled text to Pango Markup

Activity

64083ca wrap typical process types into a newtype

4 days ago via haskell-uc

ebd63e5 refactor signatureProto

6 days ago via haskell-uc

a344e34 refactor signatureProto

6 days ago via haskell-uc

9528cab protocol for signature

7 days ago via haskell-uc

4de9b39 active corruption with erasures

9 days ago via haskell-uc

b5761f4 Allow passing nixpkgs as a parameter

~ph14nix pushed to ~ph14nix/kalina git

10 days ago via kalina

0178c66 Allow passing nixpkgs as a parameter

~ph14nix pushed to ~ph14nix/kalina git

10 days ago via kalina

1980668 more unform naming

10 days ago via haskell-uc

e8b5cb2 Fix compilation errors, add uncommitted file

10 days ago via haskell-uc

d3ebb9f refactor flake

27 days ago via haskell-uc

e3fcf2a refactor: move the spawnOnDepand to Async.Eval

27 days ago via haskell-uc

4e60df0 fix warnings

29 days ago via haskell-uc

02e2def fix SomeWT compile error

30 days ago via haskell-uc

d9807c8 refactor

2 months ago via haskell-uc

b80844e UC Sig: Use convenient names for the parties we communivate with

2 months ago via haskell-uc
1 / 25