noahdiewald Goto Github PK

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

cowboy

Small, fast, modular HTTP server written in Erlang.

eindexer

Simple search engine written in Erlang

elm-express

Create backend applications with Elm (via express)

eretrie

Manipulate regex in Erlang - Reduce, Merge, Match

hfst

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

hockett_texts

Hockett's Potawatomi Texts

hofm

Higher-order functional morphology

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

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

nabese

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

needle29

Config files for my GitHub profile.

notas

Linguistic fieldnotes software

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