noahdiewald

hockett_texts

Hockett's Potawatomi Texts

icu4e

Erlang NIF wrappers for the ICU

icu4r

ICU4R - ICU 4.8 bindings for Ruby with collation tailoring. Runs under Ruby 1.8.7 and 1.9.2

nabese

Nabésé is coq code for a fragment of Potawatomi

cowboy

Small, fast, modular HTTP server written in Erlang.

hfst

Arch Linux PKGBUILD for Helsinki Finite-State Transducer Technology (HFST) tools

notas

Linguistic fieldnotes software

aimm-handout-2019

A supplemental handout for AIMM4 poster presentation

boto_tededo

A demo language app for Wao Terero

CoqNL

couch-to-postgres

Node libary to stream CouchDB changes into PostgreSQL

eindexer

Simple search engine written in Erlang

eretrie

Manipulate regex in Erlang - Reduce, Merge, Match

hofm

Higher-order functional morphology

ihp

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

llic

hakyll site for OSU logic language information and computation reading group

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

MTT-semantics_book

Code for the upcoming monograph "Formal Semantics in Modern Type Theories" by Stergios Chatzikyriakidis and Zhaohui

needle29

Config files for my GitHub profile.

rvre

Robert Virding's Regular Expression library in pure erlang

shimi_ima

An old lexicography application in need of an update

softwarefoundations

Working through the software foundations book

ttf-aboriginal-sans

Arch Linux PKGBUILD for Aboriginal Sans Serif fonts

ttf-aboriginal-serif

Arch Linux PKGBUILD for Aboriginal Serif fonts

webviewhs

🌐 A Haskell binding to the webview library created by Serge Zaitsev.

wordyuk

ad hoc lexical data dumping ground and analysis application