Block or report user
  • University of St Andrews
  • United Kingdom


@idris-hackers @gap-system @gapdays @ReScience @OpenDreamKit @gap-packages @CIRCA-StAndrews

Popular repositories

  1. cloudgap

    JupyterHub styling for

    JavaScript 2

  2. 9p2000

    Plan9 protocol implementation in Idris using @edwinb's Protocols

    Idris 1

  3. idris-c-boehm

    Idris Codegen that uses the Boehm garbage collector

    Haskell 1

  4. MajoranaAlgebras

    Forked from MWhybrow92/MajoranaAlgebras

    GAP 1

  5. Idris-dev

    Forked from idris-lang/Idris-dev

    A Dependently Typed Functional Programming Language


  6. genss

    Forked from gap-packages/genss

    The GAP package genss for randomised Schreier-Sims


892 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

March 2017

Created a pull request in fingolfin/gap that received 17 comments

Make it possible to build GAP as a dynamic library

Don't merge this yet, it's a prototype, but I am making the PR for comments etc.

Created an issue in fingolfin/gap that received 12 comments

Include paths <src/foo.h> not appropriate for installed library?

I think if GAP is installed and used as a library, users would expect to #include <gap/foo.h>. This is of course somewhat related to sorting out th…

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