inox

Here are 8 public repositories matching this topic...

Google Chromium, sans integration with Google

privacy control chromium inox iridium transparency google-chromium

Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless

scala verification proof-assistant z3 model-checking formal-methods inox smt cvc4 cvc5

External extension updater for Chromium based browsers

extension browser updater chromium inox iridium ungoogled

🐧 dotfiles - Linux config files (beets, cmus, dunst, git, GnuPG, i3, mpv, ranger, rofi, sxhkd, X11, zsh)

atom git linux dotfiles zsh mpv i3 gnupg x11 beets ranger sxhkd rofi inox cmus dunst

Prototype functional programming language with refinement types, powered by Inox

Extension manager for Inox and other Chromium-likes

browser extensions chromium inox crx

Manage multi-account fingerprint browsers with stealth patches, Chrome kernel control, proxy support, and window sync for social media marketing

decor inox iron

To associate your repository with the inox topic, visit your repo's landing page and select "manage topics."