Library for connecting echidna boards with firmata to web application running in a web browser
Echidna log parser package
Enhanced Echidna coverage analysis with scope-based reporting, logical coverage, and smart filtering
This is package cute-fuchsia-echidna
Ethereum smart contract fuzzer
This is package combative-amber-echidna
Support/extension Package for Echidna RepLocator core module for spryker shops
This is package shaky-turquoise-echidna
Echidna ZED assets builder tool based on spryker oryx
This is package fluttering-coral-echidna
This is package prior-jade-echidna
NPM package to add product image zoom functionality in spryker shops
Load a file you give to it (local or URL) and list all linked resources
Generate comprehensive documentation for codebases using a local LLM.
Core smart contracts of Algebra Integral
This library was generated with [Angular CLI](https://github.com/angular/angular-cli) version 12.2.0.
Firmata protocol implementation for programmatic interaction with Arduino and Arduino compatible development boards. Includes Serialport ^12.0.0. Is a mod of original firmata
Peripheral smart contracts of Algebra Integral protocol
Default plugin for Algebra Integral core
Fuzzer log parser for Recon Fuzz
Liquidity mining contracts for Algebra Integral protocol
CLI to scaffold Recon fuzzing suite inside Foundry projects
Geni is a builder tool that ease the writing of specifications of blockchain smart contracts. These specifications are required to run several auditing services like Foundry or Echidna.
Solidity contracts to implement fixed rate YieldSpace pools
A high-performance automatic differentiation library for Rust
Optimization solvers and implicit differentiation for echidna
Easily seed Echidna with Foundry broadcast files
LLM-powered fuzzing assistant for Solidity smart contracts — generates, runs, and iterates invariant tests with Foundry
Universal stress testing and logic-based bug signature detection
Static analysis tool aggregator and reporter for Ethereum smart contracts
Trait debugger backend for IDE interactions.
A high-performance numerical quadrature (integration) library for Rust
Production-ready Rust SDK for Neo N3 blockchain with high-level API, unified error handling, and enterprise features
Sentri: multi-chain smart contract security analyzer with static analysis, invariant checking, and vulnerability detection for Solana, EVM, and Move programs.