r0qs

r0qs

Geek Repo

Company:@ethereum

Github PK Tool:Github PK Tool


Organizations
ethereum

r0qs's starred repositories

youtube-dl

Command-line program to download videos from YouTube.com and other video sites

Language:PythonLicense:UnlicenseStargazers:128444Issues:2196Issues:26491

quine-relay

An uroboros program with 100+ programming languages

opensnitch

OpenSnitch is a GNU/Linux interactive application firewall inspired by Little Snitch.

Language:PythonLicense:GPL-3.0Stargazers:9655Issues:199Issues:662

pywal

🎨 Generate and change color-schemes on the fly.

Language:PythonLicense:MITStargazers:8066Issues:67Issues:546

awesome

awesome window manager

Language:LuaLicense:GPL-2.0Stargazers:6110Issues:163Issues:1852

go-libp2p

libp2p implementation in Go

evil

The extensible vi layer for Emacs.

Language:Emacs LispLicense:GPL-3.0Stargazers:3235Issues:42Issues:1342

exwm

Emacs X Window Manager

ctf

Ctf solutions from p4 team

devp2p

Ethereum peer-to-peer networking specifications

verilog2factorio

This project will compile verilog (a hardware description language) into factorio blueprints.

Language:TypeScriptLicense:GPL-3.0Stargazers:702Issues:8Issues:6

bulletproofs

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

Language:HaskellLicense:BSD-3-ClauseStargazers:531Issues:31Issues:3

maci

Minimal Anti-Collusion Infrastructure (MACI)

Language:TypeScriptLicense:NOASSERTIONStargazers:483Issues:19Issues:446

ement.el

A Matrix client for GNU Emacs

Language:Emacs LispLicense:GPL-3.0Stargazers:460Issues:15Issues:209

openzeppelin-test-helpers

Assertion library for Ethereum smart contract testing

Language:JavaScriptLicense:MITStargazers:411Issues:21Issues:102

penumbra

Penumbra is a fully private proof-of-stake network and decentralized exchange for the Cosmos ecosystem.

Language:RustLicense:Apache-2.0Stargazers:337Issues:21Issues:1726

vscode-tlaplus

TLA+ language support for Visual Studio Code

Language:TypeScriptLicense:MITStargazers:330Issues:12Issues:182

sdk

SDK for private data access, built on homomorphic encryption.

Language:RustLicense:MITStargazers:321Issues:9Issues:10

powdr

A modular stack for zkVMs, with a focus on productivity, security and performance.

Language:RustLicense:MITStargazers:314Issues:17Issues:255

circ

(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

Language:RustLicense:NOASSERTIONStargazers:262Issues:15Issues:26

tmplfunc

Go templates invoked as functions

Language:GoLicense:BSD-3-ClauseStargazers:145Issues:3Issues:1

fusion

An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.

Language:RustLicense:GPL-3.0Stargazers:115Issues:12Issues:18

dmitlichess

Adds the soothing voice of Dmitri Komarov and other great chess masters to lichess.org (Google Chrome extension / Firefox Add-on)

Language:JavaScriptLicense:WTFPLStargazers:63Issues:7Issues:25

crlwatch

Collect, watch, and analyze SSL/TLS CRL data

Language:ShellLicense:NOASSERTIONStargazers:56Issues:7Issues:0

solidity-data-representation

Paper: Data Representation in Solidity

Language:JavaScriptLicense:CC-BY-4.0Stargazers:54Issues:3Issues:0
Language:SolidityLicense:GPL-3.0Stargazers:31Issues:3Issues:0

yul-lsp

Language server for the Yul language

Language:RustLicense:GPL-3.0Stargazers:27Issues:3Issues:10

polynomial-solver

Solves systems of polynomial equations.

Language:RustLicense:MITStargazers:22Issues:2Issues:15

sshpass

sshpass with TOTP support

Language:CLicense:GPL-2.0Stargazers:19Issues:1Issues:0

decaf377

decaf377 is a prime-order group designed for use in SNARKs over BLS12-377