jasonreich Goto Github PK

advent2021

angular-gridster

An implementation of gridster-like widgets for Angular JS

cfitface

ci.docker

codemirror

In-browser code editor

d3

A JavaScript visualization library for HTML and SVG.

edge-auth-ingress-nginx

flitersc

Supercompiler for F-liter, based on Bollingbroke & Peyton-Jones (2010)

flitersemantics

Various descriptions of the semantics of f-liter.

gulp-up-and-running

Gulp extension to wait until a webserver is up and running.

jade_npp

Notepad++ syntax highlighting for Jade

jasonreich.github.io

Personal homepage

midnight-fortune-oven

notallpolls

Not all polls are retweeted equally

openapi-specification

The OpenAPI Specification Repository

partialvalues

Dealing with Haskell values that we expect to contain exceptions.

proggen

Lazy generation of small canonical programs

proofkata

Over the last three years, I've played with more theorem provers than I can actually remember. As I redescover small examples, I shall put them up here for posterity.

sass-variable-loader

Sass variable loader for webpack

slack-plugin

A Jenkins CI plugin for posting notifications to a Slack channel

sonar-examples

SonarQube Examples

tsoa

Build swagger-compliant REST APIs using TypeScript and Node

tsoa-example

An example of tsoa usage

ui-codemirror

This directive allows you to add CodeMirror to your textarea elements.

underbaked

Experiments with Geolocation