Maximilian Michels (@mxm)
github

mxm

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    26
  • Global Rank 542,735 (Top 19 %)
  • Followers 73
  • Following 18
  • Registered over 13 years ago
  • Most used languages
    Java
         33.3 %
    MATLAB
         16.7 %
    Python
         16.7 %
    Kotlin
         8.3 %
    TLA     8.3 %
    Scala
         8.3 %
    Erlang
         8.3 %
  • Location πŸ‡©πŸ‡ͺ Germany
  • Country Total Rank 22,354
  • Country Ranking
    TLA     3
    Erlang
         124
    MATLAB
         508
    Scala
         775
    Kotlin
         1,965
    Java
         4,001

Top repositories

1

TLA-plus-video-course

Exercises from Leslie Lamport's video course on TLA+
TLA
4
star
2

vs

Verteilte Systeme
Erlang
3
star
3

paxos

A basic implementation of Paxos for reaching consensus with an arbitrary number of Proposers/Acceptors/Learners
Java
3
star
4

Search-Engine-Design

Java
2
star
5

Bildverarbeitung

MATLAB
2
star
6

yoka

Run performance tests in the cloud.
Python
2
star
7

Computergrafik

Computergrafik
MATLAB
2
star
8

uebersetzerbau

Java
2
star
9

tiny-vm

A Kotlin project to implement a basic virtual machine
Kotlin
1
star
10

wgmanager

Tool to help communities keep track of their spendings.
Python
1
star
11

flakka

A custom Akka 2.3 fork with https://github.com/akka/akka/pull/15610 applied
Scala
1
star
12

flink-dataflow

Google Dataflow Runner for Apache Flink
Java
1
star