Skip to content
View tuong's full-sized avatar

Block or report tuong

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. object-logics/citadelle-devel object-logics/citadelle-devel Public

    Local mirror of https://git.logicalhacking.com/ftuong/citadelle-devel

    Isabelle 1 2

  2. isabelle_para isabelle_para Public

    Forked from object-logics/isabelle_para

    Local mirror of http://isabelle.in.tum.de/repos/isabelle and https://projects.brucker.ch/hol-testgen/log/trunk/hol-testgen/add-ons/Featherweight-OCL/src/compiler_generic/isabelle_para

    Isabelle

  3. object-logics/afp-Isabelle_C object-logics/afp-Isabelle_C Public

    Standard ML 1

  4. git-inria/simsoc-cert git-inria/simsoc-cert Public

    SimSoC-Cert, a toolkit for generating certified processor simulators

    Coq 1

  5. RTEMS-SMP-Formal RTEMS-SMP-Formal Public

    Forked from git-tcd/RTEMS-SMP-Formal

    Contains formal methods material developed for RTEMS SMP with support from ESA, and subsequent additions by student projects

    C

  6. sfu-rsl/symrustc sfu-rsl/symrustc Public

    SymRustC is a hybrid fuzzer for Rust combining concolic execution using SymCC and fuzzing using LibAFL.

    Shell 10 2