Repositories list

• kekinian

  Public
  Sireum: A High Assurance System Engineering Platform

  Scala

  •

  BSD 2-Clause "Simplified" License

  •55 forks•2929 stars•00 issues•00 pull requests•Updated Sep 1, 2026Sep 1, 2026

• slang

  Public
  The Sireum Programming Language (Slang)

  Scala

  •11 fork•88 stars•00 issues•11 pull request•Updated Sep 1, 2026Sep 1, 2026

• runtime

  Public
  Slang Runtime Library

  Scala

  •

  BSD 2-Clause "Simplified" License

  •22 forks•00 stars•00 issues•00 pull requests•Updated Sep 1, 2026Sep 1, 2026

• proyek

  Public
  Module-Incremental/Parallel Build Tool for Slang Projects

  Scala

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

• gh-pages-sireum

  Public
  GitHub Pages

  HTML

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

• hamr-codegen

  Public
  Scala

  •

  BSD 2-Clause "Simplified" License

  •22 forks•22 stars•22 issues•22 pull requests•Updated Aug 26, 2026Aug 26, 2026

• hamr-codegen-test

  Public
  Scala

  •11 fork•00 stars•00 issues•11 pull request•Updated Aug 26, 2026Aug 26, 2026

• anvil

  Public
  Scala

  •11 fork•00 stars•00 issues•11 pull request•Updated Aug 26, 2026Aug 26, 2026

• parser

  Public
  Sireum Parser Generator

  Java

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

• transpilers

  Public
  Slang Transpilers

  Scala

  •11 fork•00 stars•00 issues•11 pull request•Updated Aug 26, 2026Aug 26, 2026

• gh-pages-hamr

  Public
  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 25, 2026Aug 25, 2026

• logika

  Public
  Logika Next-Gen Verification Framework for Slang

  Scala

  •

  BSD 2-Clause "Simplified" License

  •22 forks•66 stars•00 issues•11 pull request•Updated Aug 25, 2026Aug 25, 2026

• bin-install

  Public
  Batchfile

  •00 forks•00 stars•11 issue•00 pull requests•Updated Aug 12, 2026Aug 12, 2026

• hamr-sysml

  Public
  Scala

  •

  BSD 2-Clause "Simplified" License

  •11 fork•22 stars•00 issues•11 pull request•Updated Aug 10, 2026Aug 10, 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.2k1.2k forks•00 stars•00 issues•00 pull requests•Updated Jul 17, 2026Jul 17, 2026

• forms

  Public
  Scala

  •

  BSD 2-Clause "Simplified" License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 17, 2026Jul 17, 2026

• tools

  Public
  Slang Utility/CodeGen Tools

  Scala

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 15, 2026Jul 15, 2026

• cvc5-wasm-server

  Public
  Scala

  •

  BSD 2-Clause "Simplified" License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 14, 2026Jul 14, 2026

• 7zz-wasm-server

  Public
  Scala

  •

  BSD 2-Clause "Simplified" License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 14, 2026Jul 14, 2026

• build-7zz

  Public
  Scala

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 14, 2026Jul 14, 2026

• osate-update-site

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

• osate-plugin

  Public
  OSATE Plugin

  Java

  •11 fork•33 stars•00 issues•00 pull requests•Updated Jul 13, 2026Jul 13, 2026

• sysml-v2

  Public
  SysIDE provides SysML v2 language support in VS Code

  TypeScript

  •

  Other

  •1919 forks•00 stars•00 issues•00 pull requests•Updated Jun 30, 2026Jun 30, 2026

• vscode-extension

  Public
  JavaScript

  •

  BSD 2-Clause "Simplified" License

  •11 fork•11 star•11 issue•00 pull requests•Updated Jun 30, 2026Jun 30, 2026

• air

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

  Scala

  •

  BSD 2-Clause "Simplified" License

  •11 fork•33 stars•00 issues•11 pull request•Updated Jun 26, 2026Jun 26, 2026

• hamr-sysml-parser

  Public
  SysML v2 Parser for HAMR

  Java

  •33 forks•1414 stars•11 issue•11 pull request•Updated Jun 26, 2026Jun 26, 2026

• aadl-gumbo

  Public
  Java

  •11 fork•11 star•00 issues•11 pull request•Updated Jun 25, 2026Jun 25, 2026

• aadl-gumbo-update-site

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Jun 25, 2026Jun 25, 2026

• presentasi-example

  Public
  Sireum Presentasi Example

  Batchfile

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 12, 2026Jun 12, 2026

• website-v

  Public
  CSS

  •

  Other

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