thomaspanf

Thomas Pan 's starred repositories

axum

Ergonomic and modular web framework built with Tokio, Tower, and Hyper

Language:Rust1746000

kcli

Management tool for libvirt/aws/gcp/kubevirt/openstack/ovirt/vsphere/packet

Language:PythonApache-2.047100

Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution you’re more comfortable with. Mirror available at: https://gitlab.com/89luca89/distrobox

Language:ShellGPL-3.0946300

gnome-x11-gesture-daemon

Language:RustMIT6600

fusuma

Multitouch gestures with libinput driver on Linux

Language:RubyMIT359700

unlimited-tethering

Bypass tethering caps or throttling on cell phone unlimited data plans. Potentially cancel your internet and route your whole home though your unlimited data plan.

Unlicense27100

framework-laptop-13-amd-7640u

Framework Laptop 13 AMD Ryzen 7040 Series device notes under Linux

CC0-1.03100

Gource

software version control visualization

Language:C++GPL-3.01131500

consensus-specs

Ethereum Proof-of-Stake Consensus Specifications

Language:PythonCC0-1.0349400

input-leap

Open-source KVM software

Language:C++NOASSERTION346600

eth2-knowledge-base

AGPL-3.03200

verifereum

Prove functional correctness of Ethereum smart contracts in higher-order logic

Language:Standard MLGPL-3.0700

alfbote

Discord bot with generational capabilities

Language:PythonMIT100

rocketpool

Decentralised Ethereum Liquid Staking Protocol.

Language:JavaScriptGPL-3.087800

audits-portfolio

Shieldify's public audits portfolio

16700

dshackle

Fault Tolerant Load Balancer for Ethereum and Bitcoin APIs

Language:KotlinApache-2.029800

dizk

Java library for distributed zero knowledge proof systems

Language:JavaNOASSERTION22900

Picus

Automated verification of uniqueness property for ZKP circuits

Language:CircomMIT6100

wiener

Week In Ethereum News Reader CLI

Language:JavaScript500

evmc

a simple cli tool to load a contract code up in your IDE instantly.

Language:TypeScriptMIT12700

solidity-book

The Senior Solidity Engineer's Book is a resource meant to transform you into a Senior Solidity Engineer.

Language:Makefile84500

protocol

Specification of the Farcaster Protocol

191200

stablesims

StableSims is an open-source project aimed at simulating MakerDAO's Dai stablecoin system, initially used for researching optimal incentive parameters for Liquidations 2.0.

Language:Python5300

gas-puzzles

A sequence of smart contracts to practice gas optimization. These are used as practice assignments for RareSkills.io and the Udemy Gas Optimization Course

Language:JavaScriptAGPL-3.045900