All

28 repositories

P10-Curdleproofs
Public
TeX
•
MIT License
•1•0•0•4•Updated Dec 15, 2025Dec 15, 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 Mark…
TeX
•
MIT License
•0•0•4•4•Updated Dec 15, 2025Dec 15, 2025
P9-BW-ADD
Public
This is the 9th semester project for implementing the Baum-Welch (BW) algorithm using Algebraic Decision Diagrams (ADD).
parameter-estimation decision-diagrams baum-welch
parameter-estimation decision-diagrams baum-welch markov-models
TeX
•
MIT License
•0•2•0•4•Updated Dec 15, 2025Dec 15, 2025
project-template
Public template
Project template for AAU semester projects. Setup for LaTeX with IntelliJ and VS Code.
template project-management
template project-management
TeX
•
MIT License
•0•0•0•1•Updated Nov 24, 2025Nov 24, 2025
CuPAAL
Public
Baum-Welch with Algebraic Decision Diagrams, extending on the CUDD library
cudd decision-diagrams baum-welch-algorithm
cudd decision-diagrams baum-welch-algorithm markov-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
•1•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
•5•0•0•0•Updated Oct 24, 2024Oct 24, 2024
P8-supporting-schema-creation
Public
8th semester project concerning database schema design.
schema innovation database-management
schema innovation database-management reliable system-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.
sparql rdf void
sparql rdf void graphdb
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.
machine-learning computer-vision mnist
machine-learning computer-vision mnist dimensionality-reduction logistic-regression feature-engineering convolutional-neural-network principal-component-analysis linear-discriminant-analysis isomap
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•1•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

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

AAU-Dat

All

All

28 repositories

P10-Curdleproofs

P10-Thesis

P9-BW-ADD

project-template

CuPAAL

P7-sudd

curdleproofsplus

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

giovanni-notes

cudd

P8-supporting-schema-creation

P8-07-test

test

scripts

P6-good-description-for-graphs

QIC

.github

demo-repository

P5-Nonlinear-Dimensionality-Reduction

P6-unsupervised-image-classification

P5-Knee-Surgery

scrummaster-discord

templates

P4-Concurrent-Arduino

cli

P3-Code-Bookingsystem

action-test

automate-team-responsibilities

All

All

Repositories list

28 repositories