kenyc Goto Github PK

cf

Formal Language Theory stuff

dissertation

Accompanying code to dissertation

donkeyexperiment_conjunctionnegation

egg

EGG: Emergence of lanGuage in Games

euphonics

E-bookification of Euphonics by Jim Woodhouse

exh

Computes innocently excludable and includable sets of alternatives

exh2

Haskell rewrite of Exh library

fraisdenotaire

Script python pour calculer ses frais d'acqiusition (aka frais de notaires)

helium

Let Sublime Text 3 talk with Jupyter.

hnm2

HNM2 — Gaps and imprecision in natural language semantics: homogeneity effects and beyond

hnm3

HNM3 — Gaps and imprecision in natural language semantics

homogeneity-workshop

homogeneity-workshop

homotopytypetheory

Some definitions and propositions of Homotopy Type Theory

i2dris

An IPython kernel for Idris

idris2-zeromq

Idris 2 binding to ZeroMQ C API

implanguages

Playground compilers

jump

Small utility to cd to bookmarked directories

karaokevideomaker

Creates video with scrolling lyrics, given a subtitle file and an audio file

kenyc.github.io

Personal website

lcs-image-diff-rs

🖼 Image diff tool with LCS algorithm

lingexref

Insert references to surrounding LaTeX linguistic examples

makeserver

A tiny local server that recompiles html files on refresh

maths-preview

A fast and minimal WYSIWYG for LateX mathematical formulas.

microalign

Alignment plugin for Sublime Text 3 and Sublime Text 4

migl

Low-level abstraction over OpenGL primitives in Rust.

musical-wordle

nanovg-hs

Haskell bindings to NanoVG library

package_control_channel

Default channel file for Package Control. Follow the directions at:

pandoc-ling

Pandoc Lua filter for linguistic examples

proceduraltexturegenerator

Generates tilable textures from operators