Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 36 million developers.Sign up
A pure Python module to manipulate NTFS junctions and hardlinks.
IITK firewall auth
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
83 contributions in the last year
Created a pull request in facebookincubator/rust-partial-io that received 1 comment
Created an issue in AltSysrq/proptest that received 2 comments
Tuple unions created by proptest_derive should branch out more (stack overflow while generating values)