Bjarki's Website

bjarki.neocities.org

4,848 views
0 followers
364 updates
0 tips
Share
bjarki updated their site.
3 weeks ago
agda screenshot agda
bjarki updated their site.
5 months ago
programming screenshot programming
index screenshot index
bjarki updated their site.
7 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.
8 months ago
photos screenshot photos
index screenshot index
recipes screenshot recipes
programming screenshot programming
music screenshot music
bjarki updated their site.
8 months ago
photos screenshot photos
recipes screenshot recipes
programming screenshot programming
index screenshot index
bjarki updated their site.
8 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 3 weeks ago
CreatedAug 1, 2024

Tags

math programming logic cooking algebra