Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to content
@sireum

Sireum

Pinned Loading

  1. kekinian kekinian Public

    Sireum: A High Assurance System Engineering Platform

    Scala 10 2

  2. tccoe22-logika tccoe22-logika Public

    2022 Trusted Computing Center of Excellence (TCCoE) Summit Presentasi on Logika

    Java

  3. logika-examples logika-examples Public

    Logika Examples for A Formal Logic Introduction Course

    Scala 1

  4. logika-upgrader logika-upgrader Public

    Logika v3 to Kekinian Example Translator

    Java

Repositories

Showing 10 of 112 repositories
  • kekinian Public

    Sireum: A High Assurance System Engineering Platform

    sireum/kekinian’s past year of commit activity
    Scala 10 BSD-2-Clause 2 0 0 Updated Nov 13, 2024
  • sireum/bin-install’s past year of commit activity
    Batchfile 0 0 0 0 Updated Nov 13, 2024
  • sireum/hamr-codegen’s past year of commit activity
    Scala 1 BSD-2-Clause 0 1 0 Updated Nov 12, 2024
  • runtime Public

    Slang Runtime Library

    sireum/runtime’s past year of commit activity
    Scala 0 BSD-2-Clause 2 0 0 Updated Nov 12, 2024
  • sireum/hamr-sysml’s past year of commit activity
    Scala 0 BSD-2-Clause 0 0 0 Updated Nov 11, 2024
  • air Public

    AIR: AADL Intermediate Representation (IR) in Slang, JSON, and MessagePack

    sireum/air’s past year of commit activity
    Scala 2 BSD-2-Clause 0 0 0 Updated Nov 11, 2024
  • sireum/aadl-gumbo-update-site’s past year of commit activity
    0 0 0 0 Updated Nov 5, 2024
  • sireum/osate-update-site’s past year of commit activity
    0 0 0 0 Updated Nov 5, 2024
  • osate-plugin Public

    OSATE Plugin

    sireum/osate-plugin’s past year of commit activity
    Java 3 1 0 0 Updated Nov 5, 2024
  • sireum/aadl-gumbo’s past year of commit activity
    Java 1 0 0 0 Updated Nov 5, 2024

Top languages

Loading…

Most used topics

Loading…