mchaver

servant-auth-and-elm-example

servant-auth-and-purescript-pux-example

rust-wasm-hello-world

Introductory example of interop between WebAssembly compiled Rust and JavaScript

coding-challenges

combinatory-logic

mchaver.com

Personal website

reason-react-example

.emacs.d

Emacs settings

amgi

anqi

Anqi (暗棋) is a variant of Chinese Chess in which all pieces start face-down and each turn one of the two players reveals a piece, moves a piece or moves a piece and captures one of the opponent's pieces

bs-css

Statically typed DSL for writing css in reason.

bs-game-of-life

Conway's Game of Life written in BuckleScript

bs-react-dates

ReasonML bindings for react-dates

bucklescript

A backend for the OCaml compiler which emits JavaScript.

digit-recognition

A digit recognizer written in Rust

dotfiles

go-tezos

Go Tezos Is a Go library that exposes and builds upon the Tezos RPC.

hs-concurrency-experiments

html-css-exercises

japonic

A linguistic tool for the Japonic (Japanese-Ryukyuan) languages

japonic-app

A web interface for the Japonic (Japanese-Ryukyuan) linguistic tool

js-exercises

measurements-react

nqueens-java

A solution for N-Queens and No-three-in-line in Java

prolog-exercises

pyreview

Toy programs for reviewing knowledge of Python

rr-global-state

An example of global state in a Reason React app

simple-proofs

Simple proofs in Agda

sql-exercises

stackage

"Stable Hackage," tools for creating a vetted set of packages from Hackage.