Wen Kokke

schmitty. Agda bindings to SMT-LIB2 compatible solvers.

sesh. A library for deadlock-free session-typed communication in Rust.

AutoInAgda. Proof automation – for Agda, in Agda.

featherweight-generic-go-generator. Test suite for implementations of Featherweight Generic Go

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

priority-sesh. Session Types with Priority in Linear Haskell

idris-sesh. Session types in Idris2!

msla2014. wherein I implement several substructural logics in Agda

talondoc. Document your Talon scripts using Sphinx.

starchild. F* library for verifying neural networks.

NLQ. A framework for natural language syntax and semantics based on type theory.

chez-scheme-hs. Haskell bindings to Chez Scheme

example-haskell-wheel. An experiment in publishing a Haskell library as a Python Wheel.

unlit. Tool to convert literate code between styles or to code.

dep2con. several algorithms for converting dependency structures into constituency structures.

agda-python. A project that packages Agda as a Python package.

FirstOrderUnificationInAgda. Implementation of McBride's "First-order unification by structural recursion" in Agda.

tree-sitter-talon. Tree Sitter parser for Talon files.

swillprover. a linear logic prover based on Naoyuki Tamura's llprover that works under SWI Prolog

MonoProc. A framework for data-flow analysis of a simple imperative programming language.

sapphire. A library for translating TensorFlow models to z3.

amethyst. Agda library for verifying neural networks.

talonfmt. Formatter for Talon files.

lazuli. Liquid Haskell library for verifying neural networks.

py-tree-sitter-type-provider. Type providers for tree-sitter in Python.

py-doc-printer. A Wadler-Leijen Pretty Printer in Python

agda2html. a tool to convert literate agda to html

gilear. Haskell

data-debruijn. Haskell

polygen. Efficient enumeration of polymorphic λ-terms from System Fω.

agda-prelude. Agda

hs-tree-sitter. Haskell

paper-races-in-classical-linear-logic. wherein I describe deadlock and race-free session types with non-determinism

py-tree-sitter-talon. Parser for Talon files in Python.

UvA-MT1-IBM. Implementation of IBM machine translation models 1 and 2 in Python.

remark-agda. A remark plugin for highlighting Agda code.

keybow2040. Python

side-effects-in-english. a blog

latex-template. TeX

FunFlow. an implementation of control-flow analysis of a simple functional programming language.

LambdaCalc. Implementation of untyped and simply typed lambda calculus with support for parsing, printing and evaluation.

gtk2hs. GUI library for Haskell based on GTK+

talonfmt-vscode. Formatter for the Talon language.

talk-session-types.