Skip to content
@watssec

watssec

Popular repositories Loading

  1. libra libra Public

    LLVM IR Bindings for Rust-based Analyzers

    Rust 8 2

  2. 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

  3. move move Public

    Forked from diem/move

    Home of the Move programming language

    Rust

  4. 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…

  5. 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

  6. linux linux Public

    Forked from torvalds/linux

    Linux kernel source tree

    C

Repositories

Showing 10 of 13 repositories
  • libra Public

    LLVM IR Bindings for Rust-based Analyzers

    Rust 8 2 0 1 Updated Oct 4, 2024
  • l4v Public Forked from seL4/l4v

    seL4 specification and proofs

    Isabelle 0 113 0 0 Updated Dec 10, 2023
  • sel4-example Public
    C 0 0 1 0 Updated Dec 9, 2023
  • watssec-sel4-manifest Public
    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.

    0 13,175 0 0 Updated Aug 30, 2023
  • move Public Forked from diem/move

    Home of the Move programming language

    Rust 0 Apache-2.0 142 0 0 Updated May 18, 2023
  • FAST Public
    0 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.

    C++ 0 UPL-1.0 215 0 0 Updated Mar 18, 2023
  • s2n-tls Public Forked from aws/s2n-tls

    An implementation of the TLS/SSL protocols

    C 0 Apache-2.0 759 0 0 Updated Aug 22, 2022
  • linux Public Forked from torvalds/linux

    Linux kernel source tree

    C 0 57,478 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…