wenkokke

tries to walk the line between programming languages and ai

Scotland

Pinned Repositories

plfa.github.io
An introduction to programming language theory in Agda
Language:Agda1.3k 23 250298
vehicle
A toolkit for enforcing logical specifications on neural networks
Language:Haskell74 9 3615
AutoInAgda
Proof automation – for Agda, in Agda.
Language:Agda39 9 07
featherweight-generic-go-generator
Test suite for implementations of Featherweight Generic Go
Language:Haskell34 3 14
idris-sesh
Session types in Idris2!
Language:Idris24 4 01
priority-sesh
Session Types with Priority in Linear Haskell
Language:Haskell21 4 02
schmitty
Agda bindings to SMT-LIB2 compatible solvers.
Language:Agda93 12 149
sesh
A library for deadlock-free session-typed communication in Rust.
Language:Makefile43 5 11
setup-agda
Set up a specific version of Agda for your GitHub Actions workflow.
Language:TypeScript25 4 743
talondoc
Document your Talon scripts using Sphinx.
Language:Python14 3 397

wenkokke's Repositories

wenkokke/schmitty
Agda bindings to SMT-LIB2 compatible solvers.
Language:Agda93 12 149
wenkokke/setup-agda
Set up a specific version of Agda for your GitHub Actions workflow.
Language:TypeScript25 4 743
wenkokke/priority-sesh
Session Types with Priority in Linear Haskell
Language:Haskell21 4 02
wenkokke/talondoc
Document your Talon scripts using Sphinx.
Language:Python14 3 397
wenkokke/NLQ
A framework for natural language syntax and semantics based on type theory.
Language:Haskell13 3 01
wenkokke/example-haskell-wheel
An experiment in publishing a Haskell library as a Python Wheel.
Language:Python7 3 3
wenkokke/talonfmt
Formatter for Talon files.
Language:Python6 2 243
wenkokke/agda-python
A project that packages Agda as a Python package.
Language:Python5 3 01
wenkokke/tree-sitter-talon
Tree Sitter parser for Talon files.
Language:JavaScript5 2 344
wenkokke/debruijn
Language:Haskell4 3 0
wenkokke/py-doc-printer
A Wadler-Leijen Pretty Printer in Python
Language:Python3 2 5
wenkokke/py-tree-sitter-talon
Parser for Talon files in Python.
Language:Python2 2 31
wenkokke/py-tree-sitter-type-provider
Type providers for tree-sitter in Python.
Language:C2 2 0
wenkokke/shoggoth
Helper functions for building static web pages with shake
Language:Haskell2 3 01
wenkokke/paper-prioritise-the-best-variation
Language:TeX1 4 00
wenkokke/semantic-cut-elimination
Cut-elimination by Semantic Means
Language:Agda1 1 0
wenkokke/talon-community
Config for talon for Mac, Windows and Linux. Very much in progress.
Language:Python1 2 0
wenkokke/agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell1 0
wenkokke/agda-stdlib
The Agda standard library
Language:Agda2 0
wenkokke/charsetdetect
Character set detection for Haskell
Language:Haskell1 0
wenkokke/cookiecutter-haskell
Language:Python2 0
wenkokke/dotfiles
:wrench: .files, including ~/.macos — sensible hacker defaults for macOS
Language:Shell2 0
wenkokke/fork4pr-cursorless
Don't let the cursor slow you down
wenkokke/homebrew-cask-fonts
🖋 Casks of Ｆ🅾𝓝𝐓𝚂
wenkokke/manylinux_ghc
A collection of manylinux images to provide a convenient way to distribute binary Python extensions that use Haskell as wheels on Linux.
2 0
wenkokke/pandoc-filters
A collection of filters for pandoc.
Language:Lua1 0
wenkokke/pandoc-include-files
Filter to include other files in the document
Language:Lua1 0
wenkokke/parcel-transformer-pandoc
Language:JavaScript2 0
wenkokke/sdplugin-manifest-rs
Language:Rust2 0
wenkokke/topiary-talon
Language:Rust1 0