Pinned Loading

1. minimal minimal Public

   Minimal color scheme for Vim

   Vim Script 33 7

2. minimal-intellij minimal-intellij Public

   A minimal light theme for IntelliJ editors

   Kotlin 7

3. agda-template agda-template Public template

   A template for an Agda project with automatic GitHub Pages support

   CSS 7 1