Skip to content
View TrinhLK's full-sized avatar
4 followers · 2 following

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Block or report TrinhLK

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. GeneratingBIPFile GeneratingBIPFile Public

    Java

  2. GeneratingMacroCode GeneratingMacroCode Public

    Java

  3. Isabelle-Code Isabelle-Code Public

    Isabelle code

    Isabelle

  4. OCCIBIP-Studio OCCIBIP-Studio Public

    The integration of OCCIware and JavaBIP

    Java

  5. org.javabip.framework org.javabip.framework Public

    JavaBIP framework all in one

    Java

  6. NaturalBIP-Compiler NaturalBIP-Compiler Public

    NaturalBIP compiler

    Python