michaelbjames Goto Github PK

150-probabilistic-programming

chezbob

copilot-study

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.

elm-benchmark

Elm code benchmarking suite

elm-debugger

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

elm-examples

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

elm-reactor

Simple server for to make it easy to develop Elm projects

elm-voronoi

Manhattan-style Voronoi diagram for the web!

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

hoogle_plus

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

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

michaelbjames.github.io

personal website

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.

wiki-solver

THE solution to the wikipedia game