Skip to content
View wenkokke's full-sized avatar
491 followers · 126 following

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3

Block or report wenkokke

Report abuse

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

Report abuse
wenkokke/README.md

Pinned Loading

  1. plfa/plfa.github.io plfa/plfa.github.io Public

    An introduction to programming language theory in Agda

    Agda 1.5k 351

  2. vehicle-lang/vehicle vehicle-lang/vehicle Public

    A toolkit for enforcing logical specifications on neural networks

    Haskell 127 15

  3. schmitty schmitty Public

    Agda bindings to SMT-LIB2 compatible solvers.

    Agda 105 9

  4. setup-agda setup-agda Public

    Set up a specific version of Agda for your GitHub Actions workflow.

    TypeScript 29 4

  5. talondoc talondoc Public

    Document your Talon scripts using Sphinx.

    Python 16 7

  6. priority-sesh priority-sesh Public

    Session Types with Priority in Linear Haskell

    Haskell 27 2