~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

4bacd8e add skeleton code for real protocol shells

a day ago via haskell-uc

a6a32d5 implement a shell for ideal functionalities

5 days ago via haskell-uc

cecd0e1 implement a shell for ideal functionalities

5 days ago via haskell-uc

365729a implement ucExec and add Pid

8 days ago via haskell-uc

f00834f implement subRespEval that supports ping channel

8 days ago via haskell-uc

16767a2 Use Accum monad instead of Writer to build executions

8 days ago via haskell-uc

39119e9 draft of UC execution

12 days ago via haskell-uc

2382ad1 refactor escapeAsyncT

13 days ago via haskell-uc

62e8edf propagate the modified connect and swap interfaces

14 days ago via haskell-uc

288f3d2 refactor InList and TestEquality

15 days ago via haskell-uc

b0ef91f rename getWT and guard, add asyncGuard

16 days ago via haskell-uc

d62004d simplify Exec struct even further: push ivariant proofs to the leaves

16 days ago via haskell-uc

cce3f9d Async.Eval documentation

16 days ago via haskell-uc

f9781c7 Refactor core Exec combinators: make swap and split take

16 days ago via haskell-uc

6b9064a refactor: create two versions of each ExecWriter combinator, one with explicit and one with implicit args

17 days ago via haskell-uc
1 / 22