LittleHelicase

terminal-graphs

Layouts and prints graphs (DAGs) to the terminal.

graphlib2dot

Simple command line tool that converts graphlib graphs to dot files via graphlib-dot

browser-tabs

Lists open Browser Tabs

set-ops

Standard set operations missing in ES6

basic_simulations

Some simulation examples using basic physical models

BuggyWayOfProgramming

Talk series for the Buggy Framework

cli-ext

CLI extensions for a richer user experience.

dataflow-tiles

Create data-flow diagrams from image tiles.

dotfiles

FixpointMiddleware

function-cache

Caches function calls results

gitrocket

A rocket ship that launches in your Hyper terminal when you push code with Git.

graphlib-dot

A DOT language parser / writer for graphlib

graphlib2kgraph

Convert a graphlib graph into the KLay kgraph format.

HoTT

Homotopy type theory

HoTT-coqex

Coq solutions to exercises in HoTT book

hpp-js

A simple hpp simulation written in js.

hyper-statusline

Status Line Plugin for Hyper

hyperterm-overlay

A complete and customizable solution for a overlay window in your Hyper.app

jsk

Combinator Calculus for fun and profit

juicy-ace-editor

Custom Element with Ace(http://ace.c9.io/) code editor

jumper

lambda-clj

A (prototypical) lambda calculus implementation in clojure.

LBM-Introduction

A short theoretical introduction into the Lattice-Boltzmann method

node-calculate-size

Node API and CLI for calculating text sizes using phantomJS.

np

A better `npm publish`

pivi

A simple visualisation tool that is based on streaming

plugins

Plugins for Flutter, including FlutterFire, maintained by the Flutter team

reporter-file

Similar to the xunit-file reporter. Allows you to specify any report style to run, but will also write to the specifie file

vscode-kotlin

Kotlin language support for VS Code