acuarica

evm

A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmatically extracting information from EVM bytecode.

vscode-ethers

Ethers Mode allows you to explore and call Smart Contracts methods using Ethers.js and view the response directly in VS Code. It interacts with any EVM-compatible blockchain, e.g., Ethereum, Polygon, Avalanche, etc.

gtm-web

The Git Time Metric Dashboard is a reporting application to visualize Git Time Metric time data.

jnif

The Java Native Instrumentation Framework, JNIF, is the first native Java bytecode rewriting library. JNIF is a C++ library for decoding, analyzing, editing, and encoding Java bytecode.

4byte

Generates 4bytes selector database

java-unsafe-analysis

Java Unsafe Analysis --- Usage and Impact of the Unsafe Java API

hsc

The Haskell Supercompiler Project aims to bring back supercompilation to Haskell.

java-cast-analysis

Java Cast Analysis in the Wild

java-cast-oopsla-19-aec

Java Cast Empirical Study for OOPSLA'19 - Artifact Evaluation

maven-repo

A Dataset and Analysis Framework for the Maven Repository

mavends

MavenDS: An Analysis Framework for the Maven Repository

phd-thesis

usi-shadowheap

vscode-lgtm-ql

Visual Studio Code Extension for running QL queries on the lgtm.com platform

acuarica

acuarica.github.io

Personal blog and profile site built with Astro and deployed to GitHub pages

chsc

The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"

contract-dataset

Fetches Sepolia contract dataset bytecodes into a dataset useful for bytecode analysis

eth-json-rpc-playground

REST Client script to interact with an Ethereum JSON-RPC provider over HTTP directly from VS Code.

near-syn

near-syn is a tool to generate TypeScript bindings and Markdown docs from Rust contracts for the NEAR protocol.

solidity-bootcamp

The Solidity Bootcamp is an intensive course to become a Solidity & Smart Contract Developer. This is part of EPAM's Learning & Development Program.

cv

gtm

Simple, seamless, lightweight time tracking for Git

h5ai-nginx

Docker for h5ai server listing

hedera-forking

near-env

NEAR env log macro

nft-demo

sourcify

Decentralized Solidity contract source code verification service

vscode-restclient

REST Client Extension for Visual Studio Code

wasm-life