Skip to content
@se-buw

Software Engineering @ Bauhaus-Universität Weimar

Software Enginerring group at Bauhaus-Universität Weimar

Pinned Loading

  1. se-buw.github.io se-buw.github.io Public

    https://se-buw.de

    HTML

  2. alloy-redundancy alloy-redundancy Public

    Forked from AlloyTools/org.alloytools.alloy

    Alloy Redundancy Analyzer is an enhanced, customized distribution of the official Alloy Analyzer, designed to automatically detect, compute maximal sets of, and explain redundant constraints in All…

    Java

  3. MLDiff MLDiff Public

    Comparing learned classifiers usning SMT Solver

    Python

  4. alloy-metrics alloy-metrics Public

    Artifacts for the paper "On Writing Alloy Models: Metrics and a new Dataset"

    Python

  5. smt-metrics smt-metrics Public

    Artifacts for the paper "On Writing SMT-LIB Scripts: Metrics and a new Dataset"

    Python

  6. java-gradle-template java-gradle-template Public template

    A template java project usiing gradle and basic dependencies

    Java 1

Repositories

Showing 10 of 50 repositories
  • se-slides Public
    se-buw/se-slides's past year of commit activity
    Java 0 0 0 0 Updated Oct 15, 2026
  • intro-java-code Public
    se-buw/intro-java-code's past year of commit activity
    Java 0 0 0 0 Updated Oct 14, 2026
  • se-buw.github.io Public

    https://se-buw.de

    se-buw/se-buw.github.io's past year of commit activity
    HTML 0 MIT 0 0 0 Updated Oct 14, 2026
  • alloy-diff Public Forked from AlloyTools/org.alloytools.alloy
    se-buw/alloy-diff's past year of commit activity
    Java 0 151 0 0 Updated Oct 12, 2026
  • alloy-redundancy Public Forked from AlloyTools/org.alloytools.alloy

    Alloy Redundancy Analyzer is an enhanced, customized distribution of the official Alloy Analyzer, designed to automatically detect, compute maximal sets of, and explain redundant constraints in Alloy specifications.

    se-buw/alloy-redundancy's past year of commit activity
    Java 0 151 0 0 Updated Oct 11, 2026
  • javafx-gradle-template Public template

    basic starter project for JavaFX with gralde (minimum Java 15 required)

    se-buw/javafx-gradle-template's past year of commit activity
    Java 0 1 0 0 Updated Oct 8, 2026
  • fvav Public

    Formally Verified Autonomous Vehicles

    se-buw/fvav's past year of commit activity
    Dafny 0 0 0 0 Updated Sep 30, 2026
  • tex-se-buw Public Forked from yu-i-i/overleaf-cep

    A web-based collaborative LaTeX editor (CE extended with free premium features)

    se-buw/tex-se-buw's past year of commit activity
    JavaScript 0 AGPL-3.0 2,118 0 0 Updated Sep 7, 2026
  • smt-langium Public

    A language server for the SMT-LIB language, providing features like syntax highlighting, autocompletion, and error checking for SMT-LIB files in various editors. It is based on Langium workbench and integrates with the Z3 SMT solver.

    se-buw/smt-langium's past year of commit activity
    TypeScript 1 MIT 0 0 0 Updated Aug 4, 2026
  • limboole-langium Public

    Limboole Language Server

    se-buw/limboole-langium's past year of commit activity
    TypeScript 2 0 0 0 Updated Aug 4, 2026
View all repositories

Most used topics

Loading…