letonchanh Goto Github PK

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

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.

dyn_instr

dynamic_instr

dynamite

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

fastssz

Fast Ethereum2.0 SSZ encoder/decoder

go-ethereum

Official Go implementation of the Ethereum protocol

grasshopper

An automated deductive program verifier.

hyperlane-monorepo

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

incubator-singa

Mirror of Apache Singa (Incubating)

knotical

Knotical: An Inference System of Trace Refinement Relations

learning-examples

Code examples for the book Learning Concurrent Programming in Scala

letonchanh.github.io

Personal Pages of Ton Chanh Le

lsp-sample

An implementation of Microsoft's lsp-sample in Rust

m3

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

pysmt

pySMT: A library for SMT formulae manipulation and solving

recoeus

Relational Verification using Reinforcement Learning (Learning Source Code)

rustlings

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

s4ds

Scala for data science

saver_public

sling

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

smtcomp14-sl

Benchmark and tools for the theory of Separation Logic (QF_S) at SMTCOMP 2014