Block or report user

Pinned repositories

  1. hkanren

    Haskell DSL for miniKanren

    5 Haskell

  2. diff-trees

    Playground for diff algorithms on various tree structures

    1 Haskell

  3. kievfprog2015

    Slides for my "Unifying parsing and prettyprinting" talk

    1 HTML

  4. tags-server

    Server that looks up haskell entities, similar to tags in editors but more precise

    1 Haskell

  5. turtle-geometry

    Command turtle graphics using Scheme dialect on your Android

    1 Clojure

  6. random-program-generation

    Investigate ways to generate random program that satisfy some predicates (e.g. are well-typed, evaluate to something, etc)

    1 Haskell

775 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

September 2016

Created 53 commits in 2 repositories

sergv/dotemacs 52 commits
sergv/agda-mode 1 commit

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