crytic/echidna
Ethereum smart contract fuzzer
GitHub repository with 3,146 stars and 431 forks.
Language: Haskell
Topics: evm, ethereum, smart-contracts, security, solidity, testing, fuzzer
Ethereum smart contract fuzzer
GitHub repository with 3,146 stars and 431 forks.
Language: Haskell
Topics: evm, ethereum, smart-contracts, security, solidity, testing, fuzzer
Trending score 0.32, activity score 0.05, stars gained +1, forks gained +2.
2026-06-05: 3,146 stars and 431 forks.
Ethereum smart contract fuzzer
GitHub repository with 3,146 stars and 431 forks.
Trending score: 0.32; stars gained: +1; forks gained: +2.
Language: Haskell
Topics: evm, ethereum, smart-contracts, security, solidity, testing
CI and hosting for nix-based, flakified github repos
GitHub repository with 394 stars and 40 forks.
Trending score: 2.05; stars gained: +10; forks gained: +1.
Language: Haskell
Monoscope lets you ingest and explore your logs, traces and metrics. We store these in S3 compatible buckets. Query in natural language via LLMs.
GitHub repository with 1,021 stars and 40 forks.
Trending score: 1.37; stars gained: +19; forks gained: +2.
Language: Haskell
Topics: haskell, logs, metrics, monitoring, observability, opentelemetry
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
GitHub repository with 4,520 stars and 386 forks.
Trending score: 1.03; stars gained: +5; forks gained: +0.
Language: Haskell
Topics: hledger, haskell, ledger, web-application, console-application, command-line-tool
Dockerfile linter, validate inline bash, written in Haskell
GitHub repository with 12,181 stars and 493 forks.
Trending score: 0.69; stars gained: +4; forks gained: +0.
Language: Haskell
Generator of runtime monitors for flight and robotics applications.
GitHub repository with 565 stars and 52 forks.
Trending score: 0.62; stars gained: +2; forks gained: +1.
Language: Haskell
Topics: assurance, autonomy, cfs, embedded-systems, flight-software, fprime
A fast, safe, and intuitive DataFrame library.
GitHub repository with 249 stars and 46 forks.
Trending score: 0.60; stars gained: +3; forks gained: +0.
Language: Haskell
Topics: dataframe, exploratory-data-analysis, functional-programming
Cronos is the first Ethereum-compatible blockchain network built on Cosmos SDK technology. Cronos aims to massively scale the DeFi, GameFi, and overall Web3 user community by providing builders with the ability to instantly port apps and crypto assets from other chains while benefiting from low transaction fees, high throughput, and fast finality.
GitHub repository with 330 stars and 289 forks.
Trending score: 0.49; stars gained: +2; forks gained: +1.
Language: Go
Topics: blockchain, cosmos-sdk, ethermint, evm
A modular framework for building EVM consensus clients ⛵️✨
GitHub repository with 329 stars and 272 forks.
Trending score: 0.32; stars gained: +1; forks gained: +0.
Language: Go
Topics: besu, cometbft, cosmos, erigon, ethereum, ethereumjs
Ethereum smart contract fuzzer
GitHub repository with 3,146 stars and 431 forks.
Trending score: 0.32; stars gained: +1; forks gained: +2.
Language: Haskell
Topics: evm, ethereum, smart-contracts, security, solidity, testing
Remix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions.
GitHub repository with 2,984 stars and 1,362 forks.
Trending score: 0.24; stars gained: -1; forks gained: +4.
Language: TypeScript
Topics: remix, remix-ide, solidity, smart-contracts, evm, vyper
Easy setup and creation of a bot
GitHub repository with 97 stars and 59 forks.
Trending score: 0.17; stars gained: +0; forks gained: +0.
Language: Solidity
Topics: bitcoin, bot, btc, crypto, eth, ethereum
Flare’s documentation site for builders ☀️
GitHub repository with 53 stars and 51 forks.
Trending score: 0.16; stars gained: +0; forks gained: +0.
Language: MDX
Topics: documentation, flare-network, api, evm, reference, tutorial