- Vancouver, BC
- https://reasonablypolymorphic.com
-
-
-
-
-
reasonablypolymorphic.com Public
⏳ my math blog
-
cornelis Public
agda-mode for neovim
-
sandymaguire.me Public
http://sandymaguire.me
-
arbtt Public
Forked from nomeata/arbttarbtt, the automatic rule-based time-tracker
-
ldtk-types Public
Types for ldtk
-
alga Public
Forked from snowleopard/algaAlgebraic graphs
-
certainty-by-construction Public
Source material for Certainty by Construction
-
design-tools Public
tools for design and interpretation of haskell programs
-
-
-
nspace Public
Abstract data structures for representations of R2 and R3
-
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedDec 5, 2023 -
-
end Public
Forked from lucalabs-de/endLightweight notification daemon displaying notifications as EWW widgets
Haskell MIT License UpdatedNov 26, 2023 -
-
algebra-driven-design Public
Source material for Algebra-Driven Design
-
-
-
-
-
SitePipe Public
Forked from ChrisPenner/SitePipeYet another static site generator - non-opinionated, value-level. Less magic == easier to understand
-
goodreads Public
Forked from jmn/goodreadsA Goodreads command line client
-
type-errors Public
⚠️ tools for writing better type errors -
compdata-dags Public
Forked from vidlew/compdata-dagsCompositional Data Types on DAGs
Haskell Other UpdatedJun 8, 2023 -
compdata Public
Forked from vidlew/compdataHaskell library implementing "Data Types a la Carte"
Haskell Other UpdatedJun 8, 2023 -
blagda Public
agda blogging based on 1lab