Giuseppe Lomurno (@ShinKage)
github

ShinKage

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    63
  • Global Rank 288,709 (Top 10 %)
  • Followers 10
  • Registered almost 13 years ago
  • Most used languages
    Lua
         50.0 %
    Idris     50.0 %
  • Location 🇮🇹 Italy
  • Country Total Rank 2,709
  • Country Ranking
    Idris     1
    Lua
         20

Top repositories

1

idris2-nvim

Simple configuration and extra tools for NVIM + LSP + Idris2
Lua
45
star
2

nvim-idris2

EXPERIMENTAL: Idris2 plugin for neovim in Idris2
Lua
10
star
3

idris2-sdl

Experimental SDL2 bindings for Idris2
Idris
6
star
4

rewrite

Verified directed graph rewriting with Idris
Idris
2
star