Skip to content

@sireum Sireum

Change the repository type filter

All

    Repositories list

    113 repositories

    • hamr-codegen

      Public
      Scala
      •
      BSD 2-Clause "Simplified" License
      •0•1•1•1•Updated Jan 8, 2025Jan 8, 2025

    • kekinian

      Public
      Sireum: A High Assurance System Engineering Platform
      Scala
      •
      BSD 2-Clause "Simplified" License
      •2•11•1•0•Updated Jan 7, 2025Jan 7, 2025

    • bin-install

      Public
      Batchfile
      •0•0•0•0•Updated Jan 7, 2025Jan 7, 2025

    • hamr-codegen-test

      Public
      Scala
      •0•0•0•0•Updated Jan 7, 2025Jan 7, 2025

    • osate-update-site

      Public
      0•0•0•0•Updated Jan 6, 2025Jan 6, 2025

    • osate-plugin

      Public
      OSATE Plugin
      Java
      •1•3•0•0•Updated Jan 6, 2025Jan 6, 2025

    • forms

      Public
      Java
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Jan 6, 2025Jan 6, 2025

    • hamr-sysml

      Public
      Scala
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Jan 6, 2025Jan 6, 2025

    • tools

      Public
      Slang Utility/CodeGen Tools
      Scala
      •0•0•0•0•Updated Jan 6, 2025Jan 6, 2025

    • hamr-sysml-parser

      Public
      SysML v2 Parser for HAMR
      Java
      •0•1•0•0•Updated Dec 17, 2024Dec 17, 2024

    • gh-pages-sireum

      Public
      GitHub Pages
      HTML
      •0•0•0•0•Updated Dec 12, 2024Dec 12, 2024

    • intellij-plugin

      Public
      Sireum Kekinian IntelliJ Plugin
      Scala
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Dec 12, 2024Dec 12, 2024

    • runtime

      Public
      Slang Runtime Library
      Scala
      •
      BSD 2-Clause "Simplified" License
      •2•0•0•0•Updated Dec 12, 2024Dec 12, 2024

    • logika

      Public
      Logika Next-Gen Verification Framework for Slang
      Scala
      •
      BSD 2-Clause "Simplified" License
      •1•4•0•0•Updated Dec 12, 2024Dec 12, 2024

    • server

      Public
      Sireum Server
      Scala
      •0•0•0•0•Updated Dec 12, 2024Dec 12, 2024

    • slang

      Public
      The Sireum Programming Language (Slang)
      Scala
      •0•5•0•0•Updated Dec 12, 2024Dec 12, 2024

    • scalac-plugin

      Public
      Slang Scala 2.x Compiler Plugin
      Scala
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Dec 12, 2024Dec 12, 2024

    • vscode-extension

      Public
      TypeScript
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Dec 12, 2024Dec 12, 2024

    • transpilers

      Public
      Slang Transpilers
      Scala
      •0•0•0•0•Updated Dec 11, 2024Dec 11, 2024

    • alir

      Public
      Slang Flow Analysis
      Scala
      •0•0•0•0•Updated Dec 11, 2024Dec 11, 2024

    • anvil

      Public
      Batchfile
      •0•0•0•0•Updated Dec 11, 2024Dec 11, 2024

    • build-7zz

      Public
      Shell
      •0•0•0•0•Updated Dec 2, 2024Dec 2, 2024

    • proyek

      Public
      Module-Incremental/Parallel Build Tool for Slang Projects
      Scala
      •0•0•0•0•Updated Nov 22, 2024Nov 22, 2024

    • air

      Public
      AIR: AADL Intermediate Representation (IR) in Slang, JSON, and MessagePack
      Scala
      •
      BSD 2-Clause "Simplified" License
      •0•2•0•0•Updated Nov 20, 2024Nov 20, 2024

    • aadl-gumbo-update-site

      Public
      0•0•0•0•Updated Nov 5, 2024Nov 5, 2024

    • aadl-gumbo

      Public
      Java
      •0•1•0•0•Updated Nov 5, 2024Nov 5, 2024

    • logika-examples

      Public
      Logika Examples for A Formal Logic Introduction Course
      Scala
      •1•0•0•0•Updated Nov 1, 2024Nov 1, 2024

    • phantom

      Public
      OSATE Headless CLI
      Scala
      •
      BSD 2-Clause "Simplified" License
      •0•1•4•0•Updated Oct 28, 2024Oct 28, 2024

    • resources

      Public
      Shell
      •0•0•0•0•Updated Oct 25, 2024Oct 25, 2024

    • rolling

      Public
      Misc Rolling Releases
      0•0•0•0•Updated Oct 25, 2024Oct 25, 2024