Pinned Loading

1. better-type-hover better-type-hover Public

   Neovim plugin for an improved version of the type hover in typescript (i.e. vim.lsp.buf.hover())

   Lua 68 2

2. Strategy-Pattern-with-different-parameters Strategy-Pattern-with-different-parameters Public

   Java 7

3. recolor-ticket-system recolor-ticket-system Public

   A ticket system to submit recoloring tasks

   TypeScript

4. property-based-testing-of-smart-contracts property-based-testing-of-smart-contracts Public

   Rust

5. DNS DNS Public

   Proof-of-stake blockchain based on the descriptions of the handins of the "Distributed Systems and Security" course, computer science bachelor, Aarhus University 2021.

   Go

6. Culprit Culprit Public

   This java app generates a static website on the basis of a collection of .md files. As you type in text in a .md file, it will automatically regenerate the static html for that specific .md file an…

   Java