Bjarki's Website

bjarki.yorniq.xyz

4,823 views
0 followers
364 updates
0 tips
Share
bjarki updated their site.
1 week ago
agda screenshot agda
bjarki updated their site.
5 months ago
programming screenshot programming
index screenshot index
bjarki updated their site.
6 months ago
photos screenshot photos
bjarki updated their site.
7 months ago
index screenshot index
bjarki updated their site.
7 months ago
agda screenshot agda
agda/State screenshot agda/State
agda/Monoidal screenshot agda/Monoidal
agda/Kleisli screenshot agda/Kleisli
agda/Concurrent screenshot agda/Concurrent
agda/Adjoint screenshot agda/Adjoint
programming screenshot programming
music screenshot music
index screenshot index
bjarki updated their site.
7 months ago
agda screenshot agda
agda/State screenshot agda/State
agda/Relation.Nullary.Recomputable.Core screenshot agda/Relation.Nullary.Recomputable.Core
agda/Relation.Nullary.Irrelevant screenshot agda/Relation.Nullary.Irrelevant
agda/Posets screenshot agda/Posets
agda/Data.Empty.Polymorphic screenshot agda/Data.Empty.Polymorphic
index screenshot index
bjarki updated their site.
7 months ago
photos screenshot photos
index screenshot index
recipes screenshot recipes
programming screenshot programming
music screenshot music
bjarki updated their site.
7 months ago
photos screenshot photos
recipes screenshot recipes
programming screenshot programming
index screenshot index
bjarki updated their site.
7 months ago
music screenshot music
bjarki updated their site.
8 months ago
photos screenshot photos
agda screenshot agda
agda/Relation.Unary screenshot agda/Relation.Unary
agda/Relation.Nullary screenshot agda/Relation.Nullary
agda/Relation.Nullary.Reflects screenshot agda/Relation.Nullary.Reflects
agda/Relation.Nullary.Recomputable screenshot agda/Relation.Nullary.Recomputable
agda/Relation.Nullary.Negation.Core screenshot agda/Relation.Nullary.Negation.Core
agda/Relation.Nullary.Decidable screenshot agda/Relation.Nullary.Decidable
agda/Relation.Nullary.Decidable.Core screenshot agda/Relation.Nullary.Decidable.Core
agda/Relation.Binary.Structures screenshot agda/Relation.Binary.Structures

Website Stats

Last updated 1 week ago
CreatedAug 1, 2024
Site Traffic Stats

Tags

math programming logic cooking algebra