Joel Burget's repositories
react-haskell
React bindings for Haskell
react-live-editor
live editing react components
material-ui-hs
Material UI in Haskell!
daily-typecheckers
I'm writing a typechecker every day
react-partial
Partially apply react components
babel-handbook
:blue_book: A guided handbook on how to use Babel and how to create plugins for Babel.
dns.js.org
Free and short JS.ORG domains for GitHub Pages
JonPRL
An proof refinement logic for computational type theory based on realizability & meaning explanations. Inspired by Nuprl
jscodeshift
A JavaScript codemod toolkit.
kramdown
kramdown is a fast, pure Ruby Markdown superset converter, using a strict syntax definition and supporting several common extensions.
lock-passwordless
Auth0 Lock Passwordless
martin-lof
papers of Per Martin Löf
memfinity
social spaced repetition system
next-apollo-example
Next & Apollo Example
peg-markdown-highlight
C library for Markdown syntax highlighting, using a recursive-descent parser.
react-spark-scroll
Scroll-based actions and animations for react
react-tooltip
react tooltip component
reactive-banana
Library for functional reactive programming in Haskell.
redux-state-router
Routes and state are inseparable
runway-compiler
Parses and executes Runway models of distributed systems
slate
A completely customizable framework for building rich text editors.
svg-test-animation
The grass is always greener!