inox

Star

Here are 6 public repositories matching this topic...

Eloston / ungoogled-chromium

Star

Google Chromium, sans integration with Google

privacy control chromium inox iridium transparency google-chromium

Updated Nov 30, 2020
Python

epfl-lara / stainless

Star

Verification framework and tool for higher-order Scala programs

scala verification z3 formal-methods inox smt leon cvc4

Updated Dec 2, 2020
HTML

xsmile / chromexup

Star

External extension updater for Chromium based browsers

extension browser updater chromium inox iridium ungoogled

Updated Oct 20, 2018
Python

romac / oxid-light

Star

Prototype functional programming language with refinement types, powered by Inox

inox refinement-types software-verification

Updated Jun 13, 2018
Scala

bardisty / dotfiles

Star

🐧 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

Updated Nov 22, 2018
Shell

InspectorMustache / maninex

Star

Extension manager for Inox and other Chromium-likes

browser extensions chromium inox crx

Updated Mar 18, 2018
Python

Improve this page

Add a description, image, and links to the inox topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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

Learn more

Nov	DEC	Jan
	02
2019	2020	2021

inox

Here are 6 public repositories matching this topic...

Eloston / ungoogled-chromium

epfl-lara / stainless

xsmile / chromexup

romac / oxid-light

bardisty / dotfiles

InspectorMustache / maninex

Improve this page

Add this topic to your repo

Essential cookies

Always active

Analytics cookies