Skip to content
View maxpohlmann's full-sized avatar
7 followers · 3 following
  • Potsdam

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: YOLOAchievement: Pull Sharkx2
BetaSend feedback

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: YOLOAchievement: Pull Sharkx2
BetaSend feedback

Highlights

  • Pro
Block or Report

Block or report maxpohlmann

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

  1. Alonzo Alonzo Public

    An implementation of untyped λ-calculus (lambda calculus) in Elixir

    Elixir 2 1

  2. Reducing-Reactive-to-Strong-Bisimilarity Reducing-Reactive-to-Strong-Bisimilarity Public

    My B.Sc. thesis: A formalisation of strong reactive bisimilarity (as introduced by Rob van Glabbeek) in Isabelle/HOL. Includes Isabelle-formalisations of labelled transition systems, ordinary stron…

    HTML

  3. homepage homepage Public

    HTML

  4. and and Public

    My M.Sc. thesis and related essays.

    HTML

  5. quantum-core quantum-core Public

    Forked from quantum-elixir/quantum-core

    ⌚ Cron-like job scheduler for Elixir

    Elixir