Skip to content
View nondeterministic's full-sized avatar
12 followers · 8 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull SharkAchievement: Starstruck
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull SharkAchievement: Starstruck
BetaSend feedback
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.

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

Pinned

  1. oorep oorep Public

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

    Scala 11 8

  2. oorep_importer oorep_importer Public

    Convert and import repertory data to OOREP

    Python

  3. ltl3tools ltl3tools Public

    Convert LTL formulas into finite-state automata for monitoring

    OCaml 7 1

  4. oorep_idp_theme oorep_idp_theme Public

    A simplesamlphp theme to be used with OOREP

    Twig

  5. eureka eureka Public

    Old-school CRPG engine, editor and game

    C++ 44 2

  6. mailfilter mailfilter Public

    Remotely filters out spam in POP-accounts via regular expressions

    C++ 2 4