Discover @LaifsV1 Open Source projects

Yu-Yang Lin (@LaifsV1)

LaifsV1

Stars
48
Global Rank 350,106 (Top 13 %)
Followers 7
Registered over 9 years ago
Most used languages

OCaml
85.7 %

Racket
14.3 %

YUP

YUP is a proof checker that performs automatic checking of simple program-correctness proofs of functional programs through inductive and equational reasoning.

Hobbit

Higher-Order Bounded Bisimulation Tool

pcfeq

Bisimulation Checking tool for PCFv programs

BMC-2

BMC-2 is a bounded model checking tool for higher-order functional programs with free variables of ground-type.

HOLiK

HOLi symbolic execution game semantics using the K semantic framework

Hobbit-PDNF

Implementation of Pushdown Normal-Form Bisimulation based on the Hobbit bisimulation verification tool

YulTracer

YulTracer is an interpreter and future symbolic execution engine for Yul written in OCaml with Z3 for symbolic reasoning and compiled using the Dune build system.