Discover @wenkokke Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Swift

C++

R

Nix

Go

Python

Rust

Objective-C

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

JavaScript

Objective-C

Scala

Perl

Racket

Shell

Go

Python

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇦🇮 Anguilla

🇧🇩 Bangladesh

🇱🇷 Liberia

🇬🇺 Guam

🇩🇰 Denmark

🇲🇦 Morocco

🇨🇷 Costa Rica

🇳🇫 Norfolk Island

All Countries Compare Countries

Wen Kokke (@wenkokke)

wenkokke

Stars
521
Global Rank 53,936 (Top 2 %)
Followers 396
Following 93
Registered about 11 years ago
Most used languages

Haskell
25.4 %

Python
20.3 %

Agda 16.9 %

TeX
5.1 %

TypeScript
3.4 %

Java
3.4 %

JavaScript
3.4 %

C
3.4 %

HTML
3.4 %

Prolog
1.7 %

Fortran
1.7 %

Coq 1.7 %

Racket
1.7 %

F* 1.7 %

Makefile 1.7 %

Jupyter Notebook
1.7 %

Shell
1.7 %

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

F* 1

Agda 4

Idris 6

Prolog
18

Coq 20

Racket
27

Makefile 50

Haskell
53

Fortran
148

TeX
441

TypeScript
1,018

HTML
1,213

Jupyter Notebook
1,722

C
1,805

Python
2,740

Shell
4,837

Java
5,148

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.

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ω.

debruijn

agda-prelude

paper-races-in-classical-linear-logic

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

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.

talonfmt-vscode

Formatter for the Talon language.

talk-session-types

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

wherein I look at constructed languages

programming-problems

Miscellaneous writing and coding...

tlla2018

Repository for Taking Linear Logic Apart.

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.