Skip to content
@PKU-ASAL

PKU-OSLAB

The OSLab of Peking University

Popular repositories Loading

  1. Simulated-Data Simulated-Data Public

    Python 62 12

  2. SeeWasm SeeWasm Public

    A native symbolic execution engine for WebAssembly

    Python 43 3

  3. ReMoS_artifact ReMoS_artifact Public

    Python 23 4

  4. NoDrop NoDrop Public

    C 16

  5. WASEM WASEM Public

    WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries

    WebAssembly 13 6

  6. PKUWA PKUWA Public

    WebAssembly 12 3

Repositories

Showing 10 of 12 repositories
  • Orax Public
    PKU-ASAL/Orax’s past year of commit activity
    SMT 0 0 0 0 Updated Jan 8, 2025
  • oj-deploy Public Forked from SDUOJ/sduoj-deploy

    Script for OJ Deployment

    PKU-ASAL/oj-deploy’s past year of commit activity
    Python 0 AGPL-3.0 5 0 0 Updated Nov 5, 2024
  • pkuoslab-oj-frontend Public

    The frontend of PKUOSLAB-OJ, written in React, powered by SDUOJ-frontend

    PKU-ASAL/pkuoslab-oj-frontend’s past year of commit activity
    TypeScript 0 0 0 0 Updated Oct 20, 2024
  • WASEM Public

    WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries

    PKU-ASAL/WASEM’s past year of commit activity
    WebAssembly 13 BSD-3-Clause 6 0 1 Updated Sep 30, 2024
  • NoDrop Public
    PKU-ASAL/NoDrop’s past year of commit activity
    C 16 0 0 0 Updated Aug 30, 2024
  • Simulated-Data Public
    PKU-ASAL/Simulated-Data’s past year of commit activity
    Python 62 12 11 0 Updated Aug 29, 2024
  • SeeWasm Public

    A native symbolic execution engine for WebAssembly

    PKU-ASAL/SeeWasm’s past year of commit activity
    Python 43 3 6 (3 issues need help) 0 Updated Jul 6, 2024
  • PKUWA Public
    PKU-ASAL/PKUWA’s past year of commit activity
    WebAssembly 12 3 0 0 Updated Jul 4, 2024
  • GoSe Public
    PKU-ASAL/GoSe’s past year of commit activity
    Python 0 GPL-3.0 0 0 0 Updated Jun 7, 2024
  • Eunomia-ISSTA23 Public
    PKU-ASAL/Eunomia-ISSTA23’s past year of commit activity
    WebAssembly 9 0 0 0 Updated May 27, 2023
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…