Skip to content
View odedp's full-sized avatar
10 followers · 1 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report odedp

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. wilcoxjay/mypyvy wilcoxjay/mypyvy Public

    A language for symbolic transitions system, inspired by Ivy.

    Python 64 13

  2. jiazhihao/TASO jiazhihao/TASO Public

    The Tensor Algebra SuperOptimizer for Deep Learning

    C++ 684 89

  3. kenmcmil/ivy kenmcmil/ivy Public

    Forked from microsoft/ivy

    IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniq…

    C++ 77 24

  4. flyvy-verifier/flyvy flyvy-verifier/flyvy Public

    An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition systems in first-order logic and verify temporal correctness p…

    Rust 13 1