xascsun Goto Github PK

aleo-arcs

Aleo Request for Comments (ARCs)

autogpt

AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

awesome-hacking

A collection of various awesome lists for hackers, pentesters and security researchers

awesome-web3-security

A curated list of web3Security materials and resources For Pentesters and Bug Hunters.

concrete

Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.

coq-of-rust

Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 Formal verification

defihacklabs

Reproduce DeFi hacked incidents using Foundry.

ds-math

Safe arithmetic

euler-vault-kit

Build lending vaults that connect through Ethereum Vault Connector

frappe_docker

Docker images for production and development setups of the Frappe framework and ERPNext

fuzzlib

Solidity Fuzzing Library

goki

A suite of programs for Solana key management and security.

hack-web3conf

hackerlink-solana-vote-scraper

Python voters scraping program for Solana Ignition Hackathon East Asia

hackingtool

ALL IN ONE Hacking Tool For Hackers

halo2

The Halo2 zero-knowledge proving system

ibc-explorer

IBC dashboard

immunefi-bug-bounty-programs-unofficial

Every time a Bug Bounty Program in Immunefi modifies its policy, assets-in-scope, or bounties-table, a bot will commit those changes to this repo. To get a before/after diff of a project go to `./project/{project-name}.json` and check it's latest commit.

leo-examples

llama-factory

Unify Efficient Fine-Tuning of 100+ LLMs

metagpt

🌟 The Multi-Agent Framework: First AI Software Company, Towards Natural Language Programming

n8n

Free and source-available fair-code licensed workflow automation tool. Easily automate tasks across different services.

new-token-on-leo

launching a token!

not-so-smart-contracts

Examples of Solidity security issues

nucypher

Threshold Access Control (TACo) runtimes for the Threshold Network

nucypher-contracts

Ethereum contracts supporting TACo applications on the Threshold Network.

personal-sites

List of Hackathon Hackers' personal sites.

powdr

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

powdr-hello-world

A small example using powdr as a library to generate proofs.

quivr

Your GenAI Second Brain 🧠 A personal productivity assistant (RAG) ⚡️🤖 Chat with your docs (PDF, CSV, ...) & apps using Langchain, GPT 3.5 / 4 turbo, Private, Anthropic, VertexAI, Ollama, LLMs, Groq that you can share with users ! Local & Private alternative to OpenAI GPTs & ChatGPT powered by retrieval-augmented generation.