Repositories list

• kekinian

  Public
  Sireum: A High Assurance System Engineering Platform

  Scala

  •

  BSD 2-Clause "Simplified" License

  •44 forks•2424 stars•00 issues•00 pull requests•Updated Apr 21, 2026Apr 21, 2026

• hamr-codegen

  Public
  Scala

  •

  BSD 2-Clause "Simplified" License

  •11 fork•22 stars•22 issues•11 pull request•Updated Apr 21, 2026Apr 21, 2026

• hamr-codegen-test

  Public
  Scala

  •00 forks•00 stars•00 issues•11 pull request•Updated Apr 21, 2026Apr 21, 2026

• anvil

  Public
  Scala

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 21, 2026Apr 21, 2026

• slang

  Public
  The Sireum Programming Language (Slang)

  Scala

  •00 forks•88 stars•00 issues•00 pull requests•Updated Apr 21, 2026Apr 21, 2026

• hamr-sysml

  Public
  Scala

  •

  BSD 2-Clause "Simplified" License

  •00 forks•11 star•00 issues•00 pull requests•Updated Apr 17, 2026Apr 17, 2026

• air

  Public
  AIR: AADL Intermediate Representation (IR) in Slang, JSON, and MessagePack

  Scala

  •

  BSD 2-Clause "Simplified" License

  •00 forks•33 stars•00 issues•00 pull requests•Updated Apr 17, 2026Apr 17, 2026

• runtime

  Public

  sireum/runtime’s past year of commit activity
  Slang Runtime Library

  Scala

  •

  BSD 2-Clause "Simplified" License

  •22 forks•00 stars•00 issues•00 pull requests•Updated Apr 17, 2026Apr 17, 2026

• roboto-example

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Apr 13, 2026Apr 13, 2026

• logika

  Public
  Logika Next-Gen Verification Framework for Slang

  Scala

  •

  BSD 2-Clause "Simplified" License

  •11 fork•44 stars•00 issues•00 pull requests•Updated Apr 7, 2026Apr 7, 2026

• proyek

  Public
  Module-Incremental/Parallel Build Tool for Slang Projects

  Scala

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 6, 2026Apr 6, 2026

• parser

  Public
  Sireum Parser Generator

  Java

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 31, 2026Mar 31, 2026

• gh-pages-hamr

  Public
  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 30, 2026Mar 30, 2026

• bin-install

  Public
  Batchfile

  •00 forks•00 stars•11 issue•00 pull requests•Updated Mar 27, 2026Mar 27, 2026

• tools

  Public
  Slang Utility/CodeGen Tools

  Scala

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 27, 2026Mar 27, 2026

• osate-plugin

  Public
  OSATE Plugin

  Java

  •11 fork•33 stars•00 issues•00 pull requests•Updated Mar 26, 2026Mar 26, 2026

• aadl-gumbo

  Public
  Java

  •00 forks•11 star•00 issues•00 pull requests•Updated Mar 26, 2026Mar 26, 2026

• aadl-gumbo-update-site

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Mar 26, 2026Mar 26, 2026

• transpilers

  Public
  Slang Transpilers

  Scala

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 26, 2026Mar 26, 2026

• server

  Public
  Sireum Server

  Scala

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 26, 2026Mar 26, 2026

• infoflow

  Public
  Scala

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 26, 2026Mar 26, 2026

• alir

  Public
  Slang Flow Analysis

  Scala

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 26, 2026Mar 26, 2026

• hugo-theme

  Public
  Pretty basic theme for Hugo that covers all of the essentials. All you have to do is start typing!

  HTML

  •

  Other

  •1.3k1.3k forks•00 stars•00 issues•00 pull requests•Updated Mar 25, 2026Mar 25, 2026

• vscode-extension

  Public
  JavaScript

  •

  BSD 2-Clause "Simplified" License

  •11 fork•11 star•11 issue•00 pull requests•Updated Mar 10, 2026Mar 10, 2026

• sysml-v2-lsp

  Public
  Java

  •

  GNU Lesser General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 10, 2026Mar 10, 2026

• forms

  Public
  Scala

  •

  BSD 2-Clause "Simplified" License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 10, 2026Mar 10, 2026

• tesseract-wasm-server

  Public
  Scala

  •

  BSD 2-Clause "Simplified" License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 9, 2026Mar 9, 2026

• presentasi-example

  Public
  Sireum Presentasi Example

  Batchfile

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 9, 2026Mar 9, 2026

• sysml-v2

  Public
  SysIDE provides SysML v2 language support in VS Code

  TypeScript

  •

  Other

  •1717 forks•00 stars•00 issues•00 pull requests•Updated Mar 9, 2026Mar 9, 2026

• 7zz-wasm-server

  Public
  Scala

  •

  BSD 2-Clause "Simplified" License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 3, 2026Mar 3, 2026