Mohit Kumar Jangid's starred repositories
progressbar.js
Responsive and slick progress bars
tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
AutoToolsWebScreens
Stuff injected into every AutoTools web Screens that you can use in your own Web Screen presets
gnome-tracker-extension
Ulauncher extension for (deep) search filesystem via the gnome tracker, recoll, docfetcher, locate or calibre index