Repos
13
Stars
5
Forks
0
Top Language
Haskell
Loading contributions...
Top Repositories
Flutter package for a month view calendar widget
Currently learning Category Theory. This is to play with / formalize some of it in Agda.
An Obsidian plugin to quickly add, change, or remove callout wrappers in your notes.
A blog for my random thoughts, ideas, and one week long obsessions.
A Haskell type checker based on GHC, with Quick Look for (limited) impredicativity.
An experimental library for Cubical Agda
Repositories
13An Obsidian plugin to quickly add, change, or remove callout wrappers in your notes.
A blog for my random thoughts, ideas, and one week long obsessions.
Flutter package for a month view calendar widget
A Haskell type checker based on GHC, with Quick Look for (limited) impredicativity.
An experimental library for Cubical Agda
Currently learning Category Theory. This is to play with / formalize some of it in Agda.
No description provided.
No description provided.
A minimal dependently typed language
No description provided.
A simple wall of posts with tag and like functionality. Front end by AngularJS, backend by ASP.NET Core.
An old fitness tracking app I made 4 years ago but never finished. Hopefully will get back on track soon.
No description provided.