acuarica/hsc

This repository has been archived on 13/Jul/2023
Stars
1
Language
Haskell
License
BSD 3-Clause "New...
Created almost 2 years ago
Updated almost 2 years ago

acuarica/hsc

acuarica

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

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.

java-unsafe-analysis

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

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

phd-thesis

maven-repo

A Dataset and Analysis Framework for the Maven Repository

vscode-lgtm-ql

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

usi-shadowheap

mavends

MavenDS: An Analysis Framework for the Maven Repository

java-cast-analysis

Java Cast Analysis in the Wild

toy-payments-engine

Simple toy payments engine that parses CSV and settles client accounts

java-cast-oopsla-19-aec

Java Cast Empirical Study for OOPSLA'19 - Artifact Evaluation