inox · GitHub Topics

Google Chromium, sans integration with Google

Python 22.76 k

2 天前

Verification framework and tool for higher-order Scala programs

Scala 375

1 个月前

External extension updater for Chromium based browsers

Python 13

2 年前

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

Shell 11

7 年前

Prototype functional programming language with refinement types, powered by Inox

Scala 8

7 年前

Extension manager for Inox and other Chromium-likes

Python 6

7 年前

JavaScript 0

1 个月前