- San Francisco Bay Area
IITK firewall auth
A pure Python module to manipulate NTFS junctions and hardlinks.
Dictionaries using ECMAScript proxies
Racket bindings for Z3
Windows taskbar icon overlay extension. Code under the Mozilla tri-license (MPL/GPL/LGPL).
A Numbermind web app written in Racket using z3.rkt
176 contributions in the last year
These turn out to be useful when inspecting or poking at the wrapped stream's internal state.
(This is an issue with the current release version of tokio, but I decided to file it here since this looks like the future.) More fun in my advent…