Wizmann's repositories
Melkweg-go
Golang port of Project Melkweg
UW-CSE341-au20
CSE341-au20 self learning
forbeginners
another blog for beginners
BuildXL
Microsoft Build Accelerator
export-issues-action
Exports all issues as markdown documents.
go-dns-proxy
A simple DNS proxy in go
jumpfm
A file manager that lets you jump.
mplbook_solutions
Almost all solutions to the exercises from "C++ Template Metaprogramming" book.
OI-Public-Library
OI / ACM essays and learning materials
OnlineJudge
https://vijos.org/d/wizmann/p
proxychains
proxychains - a tool that forces any TCP connection made by any given application to follow through proxy like TOR or any other SOCKS4, SOCKS5 or HTTP(S) proxy. Supported auth-types: "user/pass" for SOCKS4/5, "basic" for HTTP.
proxychains-ng
proxychains ng (new generation) - a preloader which hooks calls to sockets in dynamically linked programs and redirects it through one or more socks/http proxies. continuation of the unmaintained proxychains project. the sf.net page is currently not updated, use releases from github release page instead.
raft-spin
A formally verified Raft specification in Spin, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University
yugabyte-db
The high-performance distributed SQL database for global, internet-scale apps.