Pinned Loading

1. uclid-org/uclid uclid-org/uclid Public

   UCLID5: formal modeling, verification, and synthesis of computational systems

   Scala 136 32

2. redox-loader redox-loader Public

   Mirror of https://gitlab.redox-os.org/redox-os/redox-loader

   Rust 8 3

3. redox-fatfs redox-fatfs Public

   Mirror of https://gitlab.redox-os.org/redox-os/redox-fatfs

   Rust 1

4. multifacet/kalium_artifact multifacet/kalium_artifact Public

   Artifact for the paper "Guarding Serverless Applications with Kalium"

   Shell 3

5. multifacet/tap_artifact multifacet/tap_artifact Public

   Artifact for the paper Architecting Trigger-Action Platforms for Security, Performance and Functionality (NDSS '24)

   Python 1