Pinned Repositories
archived-v2-amandroid
kekinian
Sireum: A High Assurance System Engineering Platform
logika-examples
Logika Examples for A Formal Logic Introduction Course
logika-upgrader
Logika v3 to Kekinian Example Translator
osate-plugin
OSATE Plugin
slang
The Sireum Programming Language (Slang)
tccoe22-logika
2022 Trusted Computing Center of Excellence (TCCoE) Summit Presentasi on Logika
v2-core
Sireum Core Components
v3
Sireum v3
v3-awas
Awas: A tool for model navigation, dependency analysis and risk analysis of component based systems
Sireum's Repositories
sireum/rolling
Misc Rolling Releases
sireum/rcljava-ffm-humble
sireum/hamr-sysml-parser
SysML v2 Parser for HAMR
sireum/aadl-gumbo
sireum/gh-pages-doc
sireum/gh-pages-slang
sireum/gh-pages-logika
sireum/osate-plugin
OSATE Plugin
sireum/aadl-gumbo-update-site
sireum/ive_launcher_win
sireum/scalac-plugin
Slang Scala 2.x Compiler Plugin
sireum/hugo-theme
Pretty basic theme for Hugo that covers all of the essentials. All you have to do is start typing!
sireum/smtlib-parser
sireum/intellij-injector
IntelliJ Scala Injector for Slang
sireum/intellij-asm
A plugin for Intellij IDEA that enables the user to see the Byte-code as well as the ASM code.
sireum/mill
Custom Mill build tool for Sireum
sireum/logika-upgrader
Logika v3 to Kekinian Example Translator
sireum/osate-update-site
sireum/slang-by-examples
A Quick Introduction to Slang by examples
sireum/v3-intellij
Sireum v3 IntelliJ Plugin
sireum/v3
Sireum v3
sireum/v3-util
Util (v3)
sireum/hugo-notice
A Hugo theme component to display nice notices
sireum/anvil
sireum/gh-pages-hamr
sireum/gh-pages-v3-logika
Logika (v3) Homepage
sireum/tccoe22-logika
2022 Trusted Computing Center of Excellence (TCCoE) Summit Presentasi on Logika
sireum/presentasi-jfx
JavaFX Utilities for Presentasi
sireum/proyek-example
sireum/bitcodec-examples
Slang bit-precise encoder/decoder+AST generator examples