Pinned Loading

1. AlgoRiddleBackendAPI AlgoRiddleBackendAPI Public

   This repository contains the backend API for AlgoRiddle, a platform for practicing algorithmic challenges inspired by LeetCode. This backend is built using Spring Boot, Gradle, Spring Security with…

   Java

2. AlgoRiddleWebUI AlgoRiddleWebUI Public

   This repository contains an SPA frontend for AlgoRiddle, a platform for practicing algorithmic challenges inspired by LeetCode. This frontend is built using Angular 17, Typescript, Angular Material…

   TypeScript

3. applied_logic applied_logic Public

   This repository contains solutions to labs for course Applied Logic. All problems are solved with Z3 theorem prover.

   SMT

4. functional_programming functional_programming Public

   This repository contains solutions to labs for course Functional Programming. Challenges are solved using Elm programming language.

   Elm

5. minesweeper_ai minesweeper_ai Public

   For our decision theory project we decided to build an Artificial intelligence system in form of rational agent for minesweeper game. We used a value iteration approach that created an abstract pol…

   Jupyter Notebook

6. De-Oefenpraktijk/Manifest-As-Code De-Oefenpraktijk/Manifest-As-Code Public

   Shell 1