wires/prttty

Stars
1
Language
JavaScript
License
GNU Affero Genera...
Created over 9 years ago
Updated over 9 years ago

wires/prttty

wires

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

This Yak has been standing in the corner for far too long.

gulp-static-site

Gulp plugin to render static site

mu-ffsm

Very tiny helper function to construct fluent JS interfaces

wtf

Well Typed Foundations 🏛️

degraphmalizer

Elasticsearch Degraphmalizer Plugin

graph-isomorphisms

JS library to compute isomorphisms between two graphs

bgp-traceroutes

BGP + Traceroute using RIPE NCC Atlas

npm-keywordsearch

Find packages on npm matching a keyword

github-dl

Mass-clone from github, including private repos

debugging-snowpack-svelte-monaco

attempt to get those tools to work together. JS fatigue anyone?

android-standalone-tape-sample

sample project from the android tape library, fixed the pom

cosmic-tesseract

zenschnorr

Using Zenroom VM to do Schnorr signatures

zenwrap

Experimental NodeJS wrapper for zenroom crypto VM

coqproc

Process coq source files with python

sketch-typed-json

-just some sketch- don't even try to use

gulp-map

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

gulp-filetree

Compute tree of files passed to this gulp plugin, assigns the tree as a property to each file.

example-ava-flow-jsverify

Example setup for property based testing and type checking JS code

scadm2

Soundcloud group administration tool

purescript-rollup-example

Example using psc-package and rollup together to bundle with dead-code-elimination

beddit

Command-line tool to work with Beddit API

denialism-bot

Twitter bot that makes it easy to mark climate collapse denialism

beddit-api

Get data from Beddit API

coqlab

random coq snippets

delta-robot

(August 2010) Firmware, serial protocol and crazy 3D Java GUI for servo based delta robot

statebox-js

nodejs statebox

micro-ui

very minimalistic way to do front-end user interfaces in JS

least

terminal file viewer

nederlandse_werkwoorden

effe voor de lol

idris-fft-to-rust

call rust from idris

guacamole

pandoc-tikz

Test using Tikz with pandoc to output HTML/PNG and PDF files

mario96

bigdump

Store a lot of stuff on the filesystem

document-ready

document ready for JS

roadmap-viewer

turns github milestones into a roadmap

sonic-acts

notes from Sonic Acts conference

coq-cse

Google Custom Search for Coq

blueprints-versionedgraph

Provide a more "functional view" of blueprints graphs

tsplib.js

(partially) parse TSPLIB files

nix-pnpm-template

simple template for using nix + pnpm

repomess

Automatically pull all your repositories from github and bitbucket

pyvid

Very old simple python VJ software

scala-hello-spray

spray example from amsterdam.scala meetup, code by Age Mooij

javascript-template

Gulp, NPM, Browserify, etc..

easypost

postfix + postgresql + python

h4g-eit-django

emacs

Emacs Configuration