Jann Müller

Programmer

www.linkedin.com/in/jann-müller

Mannheim

Joined on May, 2012•107 repositories

Pull Requests

567

Code Reviews

651

Top Repositories

#

Repository

Stars

Forks

Issues (open)

Contributors

1

j-mueller/dpllt

3

0

0

-1

2

j-mueller/diagrams-svg-virtual-hom

1

0

0

-1

3

j-mueller/concur

1

0

0

-1

4

j-mueller/Agda.tmbundle

1

0

0

-1

5

j-mueller/accelerate-llvm

1

0

0

-1

6

j-mueller/accelerate-io

1

0

0

-1

7

j-mueller/ernie

0

0

3

-1

8

0

0

0

-1

9

j-mueller/easy-bi

0

0

0

-1

10

j-mueller/diagrams-lib

0

0

0

-1

Activity Feed (latest 50)

pushed to main in j-mueller/pw-data

Jul 4, 2025, 6:59 PM

pushed to main in j-mueller/pw-data

Jul 4, 2025, 3:58 PM

pushed to main in j-mueller/pw-data

Jul 4, 2025, 1:09 PM

pushed to main in j-mueller/pw-data

Jul 4, 2025, 9:58 AM

pushed to main in j-mueller/pw-data

Jul 4, 2025, 7:01 AM

pushed to main in j-mueller/pw-data

Jul 4, 2025, 4:32 AM

pushed to main in j-mueller/pw-data

Jul 4, 2025, 4:06 AM

pushed to main in j-mueller/pw-data

Jul 4, 2025, 1:24 AM

pushed to main in j-mueller/pw-data

Jul 3, 2025, 9:58 PM

pushed to main in j-mueller/pw-data

Jul 3, 2025, 6:59 PM

pushed to main in j-mueller/pw-data

Jul 3, 2025, 3:59 PM

pushed to main in j-mueller/pw-data

Jul 3, 2025, 1:08 PM

pushed to main in j-mueller/pw-data

Jul 2, 2025, 3:59 PM

pushed to main in j-mueller/pw-data

Jul 2, 2025, 1:09 PM

pushed to main in j-mueller/pw-data

Jul 2, 2025, 9:58 AM

pushed to main in j-mueller/pw-data

Jul 2, 2025, 7:00 AM

pushed to main in j-mueller/pw-data

Jul 2, 2025, 4:32 AM

pushed to main in j-mueller/pw-data

Jul 2, 2025, 4:07 AM

pushed to main in j-mueller/pw-data

Jul 2, 2025, 1:24 AM

pushed to main in j-mueller/pw-data

Jul 1, 2025, 9:58 PM

pushed to main in j-mueller/pw-data

Jul 1, 2025, 6:59 PM

pushed to main in j-mueller/pw-data

Jul 1, 2025, 3:59 PM

pushed to main in j-mueller/pw-data

Jul 1, 2025, 1:09 PM

pushed to main in j-mueller/pw-data

Jul 1, 2025, 9:58 AM

pushed to main in j-mueller/pw-data

Jul 1, 2025, 7:01 AM

pushed to main in j-mueller/pw-data

Jul 1, 2025, 4:33 AM

pushed to main in j-mueller/pw-data

Jul 1, 2025, 4:12 AM

pushed to main in j-mueller/pw-data

Jul 1, 2025, 1:24 AM

pushed to main in j-mueller/pw-data

Jun 30, 2025, 9:58 PM

pushed to main in j-mueller/pw-data

Jun 30, 2025, 7:00 PM

pushed to main in j-mueller/pw-data

Jun 30, 2025, 3:58 PM

pushed to main in j-mueller/pw-data

Jun 30, 2025, 1:10 PM

pushed to main in j-mueller/pw-data

Jun 30, 2025, 9:58 AM

pushed to main in j-mueller/pw-data

Jun 30, 2025, 7:01 AM

pushed to main in j-mueller/pw-data

Jun 30, 2025, 4:32 AM

pushed to main in j-mueller/pw-data

Jun 30, 2025, 4:09 AM

pushed to main in j-mueller/pw-data

Jun 30, 2025, 1:24 AM

pushed to main in j-mueller/pw-data

Jun 29, 2025, 9:58 PM

pushed to main in j-mueller/pw-data

Jun 29, 2025, 6:58 PM

pushed to main in j-mueller/pw-data

Jun 29, 2025, 3:58 PM

pushed to main in j-mueller/pw-data

Jun 29, 2025, 1:07 PM

pushed to main in j-mueller/pw-data

Jun 29, 2025, 9:58 AM

pushed to main in j-mueller/pw-data

Jun 29, 2025, 6:59 AM

pushed to main in j-mueller/pw-data

Jun 29, 2025, 4:33 AM

pushed to main in j-mueller/pw-data

Jun 29, 2025, 4:10 AM

pushed to main in j-mueller/pw-data

Jun 29, 2025, 1:24 AM

pushed to main in j-mueller/pw-data

Jun 28, 2025, 9:58 PM

pushed to main in j-mueller/pw-data

Jun 28, 2025, 6:58 PM

pushed to main in j-mueller/pw-data

Jun 28, 2025, 3:58 PM

pushed to main in j-mueller/pw-data

Jun 28, 2025, 1:07 PM