Markus Himmel (@TwoFX)
github

TwoFX

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    112
  • Global Rank 190,952 (Top 7 %)
  • Followers 23
  • Following 6
  • Registered about 12 years ago
  • Most used languages
    C#
         25.0 %
    Lean     16.7 %
    C++
         16.7 %
    Visual Basic     8.3 %
    Java
         8.3 %
    C
         8.3 %
    PHP
         8.3 %
    TeX
         8.3 %
  • Location 🇩🇪 Germany
  • Country Total Rank 9,258
  • Country Ranking
    Lean     3
    Visual Basic     66
    C#
         1,608
    TeX
         1,785
    C
         6,535
    PHP
         6,544
    C++
         7,463

Top repositories

1

sudoku

A sudoku game where you have to prove that your deductions are valid
Lean
88
star
2

lean-homological-algebra

Lean formalizations of things loosely related to homological algebra
Lean
6
star
3

EZKey

A C#.NET/WPF application for live streamers of real time strategy games to visualize their keyboard usage
C#
5
star
4

HuffmanEncoding

Huffman Encoding in C#
C#
4
star
5

Morris

.NET GUI for Nine Men's Morris
C#
2
star
6

Malom2Morris

Dieses Repository enthält eine modifizierte Version des Quellcodes von Malom3 sowie die Malom2Morris-Brücke
Visual Basic
2
star
7

Lernzettel

TeX
1
star
8

Abschlussaufgaben-Tests1

Sammlung von Tests für die Abschlussaufgabe, die die gesamte Nutzerinteraktion testen
Java
1
star
9

LLVMTypeID

A convenient way of generating an llvm::Type
C++
1
star
10

aoc2021

C++
1
star
11

lean4-afl

Various scripts and data files I use to test Lean 4 using AFL
C
1
star
12

joules-utils

Custom API for Nightbot
PHP
1
star