isovector

isovector

👤 Developer

3 repositories on SrcLog

View on GitHub
3 Repos
316 Stars
47 Forks
10 Watchers

🏆 Show off this rank

isovector on SrcLog (holo style)

Add it to a GitHub README or profile — the card updates as the ranking changes:

Repositories (3)

cornelis agda/cornelis Haskell

agda-mode for neovim

192
suavemente isovector/suavemente Haskell

:dancer: an applicative functor that seamlessly talks to HTML inputs

72
certainty-by-construction isovector/certainty-by-construction TeX

Source material for Certainty by Construction

52