mchaver

Pinned Repositories

angular-server-repeat
Create loops with mixed server-side and client-side rendering in Angular 1
1 2 00
combinatory-logic
Language:JavaScript1 2 00
example-servant-partial-client
Language:Haskell5 3 00
phong
Pong in Haskell and OpenGL
Language:Haskell42
rust-wasm-hello-world
Introductory example of interop between WebAssembly compiled Rust and JavaScript
Language:Rust4 2 03
servant-auth-and-elm-example
Language:HTML15 2 11
servant-auth-and-purescript-pux-example
Language:JavaScript9 2 00

mchaver's Repositories

mchaver/servant-auth-and-elm-example
Language:HTML15 2 11
mchaver/servant-auth-and-purescript-pux-example
Language:JavaScript9 2 00
mchaver/example-servant-partial-client
Language:Haskell5 3 00
mchaver/phong
Pong in Haskell and OpenGL
Language:Haskell42
mchaver/rust-wasm-hello-world
Introductory example of interop between WebAssembly compiled Rust and JavaScript
Language:Rust4 2 03
mchaver/angular-server-repeat
Create loops with mixed server-side and client-side rendering in Angular 1
1 2 00
mchaver/combinatory-logic
Language:JavaScript1 2 00
mchaver/mchaver.com
Personal website
Language:JavaScript1 2 11
mchaver/Programming-News
A chrome extension that collects websites from programming news aggregator sites
Language:Python1 2 11
mchaver/reason-react-example
Language:OCaml1 2 0
mchaver/servant-static-header
Language:Haskell1 3 0
mchaver/.emacs.d
Emacs settings
Language:Emacs Lisp2 0
mchaver/amgi
Language:Rust2 0
mchaver/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
Language:Rust2 0
mchaver/bs-game-of-life
Conway's Game of Life written in BuckleScript
Language:JavaScript2 6
mchaver/bucklescript
A backend for the OCaml compiler which emits JavaScript.
Language:OCaml2 0
mchaver/digit-recognition
A digit recognizer written in Rust
Language:Rust2 0
mchaver/dotfiles
Language:Shell2 0
mchaver/hs-concurrency-experiments
Language:Haskell2 0
mchaver/japonic
A linguistic tool for the Japonic (Japanese-Ryukyuan) languages
Language:Rust2 1
mchaver/japonic-app
A web interface for the Japonic (Japanese-Ryukyuan) linguistic tool
Language:HTML2 0
mchaver/Machine-Learning-Tools
A collection of machine learning algorithm implementations
Language:Java2 0
mchaver/measurements-react
Language:JavaScript2 0
mchaver/nqueens-java
A solution for N-Queens and No-three-in-line in Java
Language:Java2 6
mchaver/pyreview
Toy programs for reviewing knowledge of Python
Language:Python2 0
mchaver/rr-global-state
An example of global state in a Reason React app
Language:Reason2 0
mchaver/safe-json
Automatic versioning of JSON formats for Haskell data types (with backwards compatibility)
Language:Haskell0 0
mchaver/simple-proofs
Simple proofs in Agda
Language:Agda2 0
mchaver/study-sheets
Use Haskell to generate small Japanese study cards in LaTeX
Language:TeX2 0