inox

There are 1 repository under inox topic.

• ungoogled-software / ungoogled-chromium

  Google Chromium, sans integration with Google

  chromiumcontrolgoogle-chromiuminoxiridiumprivacytransparency
  Language:Python 19597

• epfl-lara / stainless

  Verification framework and tool for higher-order Scala programs

  verificationscalaformal-methodssmtinoxz3cvc4cvc5model-checkingproof-assistant
  Language:HTML 348

• xsmile / chromexup

  External extension updater for Chromium based browsers

  browserchromiumextensionupdaterinoxiridiumungoogled
  Language:Python 13

• bardisty / dotfiles

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

  dotfilesi3sxhkdbeetsrofirangergnupgmpvx11linuxinoxgitcmusdunstatomzsh
  Language:Shell 11

• romac / oxid-light

  Prototype functional programming language with refinement types, powered by Inox

  refinement-typesinoxsoftware-verification
  Language:Scala 7

• InspectorMustache / maninex

  Extension manager for Inox and other Chromium-likes

  browserchromiumcrxextensionsinox
  Language:Python 5