mohitWrangler

mohitWrangler's Stars

• 3b1b/manim

  Animation engine for explanatory math videos

  Language:Python71.3k8971.2k6.3k

• babun/babun

  Babun - a Windows shell you will love!

  Language:Shell8.6k275780550

• kimmobrunfeldt/progressbar.js

  Responsive and slick progress bars

  Language:JavaScript7.8k1652381.4k

• tamarin-prover/tamarin-prover

  Main source code repository of the Tamarin prover for security protocol verification.

  Language:Haskell42225384137

• joaomgcd/AutoToolsWebScreens

  Stuff injected into every AutoTools web Screens that you can use in your own Web Screen presets

  Language:JavaScript10418225

• dalanicolai/gnome-tracker-extension

  Ulauncher extension for (deep) search filesystem via the gnome tracker, recoll, docfetcher, locate or calibre index

  Language:Python63364