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/kekinian
Sireum: A High Assurance System Engineering Platform
sireum/slang
The Sireum Programming Language (Slang)
sireum/act
DARPA CASE System Build AADL-to-CAmkES Translator
sireum/logika
Logika Next-Gen Verification Framework for Slang
sireum/osate-plugin
OSATE Plugin
sireum/air
AIR: AADL Intermediate Representation (IR) in Slang, JSON, and MessagePack
sireum/aadl-gumbo
sireum/hamr-codegen
sireum/hamr-sysml-parser
SysML v2 Parser for HAMR
sireum/phantom
OSATE Headless CLI
sireum/runtime
Slang Runtime Library
sireum/aadl-gumbo-update-site
sireum/alir
Slang Flow Analysis
sireum/arsit
sireum/bin-install
sireum/gh-pages-sireum
GitHub Pages
sireum/hamr-codegen-test
sireum/hamr-sysml
sireum/hugo-theme
Pretty basic theme for Hugo that covers all of the essentials. All you have to do is start typing!
sireum/init
Pre-built Sireum self-contained jar releases for bootstrapping Sireum
sireum/intellij-injector
IntelliJ Scala Injector for Slang
sireum/intellij-plugin
Sireum Kekinian IntelliJ Plugin
sireum/parser
Sireum Parser Generator
sireum/proyek
Module-Incremental/Parallel Build Tool for Slang Projects
sireum/resources
sireum/scalac-plugin
Slang Scala 2.x Compiler Plugin
sireum/server
Sireum Server
sireum/slang-embedded-art
sireum/smtlib-parser
sireum/transpilers
Slang Transpilers