nondeterministic

Andreas Bauer's repositories

Old-school CRPG engine, editor and game

Language:C++GPL-3.044 7 2

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

Language:ScalaGPL-3.010 60

Convert LTL formulas into finite-state automata for monitoring

Language:OCamlGPL-2.07 30

Remotely filters out spam in POP-accounts via regular expressions

Language:C++GPL-2.02 6 6

German translation and fork of the OpenRep Free homeopathic tool

Language:JavaNOASSERTION2 20

A minimalistic Scala.js type facade for Notify.js

Language:ScalaMIT1 40

Little lifesavers for everyday admin + programming tasks

020

A simplesamlphp theme to be used with OOREP

Language:TwigGPL-3.0030

Convert and import repertory data to OOREP

Language:PythonGPL-3.0000

An Apache module with a simple SAML 2.0 service provider

Language:CNOASSERTION010

Unified Scala.js + Scala HTTP client API

Language:ScalaMIT030

Only a test

Language:JavaScript000