Sean Lee

Docker-OSX. Run macOS VM in a Docker! Run near native OSX-KVM in Docker! X11 Forwarding! CI/CD for OS X Security Research! Docker mac Containers.

fenrir. Let's control MediaTek's bootchain

Asus-ROG-Aml-Deep-Dive. A deep dive into the ACPI.sys DPC latency problems on Asus ROG laptops

obsidian-kanban-plus. obsidian-kanban-mmm

LSPosed_mod. My changes to LSPosed

seminars. Listing of online math seminars

k380-fn-lock-for-windows. Lock Fn keys on K380 (for windows)

Quillen-Homotopical-Algebra. TeX

Matsumura-Commutative-Algebra. This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers

typst. A markup-based typesetting system that is powerful and easy to learn.

docker-mailman. Dockerfiles for the Mailman suite.

obsidian-livesync. TypeScript

unified-latex. Utilities for parsing and manipulating LaTeX ASTs with the Unified.js framework

carefree-creator. AI magics meet Infinite draw board.

latexpp. Latex preprocessor — apply macro definitions, remove comments, and more

arxiv-latex-cleaner. arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv

homotopy-rs. A Rust/WASM implementation of homotopy.io

AMS-Lens. The AMS customization of Lens

texml. A repository for texml development

mathlib3. Lean 3's obsolete mathematical components library: please use mathlib4

Ladda. Buttons with built-in loading indicators.

wireit. Wireit upgrades your npm/pnpm/yarn scripts to make them smarter and more efficient.

nest. A progressive Node.js framework for building efficient, scalable, and enterprise-grade server-side applications with TypeScript/JavaScript 🚀

fathom. DEPRECATED - A framework for extracting meaning from web pages

penumbra. Penumbra Color Theme

chameleon. WebExtension port of Random Agent Spoofer

content-scope-scripts. A collection of shared JavaScript and HTML projects that are used within our Browsers.

MathJax-node. MathJax for Node

reveal.js. The HTML Presentation Framework

postcss-rename. Replace class names based on a customizable renaming scheme.

TotalRegistry. Total Registry - enhanced Registry editor/viewer

bpp. 🚀 Browser Platform Publisher

web-fingerprinting. web fingerprinting research

creepjs. Creepy device and browser fingerprinting

webextensions. Charter and administrivia for the WebExtensions Community Group (WECG)

videospeed. HTML5 video speed controller (for Google Chrome)

tscc-with-closure-input. JavaScript

notable. The Markdown-based note-taking app that doesn't suck.

TFOCS. A MATLAB toolbox for building first-order solvers for convex models.

twinkle-tray. Easily manage the brightness of your monitors in Windows from the system tray

Notepads. A modern, lightweight text editor with a minimalist design.

marktext. 📝A simple and elegant markdown editor, available for Linux, macOS and Windows.

Files. A modern file manager that helps users organize their files and folders.

material-resume. :black_nib: A fancy resume template

StormLib. Official GitHub repository of the StormLib library created by Ladislav Zezula (author)

Windows-Auto-Night-Mode. Automatically switches between the dark and light theme of Windows 10 and Windows 11

CenterTaskbar. Center Windows Taskbar Icons

texlab. An implementation of the Language Server Protocol for LaTeX

TranslucentTB. A lightweight utility that makes the Windows taskbar translucent/transparent.

LaTeX-Workshop. Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.

SwiftLaTeX. SwiftLaTeX, a WYSIWYG Browser-based LaTeX Editor

code-surfer. Rad code slides <🏄/>

awesome-applied-ct. ACT community resources

code-server. VS Code in the browser

agda-categories. A new Categories library for Agda

egjs-flicking. 🎠 ♻️ Everyday 30 million people experience. It's reliable, flexible and extendable carousel.

scenejs. 🎬 Scene.js is JavaScript & CSS timeline-based animation library

accounts. Fullstack authentication and accounts-management for Javascript.

vanta. Animated 3D backgrounds for your website

frosted-panel. A cross-browser solution for a responsive, blurred/frosted glass effect using vanilla JS and CSS. Intended for use with full scale background-images.

Arend. The Arend Proof Assistant

Coq-HoTT. A Coq library for Homotopy Type Theory

Foundations. Voevodsky's original development of the univalent foundations of mathematics in Coq

comlink. Comlink makes WebWorkers enjoyable.

choo. :steam_locomotive::train: - sturdy 4kb frontend framework

rules_closure. Closure rules for Bazel

WorldWeatherSymbols. A complete set of WMO weather symbols in SVG with full metadata.

wedding-website. Our Wedding Website 👫

metal-tools-soy. Tool that can be used to compile metal soy files.

move-ts. A Visual Studio Code plugin for updating relative imports when moving typescript files and folders in your workspace.

tsickle. Tsickle — TypeScript to Closure Translator

javascript-obfuscator. A powerful obfuscator for JavaScript and Node.js

OpenWPM. A web privacy measurement framework

cross_browser. This is a project for a browser fingerprinting technique that can track users not only within a single browser but also across different browsers on the same machine.

amiunique. Learn how identifiable you are on the Internet