There are no reviews yet. Be the first to send feedback to the community and the maintainers!
firewall-auth
IITK firewall authz3.rkt
Racket bindings for Z3jsdict
Dictionaries using ECMAScript proxiestargo
Wraps cargo to move target directories to a central location [super experimental]overlay-extension
Windows taskbar icon overlay extension. Code under the Mozilla tri-license (MPL/GPL/LGPL).numbermind
A Numbermind web app written in Racket using z3.rkticonrefresher
Python script to refresh icons on Windowsprocess2
Unix processes done right.tb-about-support
Thunderbird about:supportcargo-search2
cargo search, built for caching binary artifacts, optimized for GitHub Actionsplaying-with-processing
non-master-branch
A test repo without a master branch.dph-experiments
Experiments with data-parallel Haskellshelltester
self-update-example
Working example for Rust self-update systemsublime-text-settings
logic-min
Experiments with logic minimizationmasters-thesis
My masters' thesis at IIT Kanpur.emacs
.emacsLove Open Source and this site? Check out how you can help us