Skip to content
View ShinKage's full-sized avatar
10 followers · 0 following
  • Italia

Achievements

Achievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report ShinKage

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. idris2-nvim idris2-nvim Public

    Simple configuration and extra tools for NVIM + LSP + Idris2

    Lua 46 8

  2. nvim-idris2 nvim-idris2 Public archive

    EXPERIMENTAL: Idris2 plugin for neovim in Idris2

    Lua 10 3

  3. idris2-sdl idris2-sdl Public

    Experimental SDL2 bindings for Idris2

    Idris 6 2

  4. rewrite rewrite Public

    Verified directed graph rewriting with Idris

    Idris 2

  5. lambda lambda Public

    Pet language

    Haskell

  6. DT-TicTacToe DT-TicTacToe Public

    Dependently typed TicTacToe engines

    Idris