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

Block or report glomurno

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. nvim-idris2 nvim-idris2 Public archive

    EXPERIMENTAL: Idris2 plugin for neovim in Idris2

    Lua 10 3

  2. idris2-sdl idris2-sdl Public

    Experimental SDL2 bindings for Idris2

    Idris 6 2

  3. rewrite rewrite Public

    Verified directed graph rewriting with Idris

    Idris 3

  4. PHDThesis PHDThesis Public

    TeX 2

  5. DT-TicTacToe DT-TicTacToe Public

    Dependently typed TicTacToe engines

    Idris 1

  6. MasterThesis MasterThesis Public

    TeX 1 1