Nick the Community Scientist's repositories
Verified-Safety-Railway-Promela-Spin-Model
TerminalLine: Modelling and verifying a safe railway network using Promela and the SPIN Model Checker. Uses Linear Temporal Logic (LTL) formulas.
5MineIt-Prototype-Game
5MineIt is a computer game prototype available for Mac OS X (or newer) and Windows.
AI-Using-NLP-Tests
These are a series of tests that were made using a Natural Language Processing (NLP) type of programming language.
android-movie-app-cw
A simple movie review Android app that works with the TMDB REST API.
Auction-System-in-Java
Auction system with a client - server design allowing for multiple clients to host or be part of auctions.
Forest-Simulator-in-Processing
The forest simulator is a simulation game that combined research with the creation of a game that strongly simulates a real environment.
github-issue-templates
:symbols: A collection of GitHub issue and pull request templates
JAX-RS-Restful-Server-Client-Java-and-Web-App
It is a client-server application for persisting and reporting COVID-19 data. It has two clients however, a Java and a web client.
LAN-Simulator-in-Java
LAN simulator with maximum operational efficiency in mind.
MVVM-Example-Kotlin
A sample repository for MVVM architecture with dagger2 and databinding in Android written in Kotlin
Operating-System-Simulator-in-Processing
The simulation shows the interactions between hardware and an operating system at an abstract level.
Processing-IDE-Game-Dev-Entry-Level-Samples
Some samples used to learn the Processing IDE. Used for training for simulation games in the Processing IDE and then extending to game development in game engines (e.g. Godot).
Prolognite-Singleplayer-Game-in-Prolog-with-AI
Prolognite is a single-player strategy digital board game with AI written in the Prolog NLP programming language.