michaelbjames

Human-AI Collaborative Programming | Sailplane.ai | UCSD PhD

UCSDSan Diego

Pinned Repositories

150-probabilistic-programming
Language:Haskell2 2 00
copilot-study
Language:Python3 1 14
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.
Language:Haskell1 1 00
elm-benchmark
Elm code benchmarking suite
Language:Elm6 4 42
elm-examples
Some pleasant examples that show off the reactor and get you started
Language:Elm17 6 523
elm-voronoi
Manhattan-style Voronoi diagram for the web!
Language:Elm10 2 13
hoogle_plus
Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
Language:Haskell2 0 00
michaelbjames.github.io
personal website
Language:JavaScript1 1 00
wiki-solver
THE solution to the wikipedia game
Language:CSS1 1 00
hoogle_plus
Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
Language:Haskell60 6 788

michaelbjames's Repositories

michaelbjames/elm-examples
Some pleasant examples that show off the reactor and get you started
Language:Elm17 6 523
michaelbjames/elm-voronoi
Manhattan-style Voronoi diagram for the web!
Language:Elm10 2 13
michaelbjames/elm-benchmark
Elm code benchmarking suite
Language:Elm6 4 42
michaelbjames/copilot-study
Language:Python3 1 14
michaelbjames/150-probabilistic-programming
Language:Haskell2 2 00
michaelbjames/hoogle_plus
Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
Language:Haskell2 0 00
michaelbjames/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.
Language:Haskell1 1 00
michaelbjames/michaelbjames.github.io
personal website
Language:JavaScript1 1 00
michaelbjames/wiki-solver
THE solution to the wikipedia game
Language:CSS1 1 00
michaelbjames/chezbob
Language:JavaScript0 0
michaelbjames/connections-solver
A solver for the NYT Connections game
Language:Jupyter Notebook1 0
michaelbjames/elm-debugger
Control time and change history. Laszlo's debugger lets you pause, rewind, and replay programs, swapping in new code to debug.
Language:JavaScript1 0
michaelbjames/elm-reactor
Simple server for to make it easy to develop Elm projects
Language:Haskell1 0
michaelbjames/elm-whack-a-mole
whack a mole elm demo
Language:Elm1 0
michaelbjames/eulers-laugh
Woo Math & CS!
Language:Haskell1 0
michaelbjames/gatsby-theme-andy
A Gatsby theme to build Andy style websites. 📑
Language:JavaScript0 0
michaelbjames/gatsby-theme-brain
Language:JavaScript0 0
michaelbjames/hoogle
Haskell API search engine
Language:Haskell0 0
michaelbjames/hoogleplus-examples-paper
Language:TeX0 0
michaelbjames/i3lock
improved screen locker
Language:C1 0
michaelbjames/improb
Improvisational MIDI generation DSL with probabilistic computations
Language:Haskell1 0
michaelbjames/kwm
Tiling window manager with focus follows mouse for OSX
Language:C++1 0
michaelbjames/maestral-dropbox
Open-source Dropbox client for macOS and Linux
Language:Python0 0
michaelbjames/michaelbjamesphd.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:JavaScript0 0
michaelbjames/one-time-urls
Serve files with one-time URLs
Language:Haskell1 0
michaelbjames/partial-refinements
Language:Haskell0 8
michaelbjames/stack
The Haskell Tool Stack
Language:Haskell1 0
michaelbjames/toc.ucsd.edu
the outdoors club web
Language:Ruby2 0
michaelbjames/trader
Low frequency trader framework.
Language:Go1 0