Reynir Björnsson

icon indicating a website link https://reyn.ir/ icon indicating an email [email protected]

icon company @robur-coop icon location Denmark

Results 3 repositories owned by Reynir Björnsson

Brainfuck

27
Stars
2
Forks
Watchers

Brainfuck formalized in Coq

verified publisher icon reynir

ocp-index-top

20
Stars
0
Forks
Watchers

verified publisher icon reynir

banawa-chat

29
Stars
0
Forks
Watchers

SSH chat server using trust on first use for user registration

verified publisher icon reynir