vietlq/smart-contract-audit

Stars
20
Rank 1,121,974 (Top 23 %)
Language Makefile
Created over 6 years ago
Updated over 1 year ago

vietlq/smart-contract-audit

vietlq

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

Guide to auditing EVM smart contracts using tools

ens-namex

ENS domain exchange

wtf-is-blockchain

WTF is ... Blockchain, Cryptocurrency and Smart Contracts

PySmile

PySmile - Simple Tool to Batch Convert Images

rtools

rtools - reimplement GNU tools (cut and friends) in Rust

scilla-atomic-swap

Atomic Swap in Scilla (Zilliqa)

zkp-mortgage

pyproxy

A Simple Python TCP Proxy Server With Ability to Broadcast Injected Messages

ocaml-simple-json

A simple JSON parser in OCaml that uses streams

ocaml-rlp

Ethereum RLP codecs in OCaml

ocaml-training

Code for my OCaml self learning

vietlq.github.io

Viet's Github Page

hugo-theme-robust-vietlq

Adapted version of hugo_theme_robust by `dtsuji`

test-btleplug

configs

Recommended config files for popular tools

lazy_interval_tree

Lazy Interval Tree

rcut-wasm

Rcut for WebAssembly

linux-assembly

Fun with Assembly on x86-64 Linux

enki-login

ocaml-kalei

Kaleidoscope language in OCaml

interval-merging

Tools and libraries to merge intervals at scale

Jupyter Notebook

fakegen-rs

A tool to generate fake data

presentations

My presentations

exponot

Reference implementation of Apple/Google COVID-19 tracing API

sitemapbuilder

A simple sitemap builder

jsony

Simple JSON Parser

ocaml-data-structures

Based on "Purely Functional Data Structures" by Chris Okasaki

mhtml_utils

Utilities for parsing and extracting MHTML files