Discover nwtgck/assertion-haskell Open Source project

:octocat: GitHub Repository Card for Any Web Site

2,759

gh-card

Execute any script in a GitHub issue comment

1,310

actions-comment-run

🚀 Netlify deploy from GitHub Actions

439

actions-netlify

Infinitely transfer between every device over pure HTTP with pipes or browsers

323

piping-server-rust

🎬 Attach progress bar to animated GIF

247

gif-progress

195

piping-ui-web

Easy and secure file transfer between every device over HTTPS with/without E2E encryption by ECDH and OpenPGP

Fake English word generator for JavaScript/TypeScript

134

fakelish-npm

SSH over HTTPS via Piping Server on Web browser

piping-ssh-web

Ray Tracing in One Weekend written in Rust

ray-tracing-iow-rust

VNC client over pure HTTPS via Piping Server on Web browser

piping-vnc-web

🎒 Programmable portable App hosted on URL: https://nipp.nwtgck.org

nipp

🖥️ Screen Share via Piping Server with End-to-End Encryption

piping-screen-share-web

Generate a key-pair of ssh-keygen on Web browser

ssh-keygen-web

Zero-cost type for stack without complicated type or Box

stacklover-rust

fetch()'s streaming upload feature over Piping Server

piping-server-streaming-upload-htmls

Fake English word generator for Go and CLI

go-fakelish

http-knocking

🚪HTTP-Knocking hides a Web server and open it by knocking sequence: Hide Web server until your knocks

🎨 End-to-End Encryption Share Drawing via Piping Server

piping-draw-web

JSON Validator for TypeScript - Safer JSON.parse() validating by TypeScript types

ts-json-validator

Starter for TypeScript on Web Browser

typescript-on-browser-starter

💬 Chat via Piping Server with End-to-End Encryption

piping-chat-web

🔒🔑 Generate a key-pair of ssh-keygen for Web browser

web-ssh-keygen

Piping Server written in Go language (original: https://github.com/nwtgck/piping-server)

go-piping-server

piping-server-pkg

Piping Server as portable executable

go-piping-tunnel

Tunneling from anywhere via Piping Server

docker-nginx-http3

Docker image for Nginx + HTTP/3 powered by Quiche

TCP and UDP multiplexer using yamux

yamux-cli

rich-piping-server

Rich Piping Server

WebRTC P2P tunneling/duplex with Piping Server WebRTC signaling

go-webrtc-piping

piping-phone-web

📞 Real-time Voice Messaging over HTTP/HTTPS for Web Browser via Piping Server

Instant remote desktop for Windows from anywhere powered by UltraVNC Server and Piping Server

piping-vnc-server-for-windows

A Server for Transmitting File by curl or wget: Transfer data over HTTP/HTTPS

trans-server-akka

Ray Tracing in One Weekend written in Scala

ray-tracing-iow-scala

SVR for multidimensional labels

multi-svr-python

Python

platy-lang-haskell

Platy Language Compiler by Haskell & LLVM: Declarative, Statically typed and Simple to implement language

handy-sshd

Portable SSH Server

piping-webcodecs-screen-share-prototype-web

📦 Chunked Stream File Transfer for Web Browser with End-to-End Encrypted

piping-chunk-web

Ghost + Nginx + HTTP/3 powered by Quiche in Docker Compose, Example of https://github.com/nwtgck/docker-nginx-http3

ghost-nginx-http3-docker-compose

math2image-npm

CLI for generating beautiful SVG/PNG mathematical image ∑ ∫ π² ∞

Docker image for mkp224o - generate vanity onion v3 address

docker-mkp224o

Android Debug Bridge (ADB) over Piping Serer on Web browser

piping-adb-web

Docker image for Node.js with QUIC

docker-node-quic

Convert LaTeX Math to image

math2img

Crystal

docker-rust-musl-builder

original: https://github.com/emk/rust-musl-builder

Type-safe #copy() for TypeScript inspired by Scala case-class

ts-copyable-npm

Calculate accuracy, precision, recall and f-measure from confusion matrix

cmat2scores-python

Python

tableau-solver-haskell

Tableau method solver in Haskell

Neural Network by Graphviz

neural-network-dot

sw-force-download-web

Force download cross-origin file with Service Worker

SSH server from anywhere with Piping Server

go-piping-sshd

cosense-bookmark-bookmarklet

TCP-over-HTTP server: Clients can use it with curl and perhaps browser

tcphttp-server

🛡128-bit AES-GCM Encryption Stream for Web Browsers

aes128gcm-stream-npm

Smoothly writing test titles in Rust

specit-rust

Super easy to host Piping Server as Onion Service

piping-server-onion-service-replit

Shell

comment-run-scripts

Scripts for comment-run action

Piping Server written in Rust with tiny-http

tiny-http-piping-server-rust

Docker image of nghttpx with HTTP/3

docker-nghttp2

Piping Server in Zig (experimental)

piping-server-zig

Zig

qrcode-typescript-react

Real-time QR code generator written in TypeScript + React

Piping UI as Onion Service

piping-ui-web-onion-service-docker-compose

Multi-platform Piping Server in Rust Docker images

docker-piping-server-rust-multi-platform

Private IP Getter for Web Browser

private-ip-getter-npm

JWK Thumbprint for JavaScript/TypeScript on both Web Browser and Node.js

jwk-thumbprint-npm

Duplex communication over Piping Server

go-piping-duplex

piping-server-onion-service-docker-compose

Piping Server as Onion Service

Shell

nwtgck-hypermd

HyperMD Quick Start

💾 Incremental Backup CLI using well-matured technology: tar

ibk

binconv-npm

Converters for Blob, Uint8Array, ReadableStream, ArrayBuffer, string in JavaScript/TypeScript

CLI for streaming message digest calculator - Insert into pipe, get the digest in tty

digestream

trans-server-tor-docker-compose

Trans server as Tor Hidden Service

A server providing Data URL resource

mac-sandbox

[WIP] Sandbox for macOS

Ruby

data-url-server

Docker image for Piping Server on Node.js on GraalVM

docker-graalvm-node-piping-server

GitHub Actions for pull-request merge preview

actions-merge-preview

Piping Server with JWT authentication such as Auth0

jwt-piping-server

cloudflare-pages-with-github-actions-prac

GitHub Language Colors for JavaScript/TypeScript

gh-language-colors-npm

Type-safe TODO list app in React + Redux + TypeScript

egghead-todo-typescript-react

General Template Engine for Repository: "Keep your best practice as template"

tmpl

whoogle-search-replit

Whoogle Search which is easy to update on Replit

mac-screen-stream

[WIP] Screen Record Streaming for macOS

8cc-elc-hs

C Compiler written in Haskell powered by 8cc and ELVM

CLI which makes your input verbose, flooding buffer

verbose

piping-server-check

Check quality of Piping Server

piping-phone-android

WIP: 📞 Real-time Voice Messaging over HTTP/HTTPS for Android via Piping Server

Kotlin

go-socks

SOCKS4, SOCKS4a and SOCKS5 proxy server in Go

knapsack-elvm-haskell

Knapsack problem solver converted from C language by ELVM.

svg-badge-scala

SVG Badge maker in Scala

Imitation of Event Loop in Scala

event-loop-imitation-scala

A Chrome Extension which allows you to get initial commit on GitHub

github-back-chrome-extension

Docker image of web server printing hostname of Docker container

docker-host-web

Promise-based HTTP server for JavaScript/TypeScript: using accept(), easy to use in async-await context

whoogle-search-onion-service-replit

Shell

promise-http-server-npm

Piping Server with Nginx using Docker Compose, which might be helpful to write nginx.conf for Piping Server.

piping-server-nginx-docker-compose

http2-http1-server-node

HTTP/2-interface HTTP1 server for compatibility for Node.js/TypeScript

Piping Server Command Cheatsheet

nwtgck

100

piping-server-command-web