mchaver

Pinned Repositories

angular-server-repeat
Create loops with mixed server-side and client-side rendering in Angular 1
10
coding-challenges
Language:Haskell2 3 00
example-servant-partial-client
Language:Haskell50
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/rust-wasm-hello-world
Introductory example of interop between WebAssembly compiled Rust and JavaScript
Language:Rust4 2 03
mchaver/coding-challenges
Language:Haskell2 3 00
mchaver/combinatory-logic
Language:JavaScript1 2 0
mchaver/mchaver.com
Personal website
Language:JavaScript1 2 11
mchaver/reason-react-example
Language:OCaml1 2 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-css
Statically typed DSL for writing css in reason.
Language:Reason1 0
mchaver/bs-game-of-life
Conway's Game of Life written in BuckleScript
Language:JavaScript2 6
mchaver/bs-react-dates
ReasonML bindings for react-dates
Language:OCaml2 0
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/go-tezos
Go Tezos Is a Go library that exposes and builds upon the Tezos RPC.
Language:Go1 0
mchaver/hs-concurrency-experiments
Language:Haskell
mchaver/html-css-exercises
Language:HTML2 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/js-exercises
Language:JavaScript
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/prolog-exercises
2 0
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/simple-proofs
Simple proofs in Agda
Language:Agda2 0
mchaver/sql-exercises
2 0
mchaver/stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
Language:Shell2 0