Block or report user

Organizations

@arclanguage

Popular repositories

  1. konsole-tomorrow-theme

    Tomorrow color theme for Konsole

    Python 12 4

  2. docs

    XSLT 5 4

  3. crux

    personal Pkgfiles for CRUX

    Shell 5

  4. configs

    Emacs Lisp 2 1

  5. etoyscn

    2

  6. dram.github.com

    JavaScript 2

487 contributions in the last year

May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr Mon Wed Fri

Contribution activity First pull request First issue First repository Joined GitHub

April 2017

Created an issue in potassco/clingo that received 3 comments

Failed to build `wip` branch in CentOS 7

Build wip branch in CentOS 7 failed with following error: [ 47%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/instantiation.cc…

Seeing something unexpected? Take a look at the GitHub profile guide.