michaelbjames

elm-examples

Some pleasant examples that show off the reactor and get you started

elm-voronoi

Manhattan-style Voronoi diagram for the web!

elm-benchmark

Elm code benchmarking suite

copilot-study

150-probabilistic-programming

hoogle_plus

Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)

Elm

Compiler for the Elm programming language. Elm aims to make web development more pleasant. Elm is a type-safe, functional reactive language that compiles to HTML, CSS, and JavaScript.

michaelbjames.github.io

personal website

wiki-solver

THE solution to the wikipedia game

chezbob

connections-solver

A solver for the NYT Connections game

elm-debugger

Control time and change history. Laszlo's debugger lets you pause, rewind, and replay programs, swapping in new code to debug.

elm-reactor

Simple server for to make it easy to develop Elm projects

elm-whack-a-mole

whack a mole elm demo

eulers-laugh

Woo Math & CS!

gatsby-theme-andy

A Gatsby theme to build Andy style websites. 📑

gatsby-theme-brain

hoogle

Haskell API search engine

hoogleplus-examples-paper

i3lock

improved screen locker

improb

Improvisational MIDI generation DSL with probabilistic computations

kwm

Tiling window manager with focus follows mouse for OSX

maestral-dropbox

Open-source Dropbox client for macOS and Linux

michaelbjamesphd.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

one-time-urls

Serve files with one-time URLs

partial-refinements

stack

The Haskell Tool Stack

toc.ucsd.edu

the outdoors club web

trader

Low frequency trader framework.