joelburget Goto Github PK

hledger

Robust command-line/curses/web plaintext accounting tools, a Haskell rewrite of Ledger.

hnn

Haskell Neural Network library

homebrew

The missing package manager for OS X.

honeybadgerbft

The Honey Badger of BFT Protocols

hs-git

git protocol and storage in pure haskell

hspec

A Testing Framework for Haskell

hssdl2

hubble

javascript lenses

hubot-khan

huttons-raz3r

hz

Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React

idris-dev

A Dependently Typed Functional Programming Language

idris-struggles

incr_dom

A library for building dynamic webapps, using Js_of_ocaml.

irmin

Irmin is a distributed database that follows the same design principles as Git

isl-hs

haskell bindings to the integer set library

istanbul-demo

Istanbul demo scripts

jison

Bison in JavaScript.

jison-loader

jison loader module for webpack

joelburget.com

joelburget.com

jonprl

An proof refinement logic for computational type theory based on realizability & meaning explanations. Inspired by Nuprl

journal

My public technical journal

js-pattern-matching

jscodeshift

A JavaScript codemod toolkit.

jsoo-example

jstransform

A simple utility for pluggable JS syntax transforms using the esprima parser.

katex

Fast math.

khan-exercises

A framework for building exercises to work with Khan Academy.

kramdown

kramdown is a fast, pure Ruby Markdown superset converter, using a strict syntax definition and supporting several common extensions.

language-python