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

watch-my-btc

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

Language:TypeScriptLicense:MITStargazers:6Issues:0Issues:0
Language:PythonLicense:Apache-2.0Stargazers:8Issues:0Issues:0

book

Book on all things Alloy

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

trieve

All-in-one infrastructure for building search, recommendations, and RAG. Trieve combines search language models with tools for tuning ranking and relevance.

Language:RustLicense:NOASSERTIONStargazers:1069Issues:0Issues:0

multiproof

Generating Inputs for OZ's Multiproof

Language:SolidityLicense:MITStargazers:18Issues:0Issues:0

quickcheck-dynamic

A library for stateful property-based testing

Language:HaskellLicense:Apache-2.0Stargazers:26Issues:0Issues:0

models

stock market models - have fun

Language:HTMLLicense:NOASSERTIONStargazers:1142Issues:0Issues:0

captive-browser

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

Language:GoLicense:MITStargazers:424Issues:0Issues:0

urlquery-api-go

Go implementation of the public REST API

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

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:1222Issues:0Issues:0
Language:TypeScriptStargazers:23Issues:0Issues:0

httping

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

Language:GoLicense:MITStargazers:20Issues:0Issues:0

yices2

The Yices SMT Solver

Language:SMTLicense:GPL-3.0Stargazers:355Issues:0Issues:0

prettier

:package: Opinionated but Incredible Prettier plugins.

Language:TypeScriptLicense:MITStargazers:252Issues:0Issues:0
Language:JavaScriptLicense:MITStargazers:15Issues:0Issues:0

TSender

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

Language:SolidityLicense:GPL-3.0Stargazers:23Issues:0Issues:0

bundler

ERC5189 p2p transaction bundler

Language:GoStargazers:13Issues:0Issues:0

ttg-frontend

TTG FE using NUXT3 + Vue3 + Wagmi

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

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:1242Issues:0Issues:0

tower-abci

Tower-based ABCI interface.

Language:RustLicense:MITStargazers:69Issues:0Issues:0

tendermint-rs

Client libraries for Tendermint/CometBFT in Rust!

Language:RustLicense:Apache-2.0Stargazers:583Issues:0Issues:0

examples-futures

Small examples to explain Futures, Waker, Tasks in Rust

Language:RustLicense:MITStargazers:62Issues:0Issues:0

uemacs

Random version of microemacs with my private modificatons

Language:CStargazers:1139Issues:0Issues:0

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:30Issues:0Issues:0
Language:CSSLicense:NOASSERTIONStargazers:2Issues:0Issues:0
Language:VyperStargazers:4Issues:0Issues:0
Language:PythonLicense:MITStargazers:95Issues:0Issues:0

webogram

Telegram web application, GPL v3

Language:JavaScriptLicense:GPL-3.0Stargazers:7922Issues:0Issues:0

etheasy

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

Language:RustLicense:MITStargazers:21Issues:0Issues:0

session-android

A private messenger for Android.

Language:JavaLicense:GPL-3.0Stargazers:1695Issues:0Issues:0