Skip to content
View isovector's full-sized avatar
1.2k followers · 179 following

Organizations

@polysemy-research
Block or Report

Block or report isovector

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. cornelis cornelis Public

    agda-mode for neovim

    Haskell 127 20

  2. certainty-by-construction certainty-by-construction Public

    Source material for Certainty by Construction

    TeX 34 9

  3. algebra-driven-design algebra-driven-design Public

    Source material for Algebra-Driven Design

    Haskell 132 12

  4. thinking-with-types thinking-with-types Public

    📖 source material for Thinking with Types

    Haskell 460 42