Skip to content
@watssec

watssec

Popular repositories Loading

  1. libra libra Public

    LLVM IR Bindings for Rust-based Analyzers

    Rust 1

  2. FAST FAST Public

    1

  3. diem diem Public

    Forked from diem/diem

    Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.

    Rust

  4. move move Public

    Forked from diem/move

    Home of the Move programming language

    Rust

  5. llvm llvm Public

    Forked from llvm/llvm-project

    The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at…

  6. qemu qemu Public

    Forked from qemu/qemu

    Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

    C

Repositories

Showing 10 of 13 repositories
  • libra Public

    LLVM IR Bindings for Rust-based Analyzers

    watssec/libra’s past year of commit activity
    Rust 1 0 0 0 Updated Feb 15, 2024
  • l4v Public Forked from seL4/l4v

    seL4 specification and proofs

    watssec/l4v’s past year of commit activity
    Isabelle 0 108 0 0 Updated Dec 10, 2023
  • sel4-example Public
    watssec/sel4-example’s past year of commit activity
    C 0 0 1 0 Updated Dec 9, 2023
  • watssec-sel4-manifest Public
    watssec/watssec-sel4-manifest’s past year of commit activity
    0 0 1 0 Updated Dec 8, 2023
  • llvm Public Forked from llvm/llvm-project

    The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

    watssec/llvm’s past year of commit activity
    0 11,157 0 0 Updated Aug 30, 2023
  • move Public Forked from diem/move

    Home of the Move programming language

    watssec/move’s past year of commit activity
    Rust 0 Apache-2.0 135 0 0 Updated May 18, 2023
  • FAST Public
    watssec/FAST’s past year of commit activity
    1 0 0 0 Updated May 9, 2023
  • souffle Public Forked from souffle-lang/souffle

    Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

    watssec/souffle’s past year of commit activity
    C++ 0 UPL-1.0 199 0 0 Updated Mar 18, 2023
  • s2n-tls Public Forked from aws/s2n-tls

    An implementation of the TLS/SSL protocols

    watssec/s2n-tls’s past year of commit activity
    C 0 Apache-2.0 731 0 0 Updated Aug 22, 2022
  • linux Public Forked from torvalds/linux

    Linux kernel source tree

    watssec/linux’s past year of commit activity
    C 0 54,116 0 0 Updated Jul 11, 2022
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…