Pinned Repositories
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Aleo-ARCs
Aleo Request for Comments (ARCs)
aleo-prover
Light standalone prover
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
DeFiHackLabs
Reproduce DeFi hacked incidents using Foundry.
new-token-on-leo
launching a token!
not-so-smart-contracts
Examples of Solidity security issues
sdk
A Software Development Kit (SDK) for Zero-Knowledge Transactions
Web3-Security-Library
Information about web3 security and programming tutorials/tools
xascsun's Repositories
xascsun/Aleo-ARCs
Aleo Request for Comments (ARCs)
xascsun/aleo-prover
Light standalone prover
xascsun/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.
xascsun/Awesome-Hacking
A collection of various awesome lists for hackers, pentesters and security researchers
xascsun/concrete
Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.
xascsun/coq-of-rust
Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 Formal verification
xascsun/cyfrin-audit-reports
A list of public audit reports conducted by the Cyfrin team
xascsun/euler-vault-kit
Build lending vaults that connect through Ethereum Vault Connector
xascsun/frappe_docker
Docker images for production and development setups of the Frappe framework and ERPNext
xascsun/fuzzlib
Solidity Fuzzing Library
xascsun/hackingtool
ALL IN ONE Hacking Tool For Hackers
xascsun/halo2
The Halo2 zero-knowledge proving system
xascsun/ibc-explorer
IBC dashboard
xascsun/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.
xascsun/langs-in-rust
A list of programming languages implemented in Rust, for inspiration.
xascsun/leo-examples
xascsun/LLaMA-Factory
Unify Efficient Fine-Tuning of 100+ LLMs
xascsun/MetaGPT
🌟 The Multi-Agent Framework: First AI Software Company, Towards Natural Language Programming
xascsun/n8n
Free and source-available fair-code licensed workflow automation tool. Easily automate tasks across different services.
xascsun/nucypher
Threshold Access Control (TACo) runtimes for the Threshold Network
xascsun/nucypher-contracts
Ethereum contracts supporting TACo applications on the Threshold Network.
xascsun/powdr
A modular stack for zkVMs, with a focus on productivity, security and performance.
xascsun/powdr-hello-world
A small example using powdr as a library to generate proofs.
xascsun/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.
xascsun/security-and-auditing-full-course-s23
The ultimate, most advanced, security, DeFi, assembly, web3 auditor course ever created.
xascsun/simple-push-demo
A simple example of use push notifications on the web using Service Workers
xascsun/sirius
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
xascsun/tutorials
Just Announced - "Learn Spring Security OAuth":
xascsun/vscode-noir
xascsun/Web3-Security-Tools
This repository contains a list of the most popular and widely used tools in web3 security. If you find any tools missing, you can create a pull request and be a contribute the project.