Skip to content
Avatar

Achievements

Achievements

Block or Report

Block or report nondeterministic

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.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. oorep Public

    OOREP is an open online repertory for homeopathy. You can find out more info on https://www.oorep.com/.

    Scala 5 2

  2. Convert and import repertory data to OOREP

    Python

  3. ltl3tools Public

    Convert LTL formulas into finite-state automata for monitoring

    OCaml 6 1

  4. A simplesamlphp theme to be used with OOREP

    PHP

  5. eureka Public

    Old-school CRPG engine, editor and game

    C++ 40 1

  6. mailfilter Public

    Remotely filters out spam in POP-accounts via regular expressions

    C++ 1 2

29 contributions in the last year

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

Contribution activity

May 2022

Created 10 commits in 1 repository

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