inox

There are 6 repositories under inox topic.

ungoogled-software/ungoogled-chromium
Google Chromium, sans integration with Google
Language:Python24k 307 2.5k994
epfl-lara/stainless
Verification framework and tool for higher-order Scala programs
Language:Scala385 18 72157
xsmile/chromexup
External extension updater for Chromium based browsers
Language:Python13 3 121
bardisty/dotfiles
:penguin: dotfiles - Linux config files (beets, cmus, dunst, git, GnuPG, i3, mpv, ranger, rofi, sxhkd, X11, zsh)
Language:Shell11 1 02
romac/oxid-light
Prototype functional programming language with refinement types, powered by Inox
Language:Scala8 3 01
Pu-Anlai/maninex
Extension manager for Inox and other Chromium-likes
Language:Python6 1 41