Sireum

kekinian Public
Sireum: A High Assurance System Engineering Platform

sireum/kekinian’s past year of commit activity

Scala 12 BSD-2-Clause 3 0 0 Updated May 20, 2025
anvil Public

sireum/anvil’s past year of commit activity

Scala 0 0 0 0 Updated May 20, 2025
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 May 16, 2025
bin-install Public

sireum/bin-install’s past year of commit activity

Batchfile 0 0 0 0 Updated May 15, 2025
gh-pages-sireum Public
GitHub Pages

sireum/gh-pages-sireum’s past year of commit activity

HTML 0 0 0 0 Updated May 15, 2025
slang Public
The Sireum Programming Language (Slang)

sireum/slang’s past year of commit activity

Scala 7 0 0 0 Updated May 15, 2025
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 May 14, 2025
hamr-codegen Public

sireum/hamr-codegen’s past year of commit activity

Scala 1 BSD-2-Clause 0 1 1 Updated May 12, 2025
alir Public
Slang Flow Analysis

sireum/alir’s past year of commit activity

Scala 0 0 0 0 Updated May 12, 2025
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 May 10, 2025

Provide feedback