~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

d9807c8 refactor

a day ago via haskell-uc

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

5 days ago via haskell-uc

32c5ae5 Make signatureIF use nice flattened type wrappers

7 days ago via haskell-uc

03c47d0 Use UC signature build

7 days ago via haskell-uc

3857e8a fix signature, refactor

8 days ago via haskell-uc

acd99ec fix signature

8 days ago via haskell-uc

acbeadc Bring back AsyncExT and implement UCSigScheme with it

9 days ago via haskell-uc

4b91d57 refactor

11 days ago via haskell-uc

562b79f UC Signature IF

12 days ago via haskell-uc

108c939 add adv interface

12 days ago via haskell-uc

f1bd512 New prototypes for makred sids and pids

14 days ago via haskell-uc

b96faa7 refactor spawnOnDemand

16 days ago via haskell-uc

6370e05 make spawnOnDemand work

16 days ago via haskell-uc

1201745 Fix the overly generic parameter m to PrAlgo

20 days ago via haskell-uc

0189fc9 Add pattern synonyms for InList

22 days ago via haskell-uc
1 / 24