Repositories list

• P9-BW-ADD

  Public
  This is the 9th semester project for implementing the Baum-Welch (BW) algorithm using Algebraic Decision Diagrams (ADD).

  parameter-estimationdecision-diagramsbaum-welch+ 1markov-models

  TeX

  •

  MIT License

  •0•2•0•2•Updated Aug 18, 2025Aug 18, 2025

• P10-Curdleproofs

  Public
  TeX

  •

  MIT License

  •0•0•0•2•Updated Aug 12, 2025Aug 12, 2025

• project-template

  Public template
  Project template for AAU semester projects. Setup for LaTeX with IntelliJ and VS Code.

  templateproject-management

  TeX

  •

  MIT License

  •0•0•0•1•Updated Aug 12, 2025Aug 12, 2025

• P10-Thesis

  Public
  This is the final semester project at Aalborg University. We develop CuPAAL version 2.0, implementing the Baum-Welch algorithm for Hidden Markov Models and Markov Decision Processes.

  TeX

  •

  MIT License

  •0•0•4•3•Updated Aug 11, 2025Aug 11, 2025

• CuPAAL

  Public
  Baum-Welch with Algebraic Decision Diagrams, extending on the CUDD library

  cudddecision-diagramsbaum-welch-algorithm+ 1markov-models

  C++

  •0•0•7•1•Updated Jun 13, 2025Jun 13, 2025

• P7-sudd

  Public
  Decision Diagrams for use in Jajapy (https://github.com/Rapfff/jajapy)

  Python

  •

  MIT License

  •0•0•0•0•Updated May 20, 2025May 20, 2025

• curdleproofsplus

  Public
  Rust

  •0•0•0•0•Updated May 15, 2025May 15, 2025

• P7-scalable-parameter-estimation-for-markov-models

  Public
  TeX

  •0•0•0•0•Updated Jan 13, 2025Jan 13, 2025

• giovanni-notes

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

• cudd

  Public
  CUDD: CU Decision Diagram package - with CMake and extended C++

  C

  •

  BSD 3-Clause "New" or "Revised" License

  •3•0•0•0•Updated Oct 24, 2024Oct 24, 2024

• P8-supporting-schema-creation

  Public
  8th semester project concerning database schema design.

  schemainnovationdatabase-management+ 2reliablesystem-design

  TeX

  •

  MIT License

  •0•0•16•1•Updated May 28, 2024May 28, 2024

• P8-07-test

  Public
  Repository for group 7 for the semester project of the 8. semester in Computer Science on AAU

  TeX

  •

  MIT License

  •0•0•0•1•Updated Apr 29, 2024Apr 29, 2024

• test

  Public
  test

  TeX

  •

  MIT License

  •0•0•0•1•Updated Apr 29, 2024Apr 29, 2024

• scripts

  Public
  Shell

  •0•0•0•0•Updated Feb 21, 2024Feb 21, 2024

• P6-good-description-for-graphs

  Public
  Research into a framework/language for describing RDF endpoints to enable effective query federation.

  sparqlrdfvoid+ 1graphdb

  Jupyter Notebook

  •0•1•17•0•Updated Feb 20, 2024Feb 20, 2024

• QIC

  Public
  Devcontainer for the Quantum Information and Computing course.

  MIT License

  •0•0•0•0•Updated Feb 20, 2024Feb 20, 2024

• .github

  Public
  Default community health files

  MIT License

  •0•0•0•0•Updated Jan 23, 2024Jan 23, 2024

• demo-repository

  Public
  A code repository designed to show the best GitHub has to offer.

  HTML

  •0•0•1•1•Updated Jan 23, 2024Jan 23, 2024

• P5-Nonlinear-Dimensionality-Reduction

  Public
  5th semester project concerning feature engineering and nonlinear dimensionality reduction in particular.

  computer-visionmnistdimensionality-reduction+ 8logistic-regressionfeature-engineeringconvolutional-neural-networkprincipal-component-analysislinear-discriminant-analysisisomapkernel-pca+ 1

  Jupyter Notebook

  •2•2•2•0•Updated Jun 6, 2023Jun 6, 2023

• P6-unsupervised-image-classification

  Public
  It would be good if we could use an unsupervised deep learning model in image classification to decrease the cost of labelling. Can we do that?

  Python

  •0•0•0•0•Updated May 25, 2023May 25, 2023

• P5-Knee-Surgery

  Public
  Python

  •0•0•0•0•Updated Dec 19, 2022Dec 19, 2022

• scrummaster-discord

  Public
  Github action to determine a team's scrummasters and post it in the team discord.

  JavaScript

  •0•0•0•0•Updated Aug 23, 2022Aug 23, 2022

• templates

  Public template
  LaTeX templates with settings files, for working in Visual Studio Code.

  TeX

  •

  BSD 3-Clause "New" or "Revised" License

  •0•1•0•0•Updated Aug 17, 2022Aug 17, 2022

• P4-Concurrent-Arduino

  Public
  Extension of the arduino programming language to handle concurrency.

  TeX

  •0•0•0•0•Updated May 28, 2022May 28, 2022

• cli

  Public
  Command-line interface for students at the department of computer science at AAU.

  Rust

  •0•0•0•0•Updated May 9, 2022May 9, 2022

• P3-Code-Bookingsystem

  Public
  A booking system, created as a third semester project

  HTML

  •0•0•0•0•Updated Dec 14, 2021Dec 14, 2021

• action-test

  Public
  Just for testing actions

  0•0•0•0•Updated Oct 12, 2021Oct 12, 2021

• automate-team-responsibilities

  Public
  JavaScript

  •0•0•0•0•Updated Oct 8, 2021Oct 8, 2021