Popular repositories Loading

1. AutomatedReasoning AutomatedReasoning Public

   In this bachelor thesis, I developed a toolkit for automated reasoning and interpolation with ordered resolution.

   Java 3

2. Website-Projects-for-Future Website-Projects-for-Future Public

   A website with vue.js that displays environmental projects for funding.

   Vue 1

3. CipherApp CipherApp Public

   Implementation of an encryption program using Caesar Cipher.

   Java

4. GroceryList GroceryList Public

   Implementation of an android application: Grocery list.

   Java

5. MyLinkedList MyLinkedList Public

   Implementation of a LinkedList

   Java

6. DetectingCyclesInLinkedLists DetectingCyclesInLinkedLists Public

   Implementation of Floyd's Tortoise and Hare Algorithm

   Java