Skip to content

@sireum Sireum

Change the repository type filter

All

    Repositories list

    112 repositories

    • kekinian

      Public
      Sireum: A High Assurance System Engineering Platform
      Scala
      •
      BSD 2-Clause "Simplified" License
      •2•10•0•0•Updated Nov 13, 2024Nov 13, 2024

    • bin-install

      Public
      Batchfile
      •0•0•0•0•Updated Nov 13, 2024Nov 13, 2024

    • hamr-codegen

      Public
      Scala
      •
      BSD 2-Clause "Simplified" License
      •0•1•1•0•Updated Nov 12, 2024Nov 12, 2024

    • runtime

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

    • hamr-sysml

      Public
      Scala
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Nov 11, 2024Nov 11, 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 11, 2024Nov 11, 2024

    • aadl-gumbo-update-site

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

    • osate-update-site

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

    • osate-plugin

      Public
      OSATE Plugin
      Java
      •1•3•0•0•Updated Nov 5, 2024Nov 5, 2024

    • aadl-gumbo

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

    • hamr-codegen-test

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

    • logika

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

    • gh-pages-sireum

      Public
      GitHub Pages
      HTML
      •0•0•0•0•Updated Nov 4, 2024Nov 4, 2024

    • vscode-extension

      Public
      TypeScript
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Nov 1, 2024Nov 1, 2024

    • forms

      Public
      Java
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Nov 1, 2024Nov 1, 2024

    • logika-examples

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

    • build-7zz

      Public
      Shell
      •0•0•0•0•Updated Nov 1, 2024Nov 1, 2024

    • proyek

      Public
      Module-Incremental/Parallel Build Tool for Slang Projects
      Scala
      •0•0•0•0•Updated Oct 30, 2024Oct 30, 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

    • tools

      Public
      Slang Utility/CodeGen Tools
      Scala
      •0•0•0•0•Updated Oct 22, 2024Oct 22, 2024

    • build-z3

      Public
      Batchfile
      •0•0•0•0•Updated Oct 22, 2024Oct 22, 2024

    • scalac-plugin

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

    • hamr-vision

      Public
      Scala
      •0•0•0•0•Updated Oct 21, 2024Oct 21, 2024

    • infoflow

      Public
      Scala
      •0•0•0•0•Updated Oct 21, 2024Oct 21, 2024

    • alir

      Public
      Slang Flow Analysis
      Batchfile
      •0•0•0•0•Updated Oct 21, 2024Oct 21, 2024

    • transpilers

      Public
      Slang Transpilers
      Scala
      •0•0•0•0•Updated Oct 21, 2024Oct 21, 2024

    • slang

      Public
      The Sireum Programming Language (Slang)
      Scala
      •0•5•0•0•Updated Oct 21, 2024Oct 21, 2024

    • hamr-sysml-parser

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