Block or report user

Popular repositories

  1. sp-kernel

    My thesis project; comparing approximate versions of the shortest-path kernel for graphs on accuracy and runtime.

    0 Matlab

  2. shrdlite-course-project

    Forked from ChalmersGU-AI-course/shrdlite-course-project

    Jonatan's sandbox version of the shrdlite course project

    0 TypeScript

  3. tipcheck

    Forked from koengit/tipcheck

    QuickCheck for tip

    0 Haskell

  4. supermini

    Forked from niklasso/supermini

    A CMake super-project of MiniSat related tools and libraries for easier building

    0 CMake

  5. mcl

    Forked from niklasso/mcl

    Simple circuit library for MiniSat

    0 C++

  6. minisat

    Forked from niklasso/minisat

    A minimalistic and high-performance SAT solver

    0 C++

30 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

October 2016

Created 23 commits in 1 repository

pierg/wasp_cht2_catkin 23 commits

Created 4 repositories

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