sudo rm -rf --no-preserve-root / (pcaversaccio)

pcaversaccio

Geek Repo

Company:@daita-technologies

Location:w021d

Home Page:pcaversaccio.com

Twitter:@pcaversaccio

Github PK Tool:Github PK Tool


Organizations
alethena
blokk-studio
daita-technologies
TG-Monitor

sudo rm -rf --no-preserve-root /'s starred repositories

webogram

Telegram web application, GPL v3

Language:JavaScriptLicense:GPL-3.0Stargazers:7945Issues:745Issues:1777

session-android

A private messenger for Android.

Language:KotlinLicense:GPL-3.0Stargazers:1835Issues:42Issues:786

trieve

All-in-one infrastructure for search, recommendations, RAG, and analytics offered via API

Language:RustLicense:NOASSERTIONStargazers:1381Issues:11Issues:818

shuffledns

MassDNS wrapper written in go to enumerate valid subdomains using active bruteforce as well as resolve subdomains with wildcard filtering and easy input-output support.

Language:GoLicense:GPL-3.0Stargazers:1295Issues:38Issues:79

Open-Source-FPGA-Bitcoin-Miner

A completely open source implementation of a Bitcoin Miner for Altera and Xilinx FPGAs. This project hopes to promote the free and open development of FPGA based mining solutions and secure the future of the Bitcoin project as a whole. A binary release is currently available for the Terasic DE2-115 Development Board, and there are compile-able projects for numerous boards.

Language:VHDLLicense:GPL-3.0Stargazers:1270Issues:209Issues:31

models

stock market models - have fun

Language:HTMLLicense:NOASSERTIONStargazers:1247Issues:128Issues:7

uemacs

Random version of microemacs with my private modificatons

tendermint-rs

Client libraries for Tendermint/CometBFT in Rust!

Language:RustLicense:Apache-2.0Stargazers:603Issues:31Issues:575

captive-browser

A dedicated Chrome instance to log into captive portals without messing with DNS settings.

Language:GoLicense:MITStargazers:434Issues:12Issues:14

yices2

The Yices SMT Solver

Language:SMTLicense:GPL-3.0Stargazers:368Issues:24Issues:376

prettier

:package: Opinionated but Incredible Prettier plugins.

Language:TypeScriptLicense:MITStargazers:274Issues:5Issues:88

tower-abci

Tower-based ABCI interface.

Language:RustLicense:MITStargazers:75Issues:9Issues:14

examples-futures

Small examples to explain Futures, Waker, Tasks in Rust

Language:RustLicense:MITStargazers:61Issues:2Issues:2

solidity-parser

Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the solc compiler.

Language:PythonLicense:AGPL-3.0Stargazers:51Issues:13Issues:18

TSender

A hyper gas optimized and formally verified smart contract, written in huff. 🐎

Language:SolidityLicense:GPL-3.0Stargazers:27Issues:1Issues:3

quickcheck-dynamic

A library for stateful property-based testing

Language:HaskellLicense:Apache-2.0Stargazers:27Issues:16Issues:16

multiproof

Generating Inputs for OZ's Multiproof

Language:SolidityLicense:MITStargazers:26Issues:6Issues:4

etheasy

Ethereum development made easy. Rust-powered toolkit for devs that inhabit the EVM.

Language:RustLicense:MITStargazers:23Issues:1Issues:7

book

Book on all things Alloy

Language:ShellLicense:Apache-2.0Stargazers:22Issues:4Issues:9

httping

httping - A tool to measure RTT on HTTP/S requests

Language:GoLicense:MITStargazers:21Issues:5Issues:10
Language:JavaScriptLicense:MITStargazers:16Issues:1Issues:0

bundler

ERC5189 p2p transaction bundler

ttg-frontend

TTG FE using NUXT3 + Vue3 + Wagmi

Language:TypeScriptLicense:GPL-3.0Stargazers:12Issues:0Issues:0

geodec

Measure the cost of geographical decentralization.

Language:PythonLicense:Apache-2.0Stargazers:11Issues:2Issues:15

urlquery-api-go

Go implementation of the public REST API

Language:GoLicense:Apache-2.0Stargazers:10Issues:0Issues:0

watch-my-btc

Service that watches for changes in Bitcoin address balances and sends alerts.

Language:TypeScriptLicense:MITStargazers:6Issues:0Issues:0
Language:VyperStargazers:4Issues:3Issues:0
Language:CSSLicense:NOASSERTIONStargazers:4Issues:3Issues:0