8000 Software Engineering @ Bauhaus-Universität Weimar · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@se-buw

Software Engineering @ Bauhaus-Universität Weimar

Software Enginerring group at Bauhaus-Universität Weimar

Pinned Loading

  1. fm-playground fm-playground Public

    A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra

    TypeScript 11 3

  2. java-gradle-template java-gradle-template Public template

    A template java project usiing gradle and basic dependencies

    Java 1

  3. python-poetry-template python-poetry-template Public template

    A template for python projects with poetry as package manager

    Python

  4. gendev.lab1 gendev.lab1 Public template

    Java

  5. fm4se-alloy-cli-template fm4se-alloy-cli-template Public template

    Java

Repositories

Showing 10 of 37 repositories
  • fm-playground Public

    A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra

    se-buw/fm-playground’s past year of commit activity
    TypeScript 11 MIT 3 1 0 Updated May 10, 2025
  • 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 0 0 0 Updated Apr 29, 2025
  • gse Public
    se-buw/gse’s past year of commit activity
    HTML 0 0 0 0 Updated Apr 29, 2025
  • gendev.lab1 Public template
    se-buw/gendev.lab1’s past year of commit activity
    Java 0 0 0 0 Updated Apr 28, 2025
  • emf-tutorial-part1 Public
    se-buw/emf-tutorial-part1’s past year of commit activity
    Java 0 0 0 0 Updated Apr 27, 2025
  • umami Public Forked from umami-software/umami

    Umami is a simple, fast, privacy-focused alternative to Google Analytics.

    se-buw/umami’s past year of commit activity
    TypeScript 0 MIT 4,901 0 0 Updated Apr 16, 2025
  • seav Public

    Software Engineering for Autonomous Vehicles

    se-buw/seav’s past year of commit activity
    C++ 1 1 7 (1 issue needs help) 0 Updated Apr 13, 2025
  • alloy-metrics Public

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

    se-buw/alloy-metrics’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Feb 14, 2025
  • limboole-langium Public

    Limboole Language Server

    se-buw/limboole-langium’s past year of commit activity
    TypeScript 2 0 0 0 Updated Jan 14, 2025
  • fm4se-ltl-modelchecking Public template
    se-buw/fm4se-ltl-modelchecking’s past year of commit activity
    Java 0 Apache-2.0 0 0 0 Updated Jan 6, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…
0