inox

Google Chromium, sans integration with Google

Verification framework and tool for higher-order Scala programs

External extension updater for Chromium based browsers

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

Prototype functional programming language with refinement types, powered by Inox

Extension manager for Inox and other Chromium-likes