wires Goto Github PK

gulp-map

(A)synchronous mapping and filtering of vinyl streams (gulp plugin)

gulp-react-markdown-site

Livereloading browserified ReactJS static website

gulp-static-site

Gulp plugin to render static site

gulp-static-site-example

Example setup for gulp-static-site

h4g-eit

Abandon ship!

h4g-eit-django

Hackhack

haskell-companies

A gently curated list of companies using Haskell in industry

hello-node-webkit

highland

High-level streams library for Node.js and the browser

homebrew-patches

My homebrew patches

homotopy

Homotopy theory in Coq.

hott

Homotopy type theory

idris-fft-to-rust

call rust from idris

is-permutation

JS function to check if list of number is permutation of 0 ... n

javascript-template

Gulp, NPM, Browserify, etc..

js2xml

json-signatures

Sign and verify JSON data

kcd

kephri-bennu-parser-test

checking out what Kephri can do for you

kinds

https://nostrdata.github.io/kinds/

least

terminal file viewer

lhs2tex-idris-example

Minimal example of running lhs2tex on literate Idris code

lodash

A utility library delivering consistency, customization, performance, & extras.

lpcat

luigi

Luigi is a Python module that helps you build complex pipelines of batch jobs. It handles dependency resolution, workflow management, visualization etc. It also comes with Hadoop support built in.

mario96

some old stuff

markdown-pandoc-mathjax

PDF/HTML from Markdown with Inline LaTeX and support commutative diagrams

math-classes

mathrender

math rendering

metabase

The simplest, fastest way to get business intelligence and analytics to everyone in your company :yum: