GitHub / wenkokke 151 Repositories
tries to walk the line between programming languages and aΜΈiΜΈ | good job, y'all ruined ai
wenkokke/tree-sitter-talon
Tree Sitter parser for Talon files.
Language: JavaScript - Size: 6.07 MB - Last synced at: 7 days ago - Pushed at: 8 days ago - Stars: 9 - Forks: 6
wenkokke/vai-book
Language: TypeScript - Size: 1.69 MB - Last synced at: 9 days ago - Pushed at: 10 days ago - Stars: 0 - Forks: 0
wenkokke/talondoc
Document your Talon scripts using Sphinx.
Language: Python - Size: 80.1 MB - Last synced at: 4 days ago - Pushed at: 10 days ago - Stars: 16 - Forks: 7
wenkokke/pandoc-filters
A collection of filters for pandoc.
Language: Lua - Size: 291 KB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 0 - Forks: 0
wenkokke/agda-python
A project that packages Agda as a Python package.
Language: Python - Size: 2.7 MB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 9 - Forks: 2
wenkokke/talonfmt
Formatter for Talon files.
Language: Python - Size: 1.88 MB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 6 - Forks: 4
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.
Size: 68.4 KB - Last synced at: 24 days ago - Pushed at: 24 days ago - Stars: 0 - Forks: 0
wenkokke/py-tree-sitter-talon
Parser for Talon files in Python.
Language: Python - Size: 2.82 MB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 3 - Forks: 1
wenkokke/setup-agda
Set up a specific version of Agda for your GitHub Actions workflow.
Language: TypeScript - Size: 17.3 MB - Last synced at: 3 days ago - Pushed at: 18 days ago - Stars: 28 - Forks: 3
wenkokke/cookiecutter-haskell
Language: Python - Size: 166 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0
wenkokke/ghc-events Fork of haskell/ghc-events
Library and tool for parsing .eventlog files from GHC
Language: Haskell - Size: 2.77 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
wenkokke/gilear
Language: Haskell - Size: 3.54 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 5 - Forks: 0
wenkokke/hs-tree-sitter
Language: Haskell - Size: 201 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
wenkokke/tufte-latex Fork of Tufte-LaTeX/tufte-latex
A Tufte-inspired LaTeX class for producing handouts, papers, and books
Language: TeX - Size: 7.29 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
wenkokke/remark-bracketed-spans-2
Language: JavaScript - Size: 58.6 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
wenkokke/py-tree-sitter-type-provider
Type providers for tree-sitter in Python.
Language: C - Size: 383 KB - Last synced at: about 7 hours ago - Pushed at: 24 days ago - Stars: 4 - Forks: 1
wenkokke/remark-agda
A remark plugin for highlighting Agda code.
Language: JavaScript - Size: 41 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 3 - Forks: 0
wenkokke/data-debruijn
Language: Jupyter Notebook - Size: 13.3 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 4 - Forks: 0
wenkokke/sesh
A library for deadlock-free session-typed communication in Rust.
Language: Makefile - Size: 38.6 MB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 46 - Forks: 2
wenkokke/example-haskell-wheel
An experiment in publishing a Haskell library as a Python Wheel.
Language: Python - Size: 2.68 MB - Last synced at: 9 days ago - Pushed at: 4 months ago - Stars: 9 - Forks: 0
wenkokke/thesis
Language: TeX - Size: 58.8 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
wenkokke/witch
like a wizard, but different and more knowledgeable. also a prototype of an effect-based system for improved UX of proof engineering.
Language: TeX - Size: 11.3 MB - Last synced at: about 1 month ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 3
wenkokke/priority-sesh
Session Types with Priority in Linear Haskell
Language: Haskell - Size: 547 KB - Last synced at: 4 months ago - Pushed at: about 1 year ago - Stars: 26 - Forks: 2
wenkokke/schmitty
Agda bindings to SMT-LIB2 compatible solvers.
Language: Agda - Size: 9.79 MB - Last synced at: 6 months ago - Pushed at: 11 months ago - Stars: 96 - Forks: 8
wenkokke/no-waste-land
>>>>>> > >>>>>> >>>>>> >>>>> >>>>>>>, >> >>>> >>>> >>>>>>>.
Language: Python - Size: 21.5 KB - Last synced at: 2 months ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0
wenkokke/py-doc-printer
A Wadler-Leijen Pretty Printer in Python
Language: Python - Size: 2.27 MB - Last synced at: 24 days ago - Pushed at: 24 days ago - Stars: 4 - Forks: 0
wenkokke/dep2con π¦
several algorithms for converting dependency structures into constituency structures.
Language: Haskell - Size: 38.1 KB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 10 - Forks: 4
wenkokke/COVID-19-Wastewater-Scotland
Language: Jupyter Notebook - Size: 14.6 MB - Last synced at: 5 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
wenkokke/io-sim Fork of input-output-hk/io-sim
Haskell's IO simulator which closely follows core packages (base, async, stm).
Size: 1.7 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
wenkokke/hlint Fork of ndmitchell/hlint
Haskell source code suggestions
Size: 5.88 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
wenkokke/talk-forwarders-should-be-lazy
Size: 3.3 MB - Last synced at: 6 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
wenkokke/idris-sesh
Session types in Idris2!
Language: Idris - Size: 5.86 KB - Last synced at: 6 months ago - Pushed at: over 4 years ago - Stars: 27 - Forks: 1
wenkokke/unlit
Tool to convert literate code between styles or to code.
Language: HTML - Size: 8.93 MB - Last synced at: 6 months ago - Pushed at: over 6 years ago - Stars: 11 - Forks: 4
wenkokke/fork4pr-vscode-parse-tree Fork of cursorless-dev/vscode-parse-tree
Document syntax tree using tree-sitter
Language: TypeScript - Size: 7.79 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0
wenkokke/fork4pr-cursorless Fork of cursorless-dev/cursorless
Don't let the cursor slow you down
Language: TypeScript - Size: 16 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0
wenkokke/shoggoth
Helper functions for building static web pages with shake
Language: Haskell - Size: 108 KB - Last synced at: 16 days ago - Pushed at: 12 months ago - Stars: 2 - Forks: 1
wenkokke/keybow2040
Language: Python - Size: 1.42 MB - Last synced at: 6 months ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0
wenkokke/agda-pregroup
a formalisation of the theory of pregoups as described by Lambek in Agda
Language: Agda - Size: 177 KB - Last synced at: 6 months ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 0
wenkokke/paper-races-in-classical-linear-logic π¦
wherein I describe deadlock and race-free session types with non-determinism
Language: Agda - Size: 9.29 MB - Last synced at: 4 months ago - Pushed at: almost 5 years ago - Stars: 4 - Forks: 1
wenkokke/agda Fork of agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
Language: Haskell - Size: 135 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
wenkokke/semantic-cut-elimination Fork of bobatkey/semantic-cut-elimination
Cut-elimination by Semantic Means
Language: Agda - Size: 309 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
wenkokke/agda-stdlib Fork of agda/agda-stdlib
The Agda standard library
Language: Agda - Size: 232 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
wenkokke/starchild π¦
F* library for verifying neural networks.
Language: F* - Size: 16 MB - Last synced at: 6 months ago - Pushed at: over 2 years ago - Stars: 16 - Forks: 2
wenkokke/homebrew-cask-fonts Fork of Homebrew/homebrew-cask-fonts
π Casks of οΌ¦π Ύπππ
Size: 15.5 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
wenkokke/NLQ π¦
A framework for natural language syntax and semantics based on type theory.
Language: Haskell - Size: 44.1 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 13 - Forks: 1
wenkokke/UoE-MT3-NMT π¦
Answers to Machine Translation coursework 3: αα₯α²αα¦ α±αααααͺα¦ α΄α αααα αα¦ α―αααα΄α₯
Language: Jupyter Notebook - Size: 1.88 GB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
wenkokke/charsetdetect Fork of batterseapower/charsetdetect
Character set detection for Haskell
Size: 21.5 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
wenkokke/FirstOrderUnificationInAgda
Implementation of McBride's "First-order unification by structural recursion" in Agda.
Language: Agda - Size: 12.7 KB - Last synced at: 12 days ago - Pushed at: almost 7 years ago - Stars: 8 - Forks: 1
wenkokke/sapphire
A library for translating TensorFlow models to z3.
Language: Jupyter Notebook - Size: 1.17 MB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 8 - Forks: 0
wenkokke/paper-prioritise-the-best-variation
Language: TeX - Size: 889 KB - Last synced at: 6 months ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
wenkokke/sdplugin-manifest-rs
Language: Rust - Size: 6.84 KB - Last synced at: 17 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
wenkokke/lazuli π¦
Liquid Haskell library for verifying neural networks.
Language: Haskell - Size: 581 KB - Last synced at: 4 months ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 0
wenkokke/pandoc-include-files Fork of pandoc-ext/include-files
Filter to include other files in the document
Language: Lua - Size: 20.5 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
wenkokke/talon-user π¦
My Talon user configuration.
Language: Python - Size: 493 KB - Last synced at: 4 months ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 1
wenkokke/talk-schmitty-the-solver π¦
Size: 2.93 KB - Last synced at: 4 months ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
wenkokke/talk-session-types π¦
Size: 2.93 KB - Last synced at: 4 months ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0
wenkokke/featherweight-generic-go-generator π¦
Test suite for implementations of Featherweight Generic Go
Language: Haskell - Size: 136 KB - Last synced at: 4 months ago - Pushed at: about 5 years ago - Stars: 34 - Forks: 4
wenkokke/latex-template π¦
Language: TeX - Size: 3.91 KB - Last synced at: 6 months ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 0
wenkokke/talk-a-tale-of-three-constructed-languages π¦
wherein I look at constructed languages
Size: 213 KB - Last synced at: 4 months ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0
wenkokke/Breadbox π¦
An AI for a *very distant* cousin of '20 questions'.
Language: JavaScript - Size: 75.5 MB - Last synced at: 4 months ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0
wenkokke/mitch-hedbot π¦
Language: Python - Size: 12.7 KB - Last synced at: 4 months ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
wenkokke/agda-prelude π¦
Language: Agda - Size: 2.93 KB - Last synced at: 4 months ago - Pushed at: almost 5 years ago - Stars: 4 - Forks: 0
wenkokke/blog-old π¦
wherein I put my blogs
Language: JavaScript - Size: 204 MB - Last synced at: 4 months ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 1
wenkokke/spacemacs-talon π¦
Talon Voice integration for Spacemacs
Language: Python - Size: 20.5 KB - Last synced at: 4 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
wenkokke/emacs-monitor π¦
Language: Python - Size: 2.93 KB - Last synced at: 4 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
wenkokke/haskell-talon π¦
Support for programming Haskell using Talon Voice
Language: Python - Size: 13.7 KB - Last synced at: 6 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
wenkokke/stlc-nbe π¦
Language: Haskell - Size: 15.6 KB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
wenkokke/regex-parsec π¦
Language: Haskell - Size: 42 KB - Last synced at: 4 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
wenkokke/bnfc-python π¦
Python bindings for the BNF Converter.
Language: Python - Size: 25.4 KB - Last synced at: 4 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
wenkokke/chez-scheme-hs π¦
Haskell bindings to Chez Scheme
Language: Haskell - Size: 51.8 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 10 - Forks: 0
wenkokke/lacl2016
a paper extracted from my master's thesis on categorial grammar
Language: TeX - Size: 587 KB - Last synced at: 6 months ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 0
wenkokke/lake
Language: Rust - Size: 63.5 KB - Last synced at: 6 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
wenkokke/cookiecutter-haskell-wheel π¦
A cookiecutter template for publishing a Haskell library as a Python Wheel.
Language: Python - Size: 2.64 MB - Last synced at: 4 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
wenkokke/pelican π¦
Pelican is tool for semantic annotation and verification, compliant to the Pipeline 2.0.1 API specifications.
Language: Java - Size: 2.44 MB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0
wenkokke/parcel-transformer-pandoc
Language: JavaScript - Size: 183 KB - Last synced at: 6 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
wenkokke/pandoc-bootstrap Fork of ashki23/pandoc-bootstrap
Application for converting Markdown files into bootstrap styled HTML pages by Pandoc.
Language: HTML - Size: 91.8 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
wenkokke/talonfmt-vscode
Formatter for the Talon language.
Language: TypeScript - Size: 147 KB - Last synced at: 6 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
wenkokke/wenkokke
Size: 1.03 MB - Last synced at: 6 months ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
wenkokke/esslli2015-monads Fork of dylnb/esslli2015-monads
materials for ESSLLI 2015 course: Monads and Natural Language
Size: 8.71 MB - Last synced at: over 2 years ago - Pushed at: about 10 years ago - Stars: 0 - Forks: 0
wenkokke/MonoProc π¦
A framework for data-flow analysis of a simple imperative programming language.
Language: Haskell - Size: 459 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 7 - Forks: 0
wenkokke/amethyst
Agda library for verifying neural networks.
Language: Agda - Size: 4.62 MB - Last synced at: 2 months ago - Pushed at: almost 5 years ago - Stars: 7 - Forks: 0
wenkokke/setup-z3 Fork of cda-tum/setup-z3
Set up a specific version of the Z3 theorem prover
Size: 2.68 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
wenkokke/UvA-ULL1-Segmentation Fork of RijstwafelMetSmaak/ULL π¦
Language: Jupyter Notebook - Size: 4.53 MB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
wenkokke/UoE-MT2-NMT π¦
Answers to Machine Translation coursework 2: Neural Machine Translation
Language: Jupyter Notebook - Size: 169 MB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
wenkokke/GF-coverage π¦
a tool to test the coverage of the GF resource grammar
Language: Haskell - Size: 26.4 MB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
wenkokke/UoE-MT1-PBT π¦
Answers to Machine Translation coursework 1: Decoding.
Language: Python - Size: 3.02 MB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
wenkokke/LogStreamer π¦
a distributed streamer for log files using apache spark
Language: Java - Size: 839 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
wenkokke/UvA-MT2-PBT π¦
Implementation of a phrase-based statistical machine translation system from English to French using FSTs.
Language: Roff - Size: 497 MB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
wenkokke/dopcg2016 π¦
wherein I blabber about data-oriented parsing and categorial grammars
Language: Makefile - Size: 20.5 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
wenkokke/UvA-MT3-Ranking π¦
Implementation of an SVM-based reranking algorithm for English to German translations.
Language: Python - Size: 249 MB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
wenkokke/UvA-MT1-IBM π¦
Implementation of IBM machine translation models 1 and 2 in Python.
Language: Fortran - Size: 18.2 MB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 3 - Forks: 2
wenkokke/UvA-ULL2-Reversing-GRU π¦
Implementation of a small GRU Encoder-Decoder network in Theano which should learn to reverse its input.
Language: Python - Size: 1.44 MB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
wenkokke/FunFlow π¦
an implementation of control-flow analysis of a simple functional programming language.
Language: Haskell - Size: 559 KB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 0
wenkokke/EnumeratingTheRationals π¦
a formalisation of the functional pearl "Enumerating the Rationals" by Gibbons, Lester and Bird in Coq
Language: Coq - Size: 374 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 3 - Forks: 0
wenkokke/LambdaCalc π¦
Implementation of untyped and simply typed lambda calculus with support for parsing, printing and evaluation.
Language: Java - Size: 405 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0
wenkokke/Excitement-Open-Platform Fork of hltfbk/Excitement-Open-Platform π¦
wherein we added Pelican to EOP
Language: Java - Size: 129 MB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
wenkokke/pelican-api π¦
the "public" api for the semantic annotation pipeline
Language: Java - Size: 32.2 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
wenkokke/ParseLib π¦
A port of Utrecht University's ParseLib (from Haskell) to Frege, to allow usage of parser combinators with Java.
Language: Frege - Size: 27.3 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
wenkokke/sean π¦
a simple programming language for semantic annotation of natural language semantics
Language: Haskell - Size: 124 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0
wenkokke/agda2html π¦
a tool to convert literate agda to html
Language: Haskell - Size: 46.9 KB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 5 - Forks: 1