a-t-0

a-t-0's Stars

• Consensys/mythril

  Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.

  Language:Python3.9k79849741

• fravoll/solidity-patterns

  A compilation of patterns and best practices for the smart contract programming language Solidity

  Language:Solidity3.2k8314516

• hnarayanan/shpotify

  A command-line interface to Spotify.

  Language:Shell2k2583153

• pcaversaccio/reentrancy-attacks

  A chronological and (hopefully) complete list of reentrancy attacks to date.

  1.3k5914148

• protofire/solhint

  Solhint is an open-source project to provide a linting utility for Solidity code.

  Language:JavaScript1k21272160

• igorshubovych/markdownlint-cli

  MarkdownLint Command Line Interface

  Language:JavaScript8541316386

• nix-community/robotnix

  Build Android (AOSP) using Nix [maintainer=@danielfullmer,@Atemu]

  Language:Nix6271311769

• plantuml/plantuml-stdlib

  Contains official Standard Library for PlantUML

  Language:Java5502238120

• bgregos/foreground

  Simple Android personal task manager with Taskwarrior integration

  Language:Kotlin2541511216

• Ackee-Blockchain/wake

  Wake is a Python-based Solidity development and testing framework with built-in vulnerability detectors

  Language:Python2531012830

• trailofbits/necessist

  A mutation-based tool for finding bugs in tests

  Language:Rust110243910

• nix-community/ethereum.nix

  Nix packages and NixOS modules for the Ethereum ecosystem. [maintainers=@aldoborrero,@brianmcgee,@selfuryon]

  Language:Nix10479837

• crytic/fuzz-utils

  A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties

  Language:Solidity904224

• vexl-it/vexl

  Vexl app

  Language:TypeScript63158212

• GothenburgBitFactory/taskchampion-sync-server

  The sync server for Taskchampion

  Language:Rust5881211

• Haidra-Org/AI-Horde-CLI

  python script integrating with the AI Horde via a command line interface

  Language:Python563815

• TheRiceCold/kaizen

  productive desktop environment setup.

  Language:TypeScript43332

• floe/github-bulk-editor

  Allows bulk editing of Github repositories

  Language:Python382115

• First8/mastersofjava

  Assignments and solutions used during the Masters of Java.

  Language:Java223

• joejordan/foundry-random

  Generate reliably random numbers using Foundry's FFI cheat code.

  Language:Solidity22212

• elkooo/stromerrepair

  Reverse engeneeren des ersten Stromers um Motorschäden via DIY-lösung zu beheben

  42

• jacobmort/QuantstampBadge

  github badge for solidity quantstamp audits

  Language:JavaScript3132

• MaxWdeMon/solidity2plantuml

  Converts solidity code into a plantUML script, from which UML diagramms can be generated.

  Language:JavaScript3022

• yajiya/awesome-quantstamp

  An list of all awesome stuffs about Quantstamp project

  3201

• grieve/docker-taskwarrior

  A simple docker container for building and running taskwarrior 3.0 and the taskchampion sync server.

  Language:Dockerfile2100

• kanthgithub/Solidity-DataStructures

  Solidity-DataStructures and Best Practices and patterns for Storage in solidity smartContracts

  Language:JavaScript20

• Tenderly/war-room-workshop-dappcon-22

  Quantstamp and Tenderly War Room Simulation

  Language:Solidity2301

• anajuliabit/dotfiles

  My dotfiles with nix flakes

  Language:Nix1100

• justinp04/Practice-and-Learning

  Learning JavaScript using the 30 days of JavaScript public repo as a guideline

  Language:JavaScript11

• ricardovogel/robotic-reminder-system-for-people-with-dementia

  High-fidelity prototype made for my MSc thesis

  Language:Python1100