Skip to content
View ska80's full-sized avatar
  • Bishkek, Kyrgyzstan

Organizations

@idris-community

Block or report ska80

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. tinygl tinygl Public

    TinyGL : a Small, Free and Fast Subset of OpenGL*

    C 100 14

  2. thinlisp thinlisp Public

    ThinLisp is an open source Lisp to C translator.

    Common Lisp 31 3

  3. cl-muproc cl-muproc Public

    Fork of CL-MUPROC

    Common Lisp 6 2

  4. idris2-server idris2-server Public

    A dependently typed server framework for Idris

    Idris 6 1

  5. cltl2-docs cltl2-docs Public

    Common Lisp the Language, 2nd Edition

    TeX 5 1

  6. qemacs qemacs Public

    QEmacs (for Quick Emacs) is a very small but powerful UNIX editor

    C 2 3