wires/wtf

Stars
15
Rank 1,371,379 (Top 28 %)
Language ReScript
Created almost 4 years ago
Updated almost 4 years ago

wires/wtf

wires

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

Well Typed Foundations 🏛️

gulp-static-site

Gulp plugin to render static site

mu-ffsm

Very tiny helper function to construct fluent JS interfaces

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

prttty

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

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