Popular repositories Loading

1. Auction-System-in-Java Auction-System-in-Java Public

   Auction system with a client - server design allowing for multiple clients to host or be part of auctions.

   Java 3 2

2. Verified-Safety-Railway-Promela-Spin-Model Verified-Safety-Railway-Promela-Spin-Model Public

   TerminalLine: Modelling and verifying a safe railway network using Promela and the SPIN Model Checker. Uses Linear Temporal Logic (LTL) formulas.

   HTML 2 2

3. java_cloud_microservices_project java_cloud_microservices_project Public

   Based on coursework which will implement microservices, Netflix Eureka, SpringBoot, Kubernetes and Docker container technologies in Java. The aim is to be able to make file conversions built on mic…

   Java 1

4. memtest_vulkan_oc memtest_vulkan_oc Public

   Forked from GpuZelenograd/memtest_vulkan

   Vulkan GPU memory overclock stability checker. Can also be used as the original creators purpose as a compute tool for testing video memory stability.

   Rust 1

5. Prolognite-Singleplayer-Game-in-Prolog-with-AI Prolognite-Singleplayer-Game-in-Prolog-with-AI Public

   Prolognite is a single-player strategy digital board game with AI written in the Prolog NLP programming language.

   Prolog

6. 5MineIt-Prototype-Game 5MineIt-Prototype-Game Public

   5MineIt is a computer game prototype available for Mac OS X (or newer) and Windows.

   GDScript 1