Pinned Repositories
knotical
Knotical: An Inference System of Trace Refinement Relations
aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
cil
C Intermediate Language
cinstr
Coeus
Relational Verification using Reinforcement Learning (Verifier Source Code)
DAT210x
Programming with Python for Data Science Microsoft
dynamite
A dynamic analyzer for proving program termination and non-termination.
M3
sling
SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic
letonchanh's Repositories
letonchanh/dynamite
A dynamic analyzer for proving program termination and non-termination.
letonchanh/cinstr
letonchanh/M3
letonchanh/aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
letonchanh/cil
C Intermediate Language
letonchanh/Coeus
Relational Verification using Reinforcement Learning (Verifier Source Code)
letonchanh/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.
letonchanh/sling
SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic
letonchanh/dyn_instr
letonchanh/dynamic_instr
letonchanh/fastssz
Fast Ethereum2.0 SSZ encoder/decoder
letonchanh/go-ethereum
Official Go implementation of the Ethereum protocol
letonchanh/hyperlane-monorepo
The home for Hyperlane core contracts, sdk packages, and other infrastructure
letonchanh/incubator-singa
Mirror of Apache Singa (Incubating)
letonchanh/letonchanh.github.io
Personal Pages of Ton Chanh Le
letonchanh/lsp-sample
An implementation of Microsoft's lsp-sample in Rust
letonchanh/ocaml-num
The legacy Num library for arbitrary-precision integer and rational arithmetic that used to be part of the OCaml core distribution
letonchanh/ord
👁🗨 Rare and exotic sats
letonchanh/prysm
Go implementation of Ethereum proof of stake
letonchanh/pysmt
pySMT: A library for SMT formulae manipulation and solving
letonchanh/ReCoeus
Relational Verification using Reinforcement Learning (Learning Source Code)
letonchanh/rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
letonchanh/SAVER_public
letonchanh/stacks-blockchain
The Stacks blockchain implementation
letonchanh/suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
letonchanh/sv-benchmarks
Collection of Verification Tasks
letonchanh/system-design-primer
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
letonchanh/T2
T2 Temporal Prover
letonchanh/tmlanguages
letonchanh/zero-knowledge-puzzles
Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.