Skip to content
View nlintas's full-sized avatar
  • University of Sheffield - University of York
  • Sheffield S10 2TN - Heslington York | United Kingdom

Block or report nlintas

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. 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

  2. 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

  3. 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

  4. 5MineIt-Prototype-Game 5MineIt-Prototype-Game Public

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

    GDScript 1

  5. AI-Using-NLP-Tests AI-Using-NLP-Tests Public

    These are a series of tests that were made using a Natural Language Processing (NLP) type of programming language.

    Prolog 1

  6. 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 1