Stars
A Gradio web UI for Large Language Models.
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.
MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts
Basic string utilities for Solidity
Example Programs from Libbitcoin Tutorials at
The fast, light, and robust client for Ethereum-like networks.
Enable communities to distribute funds to push their cause forward.
Alluxio, data orchestration for analytics and machine learning in the cloud
Make JavaScript fully intuitively object-oriented to support large scale programming.
Information about this project lives on the wiki
Scalable machine learning library for Apache Hive/Spark/Pig