Skip to content
View jaakson's full-sized avatar
:octocat:
:octocat:

Block or report jaakson

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

    A model checker for hybrid logics

    Haskell 1

  2. polygen polygen Public

    A generator of polynomial expressions satisfying various constraints

    Prolog 1

  3. isNetworkBalanced isNetworkBalanced Public

    Python

  4. GameOfLife GameOfLife Public

    Python

  5. simpleimed simpleimed Public

    A simple image modifier made in Python.

    Python

  6. simpleProgLang simpleProgLang Public

    A parser and evaluator for a simple programming language

    Haskell