Python API for the oRatio solver

oRatio is an Integrated Logic and Constraint based solver

🐶 A curated list of Web Security materials and resources.

The Ultimate hosts file for protecting your computer or device against over a million bad web sites. Protect your children and family from gaining access to bad web sites and protect your devices a…

The Reliable USB Formatting Utility

The Reliable USB Formatting Utility

Freenet REference Daemon

Test prompts for OpenAI's GPT-3 API and the resulting AI-generated texts.

Focus on what matters instead of fighting with Git.

😱 A curated list of amazingly awesome OSINT

😱 A curated list of amazingly awesome OSINT

OSINT Framework

The greatest user script engine on the Internet (a fork of Greasemonkey).

The greatest user script engine on the Internet (a fork of Greasemonkey).

artificial intelligence on python!

Mist. Browse and use Ðapps on the Ethereum network.

Peer-to-peer hypermedia protocol

A matrix library

music library manager and MusicBrainz tagger

Companion code for the paper: "Stabilization of a brain-computer interface via the alignment of low-dimensional spaces of neural activity"

MetaMask FAQ and Guides

[DEPRECATED] Mist. Browse and use Ðapps on the Ethereum network.

Know the dangers of credential reuse attacks.

Hacker's Keyboard (official)

The pre-generated C sources of the Nim compiler which aid in bootstrapping. This repository is archived because it's frozen, HEAD of csources can build Nim version 1 and any later version.

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…

Censorship resistant democracies.

An embedded key/value database for Go.

Simple and powerful toolkit for BoltDB