letonchanh

dynamite

A dynamic analyzer for proving program termination and non-termination.

cinstr

M3

An Efficient Deobfuscation of Mixed Boolean Arithmetic (MBA) Expressions Using Dynamic Analysis

aws-c-common

Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.

cil

C Intermediate Language

Coeus

Relational Verification using Reinforcement Learning (Verifier Source Code)

dig-m3

A tool for generating nonlinear numerical invariants for C and Java programs. DIG uses dynamic analysis to infer invariants over program execution traces and applies symbolic execution to inferred invariants.

llvm-kaleidoscope

An implementation of LLVM Kaleidoscope tutorial with Bazel Build, visitors, Google tests and many more.

sling

SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic

solidity-riddles

My solutions of RareSkills' solidity-riddles puzzles.

damn-vulnerable-defi

The offensive security playground for the decentralized finances.

dyn_instr

dynamic_instr

fastssz

Fast Ethereum2.0 SSZ encoder/decoder

gas-puzzles

A sequence of smart contracts to practice gas optimization. These are used as practice assignments for RareSkills.io and the Udemy Gas Optimization Course

go-ethereum

Official Go implementation of the Ethereum protocol

hyperlane-monorepo

The home for Hyperlane core contracts, sdk packages, and other infrastructure

letonchanh.github.io

Personal Pages of Ton Chanh Le

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

lsp-sample

An implementation of Microsoft's lsp-sample in Rust

ocaml-num

The legacy Num library for arbitrary-precision integer and rational arithmetic that used to be part of the OCaml core distribution

ord

👁‍🗨 Rare and exotic sats

prysm

Go implementation of Ethereum proof of stake

rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

stacks-blockchain

The Stacks blockchain implementation

sv-benchmarks

Collection of Verification Tasks

system-design-primer

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

T2

T2 Temporal Prover

tmlanguages

zero-knowledge-puzzles

Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.