Pinned Repositories
aimm-handout-2019
A supplemental handout for AIMM4 poster presentation
boto_tededo
A demo language app for Wao Terero
CoqNL
cowboy
Small, fast, modular HTTP server written in Erlang.
hfst
Arch Linux PKGBUILD for Helsinki Finite-State Transducer Technology (HFST) tools
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
notas
Linguistic fieldnotes software
noahdiewald's Repositories
noahdiewald/hockett_texts
Hockett's Potawatomi Texts
noahdiewald/icu4e
Erlang NIF wrappers for the ICU
noahdiewald/icu4r
ICU4R - ICU 4.8 bindings for Ruby with collation tailoring. Runs under Ruby 1.8.7 and 1.9.2
noahdiewald/nabese
Nabésé is coq code for a fragment of Potawatomi
noahdiewald/cowboy
Small, fast, modular HTTP server written in Erlang.
noahdiewald/hfst
Arch Linux PKGBUILD for Helsinki Finite-State Transducer Technology (HFST) tools
noahdiewald/notas
Linguistic fieldnotes software
noahdiewald/aimm-handout-2019
A supplemental handout for AIMM4 poster presentation
noahdiewald/boto_tededo
A demo language app for Wao Terero
noahdiewald/CoqNL
noahdiewald/couch-to-postgres
Node libary to stream CouchDB changes into PostgreSQL
noahdiewald/eindexer
Simple search engine written in Erlang
noahdiewald/elm-express
Create backend applications with Elm (via express)
noahdiewald/eretrie
Manipulate regex in Erlang - Reduce, Merge, Match
noahdiewald/hofm
Higher-order functional morphology
noahdiewald/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
noahdiewald/llic
hakyll site for OSU logic language information and computation reading group
noahdiewald/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
noahdiewald/MTT-semantics_book
Code for the upcoming monograph "Formal Semantics in Modern Type Theories" by Stergios Chatzikyriakidis and Zhaohui
noahdiewald/needle29
Config files for my GitHub profile.
noahdiewald/rvre
Robert Virding's Regular Expression library in pure erlang
noahdiewald/shimi_ima
An old lexicography application in need of an update
noahdiewald/softwarefoundations
Working through the software foundations book
noahdiewald/ttf-aboriginal-sans
Arch Linux PKGBUILD for Aboriginal Sans Serif fonts
noahdiewald/ttf-aboriginal-serif
Arch Linux PKGBUILD for Aboriginal Serif fonts
noahdiewald/webviewhs
🌐 A Haskell binding to the webview library created by Serge Zaitsev.
noahdiewald/wordyuk
ad hoc lexical data dumping ground and analysis application