smart contract platform
☆56Oct 14, 2025Updated 4 months ago
Alternatives and similar repositories for scplatform
Users that are interested in scplatform are comparing it to the libraries listed below
Sorting:
- Integrate Tcpdump in AOSP as application framework☆19Oct 23, 2024Updated last year
- This is the implementation for the Detection and Protection methods described in the paper: "Graph-Based Covert Transaction Detection and…☆31Oct 23, 2024Updated last year
- LLM-SmartAudit is a cutting-edge tool designed to revolutionize smart contract auditing using advanced language models.☆55Aug 17, 2025Updated 6 months ago
- A collection of papers and detection tools related to Smart Contract Auditing.☆22Sep 15, 2024Updated last year
- This repository is dedicated to the smart contract auditing using our FTSmartAudit tool☆29Feb 17, 2026Updated last week
- SmartAuditFlow is an AI-powered framework for automated smart contract security auditing. It combines Large Language Models (LLMs) with d…☆15Dec 19, 2025Updated 2 months ago
- Move Vulnerability Database☆19Nov 18, 2025Updated 3 months ago
- Copy of the published RecordBuddy repository☆14Oct 15, 2021Updated 4 years ago
- Extremely Fast Contract Defect Detectors☆13Oct 24, 2023Updated 2 years ago
- A Neovim plugin to assist with editing strings.☆28Jan 5, 2026Updated last month
- ☆14Jul 11, 2023Updated 2 years ago
- The website of Net Pioneer Association of BIT.☆14Aug 7, 2025Updated 6 months ago
- 非官方本科生毕业设计论文/研究生学位论文 LaTeX 模板（以及更多）在线文档☆14Jan 6, 2026Updated last month
- ☆18Mar 15, 2021Updated 4 years ago
- MCP server for searching and retrieving Solodit vulnerability reports.☆40Jun 30, 2025Updated 8 months ago
- ARM TrustZone Audit: Securing vs. Non-Securing Memory Separation☆23Mar 1, 2025Updated last year
- Smart contract - Zerocash-like approach for privacy on Ethereum☆21Nov 4, 2018Updated 7 years ago
- The Fabric interchain gateway plugin implementation☆22Sep 19, 2024Updated last year
- Seirdy's dotfiles☆30Dec 14, 2024Updated last year
- simple zk implementations in python☆34May 21, 2024Updated last year
- Syntax file for reStructuredText on Vim.☆26Oct 13, 2025Updated 4 months ago
- OpenSSL library for SGX application☆22Jun 20, 2022Updated 3 years ago
- ☆26Jan 12, 2022Updated 4 years ago
- ANTLR Grammar for reStructuredText☆30May 8, 2020Updated 5 years ago
- force cursorline for signs☆28Oct 18, 2024Updated last year
- iAwriter's Focus mode for vim☆36Jul 10, 2022Updated 3 years ago
- 北京理工大学自动请假☆33Nov 8, 2022Updated 3 years ago
- A LaTeX resume template designed for optimal information density and aesthetic appeal.☆656Jun 26, 2024Updated last year
- ☆42Nov 14, 2024Updated last year
- A framework to detect attacks and trace stolen assets across Ethereum (FC 2021).☆32Jul 17, 2025Updated 7 months ago
- 📖 北京理工 大学非官方 LaTeX 模板集合，包含本科、研究生毕业设计模板及更多。🎉 （更多文档请访问 wiki 和 release 中的手册）☆1,026Jan 15, 2026Updated last month
- Temporarily providing a limited set of LSP features to neorg☆42Oct 17, 2025Updated 4 months ago
- 🌐 A headless login / logout CLI for gateway (10.0.0.55) at BIT, now in Rust. 北京理工大学 10.0.0.55 校园网登录登出的 Rust 实现☆46Mar 14, 2025Updated 11 months ago
- Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry☆88Dec 2, 2025Updated 3 months ago
- The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains…☆283Updated this week
- 北京理工大学复试历年上机代码☆43Mar 20, 2019Updated 6 years ago
- ☆63Jul 11, 2024Updated last year
- CMake file for using Intel SGX on Linux☆52Oct 29, 2021Updated 4 years ago
- Generate git commit message using ChatGPT and Ollama !!☆55Jan 21, 2026Updated last month