Skip to content
@sireum

Sireum

Pinned Loading

  1. kekinian Public

    Sireum: A High Assurance System Engineering Platform

    Scala 12 2

  2. tccoe22-logika Public

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

    Java

  3. logika-examples Public

    Logika Examples for A Formal Logic Introduction Course

    Scala 1

  4. logika-upgrader Public

    Logika v3 to Kekinian Example Translator

    Java

Repositories

Showing 10 of 117 repositories
  • kekinian Public

    Sireum: A High Assurance System Engineering Platform

    Scala 12 BSD-2-Clause 2 0 0 Updated Apr 3, 2025
  • bin-install Public
    Batchfile 0 0 0 0 Updated Apr 3, 2025
  • logika Public

    Logika Next-Gen Verification Framework for Slang

    Scala 4 BSD-2-Clause 1 0 0 Updated Apr 3, 2025
  • runtime Public

    Slang Runtime Library

    Scala 0 BSD-2-Clause 2 0 0 Updated Apr 3, 2025
  • anvil Public
    Scala 0 0 0 0 Updated Apr 2, 2025
  • gh-pages-sireum Public

    GitHub Pages

    HTML 0 0 0 0 Updated Apr 1, 2025
  • intellij-asm Public Forked from LapisSea/asm-bytecode-intellij

    An ASM (http://asm.ow2.org/) plugin for IntelliJ IDEA

    Java 0 44 0 0 Updated Apr 1, 2025
  • slang Public

    The Sireum Programming Language (Slang)

    Scala 7 0 0 0 Updated Mar 28, 2025
  • transpilers Public

    Slang Transpilers

    Scala 0 0 0 0 Updated Mar 26, 2025
  • build-verilator Public
    Batchfile 0 0 0 0 Updated Mar 25, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…