Skip to content
Block or report user

Report or block redelmann

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
  • EPFL
  • Lausanne

Popular repositories

  1. scat

    Password scatterer. Eliminates password reuse by generating deterministically unique passwords for each service (website, email address, etc.), all from a single password.

    Haskell 33 4

  2. scalatomic

    Scala 11

  3. haskell-distribution

    Haskell package for finite discrete probability distributions.

    Haskell 7 5

  4. Aleatory.js

    A discrete random variable library in Javascript.

    JavaScript 7

  5. polymorph-library

    Library behind the Polymorph password generator.

    Java 2

  6. ninth-age-xml

    Python 1

90 contributions in the last year

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

Contribution activity

March 2019

Created an issue in epfl-lara/inox that received 1 comment

Error with GADTs and function types

When executing stainless on the following program: package object exError { sealed abstract class T[A] case class C_T[A](x: E[A => Boolean]) extends T

1 comment

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

You can’t perform that action at this time.