Skip to content
@sireum

Sireum

Pinned Loading

  1. kekinian kekinian Public

    Sireum: A High Assurance System Engineering Platform

    Scala 11 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 113 repositories
  • gh-pages-sireum Public

    GitHub Pages

    sireum/gh-pages-sireum’s past year of commit activity
    HTML 0 0 0 0 Updated Dec 12, 2024
  • kekinian Public

    Sireum: A High Assurance System Engineering Platform

    sireum/kekinian’s past year of commit activity
    Scala 11 BSD-2-Clause 2 0 0 Updated Dec 12, 2024
  • intellij-plugin Public

    Sireum Kekinian IntelliJ Plugin

    sireum/intellij-plugin’s past year of commit activity
    Scala 0 BSD-2-Clause 0 0 0 Updated Dec 12, 2024
  • runtime Public

    Slang Runtime Library

    sireum/runtime’s past year of commit activity
    Scala 0 BSD-2-Clause 2 0 0 Updated Dec 12, 2024
  • logika Public

    Logika Next-Gen Verification Framework for Slang

    sireum/logika’s past year of commit activity
    Scala 4 BSD-2-Clause 1 0 0 Updated Dec 12, 2024
  • server Public

    Sireum Server

    sireum/server’s past year of commit activity
    Scala 0 0 0 0 Updated Dec 12, 2024
  • tools Public

    Slang Utility/CodeGen Tools

    sireum/tools’s past year of commit activity
    Scala 0 0 0 0 Updated Dec 12, 2024
  • slang Public

    The Sireum Programming Language (Slang)

    sireum/slang’s past year of commit activity
    Scala 5 0 0 0 Updated Dec 12, 2024
  • bin-install Public
    sireum/bin-install’s past year of commit activity
    Batchfile 0 0 0 0 Updated Dec 12, 2024
  • scalac-plugin Public

    Slang Scala 2.x Compiler Plugin

    sireum/scalac-plugin’s past year of commit activity
    Scala 0 BSD-2-Clause 0 0 0 Updated Dec 12, 2024
View all repositories

Most used topics

Loading…