Bjarki's Website

bjarki.neocities.org

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

Tags

math programming logic cooking algebra