Skip to content
@sireum

Sireum

Pinned Loading

  1. kekinian kekinian Public

    Sireum: A High Assurance System Engineering Platform

    Scala 20 4

  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

  4. logika-upgrader logika-upgrader Public

    Logika v3 to Kekinian Example Translator

    Java

Repositories

Showing 10 of 117 repositories
  • hamr-codegen Public
    sireum/hamr-codegen’s past year of commit activity
    Scala 2 BSD-2-Clause 1 1 1 Updated Jan 22, 2026
  • kekinian Public

    Sireum: A High Assurance System Engineering Platform

    sireum/kekinian’s past year of commit activity
    Scala 20 BSD-2-Clause 4 0 0 Updated Jan 21, 2026
  • hamr-codegen-test Public
    sireum/hamr-codegen-test’s past year of commit activity
    Scala 0 0 0 1 Updated Jan 21, 2026
  • hamr-sysml Public
    sireum/hamr-sysml’s past year of commit activity
    Scala 0 BSD-2-Clause 0 0 0 Updated Jan 21, 2026
  • hamr-sysml-parser Public

    SysML v2 Parser for HAMR

    sireum/hamr-sysml-parser’s past year of commit activity
    Java 10 1 1 0 Updated Jan 21, 2026
  • phantom Public

    OSATE Headless CLI

    sireum/phantom’s past year of commit activity
    Scala 1 BSD-2-Clause 0 4 0 Updated Jan 20, 2026
  • bin-install Public
    sireum/bin-install’s past year of commit activity
    Batchfile 0 0 1 0 Updated Jan 20, 2026
  • presentasi-example Public

    Sireum Presentasi Example

    sireum/presentasi-example’s past year of commit activity
    Batchfile 0 0 0 0 Updated Jan 19, 2026
  • 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 Jan 16, 2026
  • gh-pages-sireum Public

    GitHub Pages

    sireum/gh-pages-sireum’s past year of commit activity
    HTML 0 0 0 0 Updated Jan 16, 2026
View all repositories

Most used topics

Loading…