Discover wenkokke/idris-sesh Open Source project

Proof automation – for Agda, in Agda.

AutoInAgda

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

sesh

Makefile

featherweight-generic-go-generator

Test suite for implementations of Featherweight Generic Go

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

setup-agda

TypeScript

msla2014

wherein I implement several substructural logics in Agda

Session Types with Priority in Linear Haskell

priority-sesh

F* library for verifying neural networks.

starchild

talondoc

Document your Talon scripts using Sphinx.

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

NLQ

Haskell bindings to Chez Scheme

chez-scheme-hs

Tool to convert literate code between styles or to code.

unlit

HTML

dep2con

several algorithms for converting dependency structures into constituency structures.

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

swillprover

Prolog

FirstOrderUnificationInAgda

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

A library for translating TensorFlow models to z3.

sapphire

Jupyter Notebook

example-haskell-wheel

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

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

MonoProc

Agda library for verifying neural networks.

amethyst

Liquid Haskell library for verifying neural networks.

lazuli

Formatter for Talon files.

talonfmt

A project that packages Agda as a Python package.

agda-python

a tool to convert literate agda to html

agda2html

Tree Sitter parser for Talon files.

tree-sitter-talon

wenkokke.github.io

wherein I put thoughts

HTML

polygen

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

Racket

paper-races-in-classical-linear-logic

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

debruijn

agda-prelude

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

UvA-MT1-IBM

Fortran

side-effects-in-english

a blog

A Wadler-Leijen Pretty Printer in Python

py-doc-printer

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

EnumeratingTheRationals

Coq

HeisigLevels

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

keybow2040

Type providers for tree-sitter in Python.

wenkokke

latex-template

TeX

py-tree-sitter-type-provider

agda-exec-tc

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

Parser for Talon files in Python.

py-tree-sitter-talon

My Talon user configuration.

talon-user

Helper functions for building static web pages with shake

shoggoth

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

FunFlow

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

lacl2016

TeX

dipsy

an implementation of Display Calculus in Agda

cookiecutter-haskell-wheel-legacy

wherein I look at lockpicking

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

cgtm

a compiler from Turing Machines to VISL CG-3 code

Parser for Agda files in Python.

py-tree-sitter-agda

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

a simple programming language for semantic annotation of natural language semantics

paper-prioritise-the-best-variation

TeX

sean

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

agda-pregroup

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

pelican

Java

degobah

JavaScript

fsm2cg

a tool which reads finite state machines and produces CG3 code

wherein I look at formalising session typed languages

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

web-tree-sitter

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

Shell

inblackandwhite

A script which maintains a greyscale copy of a tumblr blog