Pinned Loading

1. dotfiles-neovim dotfiles-neovim Public

   My Neovim configuration

   Lua 1

2. devstronomy devstronomy Public

   Datasets, tools and server related to astronomy for developers who happen to be amateur astronomers.

   2 3

3. dcpl-haskell dcpl-haskell Public

   Haskell companion for "Design Concepts in Programming Languages" textbook

   Haskell 2

4. doh doh Public

   Discrete Optimization in Haskell

   Haskell 2

5. martinovo-auth martinovo-auth Public

   Martinovo Authorization and Authentication playground.

   JavaScript

6. mk-algo mk-algo Public

   Implementation of a random collection of algorithms.

   Java