-
rtl-mc Public
Model Checking Linear Temporal Properties on Polyhedral Systems - Master's Thesis in Computer Science
C++ MIT License UpdatedJun 16, 2025 -
secure-photo-hub Public
A REST API for securely storing and managing photos and albums
-
-
k8s-job-webhooks 8000 Public
A K8S client application that monitors Jobs and triggers webhooks upon Job completion.
-
rust-model-checking Public
Let's try to implement some model checking algorithms in Rust, just for fun!
Rust UpdatedSep 21, 2024 -
async-traceroute Public
Async Traceroute library/command-line tool in Rust
-
concurrent-el-reasoner Public
Concurrent Classification of EL++ Ontologies
Java UpdatedMar 26, 2024 -
restful-booker-platform Public
A SaaS platform used for various test automation and CI/CD pipeline experiments
Java GNU General Public License v3.0 UpdatedJan 27, 2024 -
rbp-jenkins-shared-library Public
Shared Groovy library for Jenkins in Restful Booker Platform project
Groovy UpdatedJan 20, 2024 -
turing-machine-simulator Public
A Turing machine simulator written in Java
-
sensorwave Public
IoT application built for real-time monitoring and control of sensors.
Java UpdatedNov 7, 2023 -
-
freight-traffic-analysis Public
Forked from ralphthegod/freight-traffic-analysisThe goal of this repository is to enable full-stack development of an environment for processing, storing, and analyzing raw freight transport traffic data. This comprehensive platform seamlessly i…
Dart UpdatedSep 18, 2023 -
python-algorithms Public
This repository contains various Python algorithms that cover a wide range of problem-solving scenarios.
graph astar-algorithm python3 backtracking-algorithm csp-solver python-algorithms minimax-alpha-beta-pruningPython UpdatedAug 28, 2023 -
The objective of this repository is to provide a learning and experimentation environment to better understand the details and fundamental concepts of neural networks by building neural networks fr…
-
keepmovies-tdd-demo-starter Public
Forked from luistar/keepmovies-tdd-demo-starterStarter repository for the KeepMovies TDD exercise.
Java UpdatedMay 8, 2023 -
unit-testing-assignment Public
Forked from luistar/unit-testing-assignmentGet your hands dirty with Unit Testing, Hamcrest and Mocks. Assignment for the students of the Software Project Management and Evolution course at UniNA.
Java UpdatedMay 4, 2023 -
sportsclub-restapi-toysystem Public
Backend REST API built with Java and Spring Boot 3.0. Application testing with different high performance JVMs (like GraalVM and Eclipse OpenJ9) and application testing using AOT compilation by bui…
-
-
java-problems Public
Solutions for various types of medium-to-challenging level problems.
java functional-programming solutions lambda-functions stream-processing concurrent-programming thread-poolJava UpdatedFeb 14, 2023 -
Parallel and distributed computing problems with C and OpenMPI
C UpdatedDec 29, 2022 -
na-tour Public
A modern social network for hikers
{{ message }}