@hacklex
github

hacklex

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    46
  • Global Rank 361,689 (Top 13 %)
  • Followers 16
  • Registered over 10 years ago
  • Most used languages
    C#
         60.0 %
    F*     20.0 %
    F#
         20.0 %

Top repositories

1

kohctpyktop

A famous game remake for WPF
C#
23
star
2

AbstractMathTypes

Most basic abstract algebra types
F#
10
star
3

CuteCAS

Abstract Algebra for FStar
F*
7
star
4

PekaCity

2D game stub rendered completely in WPF
C#
3
star
5

FiniteGroupCalc

Simple Finite Group Processing Framework
C#
1
star