Correct-by-Design Smart Contracts: FSolidM
☆12Oct 27, 2025Updated 11 months ago
Alternatives and similar repositories for smartc5
Users that are interested in smartc5 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A distributed system for detecting vulnerabilities in smart contracts using Docker, gRPC, RabbitMQ, Redis, MySQL, and Nginx.☆13Oct 27, 2025Updated 11 months ago
- User-friendly interface with powerful backend capabilities☆11Oct 27, 2025Updated 11 months ago
- Personal GitHub Pages site for owenscatherinexuv-28☆12Sep 9, 2025Updated last year
- JeChain decentralized application platform and smart contract blockchain network☆15Oct 27, 2025Updated 11 months ago
- Fixidity: A fixed point mathematics library for Solidity☆14Oct 27, 2025Updated 11 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Launch your own EVM as an Avalanche Subnet☆12Oct 27, 2025Updated 11 months ago
- A starter template for using vue-next with the electron.☆11Oct 27, 2025Updated 11 months ago
- Simple Tutorial for Web3 Security☆13Oct 27, 2025Updated 11 months ago
- EVM-compatible chain indexer.☆11Oct 27, 2025Updated 11 months ago
- Mobile-first responsive design framework☆12Oct 27, 2025Updated 11 months ago
- Super easy interactive shell for interacting with smart contract on any evm chain.☆14Oct 27, 2025Updated 11 months ago
- Community-driven project focused on simplicity and performance☆13Oct 27, 2025Updated 11 months ago
- ☆22Sep 24, 2026Updated 3 weeks ago
- Scalable architecture for enterprise-level applications☆16Oct 27, 2025Updated 11 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Clean and minimal design philosophy implementation☆13Oct 27, 2025Updated 11 months ago
- ☆93Apr 24, 2025Updated last year
- Examples and POCs of Vulnerabilities that are unique to EVM contracts written without the guardrails of higher level languages like solid…☆15Oct 27, 2025Updated 11 months ago
- Clean and minimal design philosophy implementation☆13Oct 27, 2025Updated 11 months ago
- <div align='center'> EthosA collection☆16Oct 27, 2025Updated 11 months ago
- A developer-friendly, rollup-based Ethereum Layer 2 solution that offers low fees and EVM equivalence.☆17Oct 27, 2025Updated 11 months ago
- A modern web application built with cutting-edge technologies☆18Oct 27, 2025Updated 11 months ago
- Static analyzer for solidity contracts based on regexs specifically crafted for code4rena contests☆15Oct 27, 2025Updated 11 months ago
- Smart Contracts - Solidity☆11Oct 27, 2025Updated 11 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Ethereum Analysis: Gas Economics and Proof☆19Oct 27, 2025Updated 11 months ago
- RGB smart contracts: command-line tool & wallet runtime library for desktop and mobile integration☆14Oct 27, 2025Updated 11 months ago
- Package ethtool allows control of the Linux ethtool generic netlink interface. MIT Licensed.☆16Mar 1, 2026Updated 7 months ago
- SmartPool client of SmartPool project☆13Oct 27, 2025Updated 11 months ago
- Scalable architecture for enterprise-level applications☆10Oct 27, 2025Updated 11 months ago
- Minimal Typescript / NextJS dApp template bootstrapped with wagmi Ethereum react hooks library.☆17Oct 27, 2025Updated 11 months ago
- 🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs☆14Oct 27, 2025Updated 11 months ago
- Ethereum Virtual Machine implemented in TypeScript☆11Oct 27, 2025Updated 11 months ago
- Trading-agent runtime with C++ and Python.☆45Oct 9, 2026Updated last week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A Solidity code search tool with built-in static analysis detection☆13Oct 27, 2025Updated 11 months ago
- The core Arbitrum Nitro contracts deployed to the parent chain to host the rollup☆13Oct 27, 2025Updated 11 months ago
- A simple tool and library to deploy and manage a Merkle Air-Drop.☆12Oct 27, 2025Updated 11 months ago
- Innovative solution for streamlined workflow automation☆13Oct 27, 2025Updated 11 months ago
- Recoverable and auditable deep-research agent built with LangGraph. It plans research, searches the web, manages evidence and context, re…☆54Sep 27, 2026Updated 3 weeks ago
- Web dApp examples implementing Reown AppKit☆12Oct 27, 2025Updated 11 months ago
- A deterministic privacy boundary between your data and AI.☆216Aug 20, 2026Updated last month