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/d4
Data-Driven Declarative Documents
joelburget/react-haskell
React bindings for Haskell
joelburget/react-live-editor
live editing react components
joelburget/material-ui-hs
Material UI in Haskell!
joelburget/daily-typecheckers
I'm writing a typechecker every day
joelburget/jison-loader
jison loader module for webpack
joelburget/journal
My public technical journal
joelburget/hazel
joelburget/react-partial
Partially apply react components
joelburget/styled-jsx
Full CSS support for JSX without compromises
joelburget/website
The old joelburget.com
joelburget/aeson
A fast Haskell JSON library
joelburget/babel-handbook
:blue_book: A guided handbook on how to use Babel and how to create plugins for Babel.
joelburget/control-problem
joelburget/dns.js.org
Free and short JS.ORG domains for GitHub Pages
joelburget/JonPRL
An proof refinement logic for computational type theory based on realizability & meaning explanations. Inspired by Nuprl
joelburget/js-pattern-matching
joelburget/jscodeshift
A JavaScript codemod toolkit.
joelburget/livegrep
Interactively grep source code. Source for http://livegrep.com/
joelburget/lock-passwordless
Auth0 Lock Passwordless
joelburget/martin-lof
papers of Per Martin Löf
joelburget/memfinity
social spaced repetition system
joelburget/next-apollo-example
Next & Apollo Example
joelburget/quorum-examples
Examples for Quorum
joelburget/react-spark-scroll
Scroll-based actions and animations for react
joelburget/react-tooltip
react tooltip component
joelburget/reactive-banana
Library for functional reactive programming in Haskell.
joelburget/redux-state-router
Routes and state are inseparable
joelburget/runway-compiler
Parses and executes Runway models of distributed systems
joelburget/slate
A completely customizable framework for building rich text editors.