Discover @wenkokke Open Source projects

Wen Kokke (@wenkokke)

wenkokke

Stars
521
Global Rank 55,716 (Top 2 %)
Followers 396
Following 93
Registered over 11 years ago
Most used languages

Haskell
25.4 %

Python
20.3 %

Agda 16.9 %

TeX
5.1 %

JavaScript
3.4 %

C
3.4 %

HTML
3.4 %

TypeScript
3.4 %

Java
3.4 %

Prolog
1.7 %

Fortran
1.7 %

Idris 1.7 %

Racket
1.7 %

Shell
1.7 %

Jupyter Notebook
1.7 %

Makefile 1.7 %

Coq 1.7 %

F* 1.7 %
Location 🇬🇧 United Kingdom
Country Total Rank 2,783
Country Ranking

F* 1

Agda 4

Idris 6

Prolog
21

Coq 22

Racket
26

Makefile 52

Haskell
54

Fortran
160

TeX
405

TypeScript
1,078

HTML
1,220

Jupyter Notebook
1,715

C
1,912

Python
2,815

Shell
5,371

Java
6,285

schmitty

Agda bindings to SMT-LIB2 compatible solvers.

AutoInAgda

Proof automation – for Agda, in Agda.

sesh

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

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.

msla2014

wherein I implement several substructural logics in Agda

idris-sesh

Session types in Idris2!

priority-sesh

Session Types with Priority in Linear Haskell

starchild

F* library for verifying neural networks.

talondoc

Document your Talon scripts using Sphinx.

NLQ

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

chez-scheme-hs

Haskell bindings to Chez Scheme

unlit

Tool to convert literate code between styles or to code.

dep2con

several algorithms for converting dependency structures into constituency structures.

swillprover

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

FirstOrderUnificationInAgda

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

sapphire

A library for translating TensorFlow models to z3.

Jupyter Notebook

example-haskell-wheel

An experiment in publishing a Haskell library as a Python Wheel.

MonoProc

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

amethyst

Agda library for verifying neural networks.

lazuli

Liquid Haskell library for verifying neural networks.

talonfmt

Formatter for Talon files.

agda-python

A project that packages Agda as a Python package.

agda2html

a tool to convert literate agda to html

tree-sitter-talon

Tree Sitter parser for Talon files.

wenkokke.github.io

wherein I put thoughts

polygen

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

paper-races-in-classical-linear-logic

wherein I describe deadlock and race-free session types with non-determinism

debruijn

agda-prelude

UvA-MT1-IBM

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

side-effects-in-english

py-doc-printer

A Wadler-Leijen Pretty Printer in Python

EnumeratingTheRationals

a formalisation of the functional pearl "Enumerating the Rationals" by Gibbons, Lester and Bird in Coq

HeisigLevels

an Anki 1 plugin for Japanese learning in combination with James Heisig's "Remembering The Kanji"

keybow2040

wenkokke

latex-template

py-tree-sitter-type-provider

Type providers for tree-sitter in Python.

agda-exec-tc

A repository with examples of using the system call primitive execTC.

py-tree-sitter-talon

Parser for Talon files in Python.

talon-user

My Talon user configuration.

shoggoth

Helper functions for building static web pages with shake

FunFlow

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

lacl2016

a paper extracted from my master's thesis on categorial grammar

dipsy

an implementation of Display Calculus in Agda

cookiecutter-haskell-wheel-legacy

talk-this-talk-wont-help-you-steal

wherein I look at lockpicking

cgtm

a compiler from Turing Machines to VISL CG-3 code

py-tree-sitter-agda

Parser for Agda files in Python.

talk-session-types

talk-a-tale-of-three-constructed-languages

wherein I look at constructed languages

tlla2018

Repository for Taking Linear Logic Apart.

programming-problems

Miscellaneous writing and coding...

paper-prioritise-the-best-variation

sean

a simple programming language for semantic annotation of natural language semantics

agda-pregroup

a formalisation of the theory of pregoups as described by Lambek in Agda

pelican

Pelican is tool for semantic annotation and verification, compliant to the Pipeline 2.0.1 API specifications.

degobah

fsm2cg

a tool which reads finite state machines and produces CG3 code

talk-formalising-session-typed-languages-without-worries

wherein I look at formalising session typed languages

web-tree-sitter

A patched version of web-tree-sitter for use with tree-sitter-haskell.

inblackandwhite

A script which maintains a greyscale copy of a tumblr blog

talk-programming-programming-language-foundations-in-agda-in-agda

wherein I look at why we made PLFA

Breadbox

An AI for a *very distant* cousin of '20 questions'.

LambdaCalc

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

talonfmt-vscode

Formatter for the Talon language.