joelburget
Thinking about programming languages, formal reasoning, and machine learning.
@google Portland, OR
Pinned Repositories
d4
Data-Driven Declarative Documents
evm-rust
Minimal EVM implementation in Rust
haskell-ipld
An implementation of (some of) IPLD
haskell-loader
A webpack loader for Haskell (!)
hubble
javascript lenses
lvca
language verification, construction, and analysis
pigment
Programming Language meets UI
react-haskell
React bindings for Haskell
react-live-editor
live editing react components
slimlock
SLiM + slock = slimlock
joelburget's Repositories
joelburget/haskell-loader
A webpack loader for Haskell (!)
joelburget/hubble
javascript lenses
joelburget/haste-compiler
A Haskell to Javascript compiler.
joelburget/sdl2-image
Haskell bindings to sdl_image for SDL 2
joelburget/haste-commonjs
Write CommonJS (Browserify, Webpack) modules in Haste
joelburget/sdl2-gfx
Haskell bindings to SDL2_gfx
joelburget/sdl2-ttf
Haskell bindings for SDL(2)-ttf
joelburget/glowing-ironman
joelburget/graphreduction
joelburget/perseus-one-server
An experimental server implementing the Perseus One API
joelburget/tapl
Types and Programming Languages, in Haskell
joelburget/turbo-unify
a unification visualization in the browser
joelburget/cfp-2015
This is the repository you need to fork to submit your talk to the ReactEurope conference this July http://react-europe.org
joelburget/diagrams-contrib
User-contributed extensions to diagrams
joelburget/diagrams-ghcjs
diagrams backend that renders directly to an HTML5 canvas
joelburget/draggin
cooperative idris
joelburget/flow
Adds static typing to JavaScript to improve developer productivity and code quality.
joelburget/ghcjs-setup
Tools for getting started with ghcjs
joelburget/homebrew
The missing package manager for OS X.
joelburget/hsSDL2
joelburget/Idris-dev
A Dependently Typed Functional Programming Language
joelburget/idris-struggles
joelburget/jison
Bison in JavaScript.
joelburget/jstransform
A simple utility for pluggable JS syntax transforms using the esprima parser.
joelburget/KaTeX
Fast math.
joelburget/macdown
Open source Markdown editor for OS X.
joelburget/MemoTrie
Trie-based memo functions
joelburget/shade
Interactive, client-side web apps in Haskell
joelburget/slackin
Public Slack organizations made easy
joelburget/vim2hs
vim2hs :: Vim -> Haskell