Popular repositories Loading

1. Idris2 Idris2 Public

   Forked from idris-lang/Idris2

   Idris2

   Idris 4 1

2. nanogui nanogui Public

   Forked from wjakob/nanogui

   Minimalistic GUI library for OpenGL

   C++

3. vimr vimr Public

   Forked from qvacua/vimr

   VimR — Neovim GUI for macOS

   Swift

4. NeoSolarized NeoSolarized Public

   Forked from overcache/NeoSolarized

   NeoSolarized: A fixed solarized colorscheme for better truecolor support.

   Vim Script

5. Idris2-boot Idris2-boot Public

   Forked from edwinb/Idris2-boot

   A dependently typed programming language, a successor to Idris, with an incomplete ECMAScript backend

   Idris

6. chihaya chihaya Public

   Forked from chihaya/chihaya

   A customizable, multi-protocol BitTorrent Tracker

   Go