r0qs's starred repositories
youtube-dl
Command-line program to download videos from YouTube.com and other video sites
quine-relay
An uroboros program with 100+ programming languages
opensnitch
OpenSnitch is a GNU/Linux interactive application firewall inspired by Little Snitch.
verilog2factorio
This project will compile verilog (a hardware description language) into factorio blueprints.
bulletproofs
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
openzeppelin-test-helpers
Assertion library for Ethereum smart contract testing
vscode-tlaplus
TLA+ language support for Visual Studio Code
dmitlichess
Adds the soothing voice of Dmitri Komarov and other great chess masters to lichess.org (Google Chrome extension / Firefox Add-on)
solidity-data-representation
Paper: Data Representation in Solidity
polynomial-solver
Solves systems of polynomial equations.