@mbuszka
github

mbuszka

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    15
  • Global Rank 761,387 (Top 27 %)
  • Followers 14
  • Following 7
  • Registered almost 10 years ago
  • Most used languages
    Haskell
         25.0 %
    C++
         12.5 %
    PureScript     12.5 %
    Prolog
         12.5 %
    Racket
         12.5 %
    Groovy
         12.5 %
    TeX
         12.5 %

Top repositories

1

purescript-record-fold

PureScript
5
star
2

aleph

Haskell
3
star
3

semantic-transformer

Tool transforming evaluators into abstract machines
Racket
2
star
4

university_mia

C++
1
star
5

university_ai

Artificial Intelligence course solutions
Haskell
1
star
6

university_programming-methods

Prolog
1
star
7

university_graph-databases

Groovy
1
star
8

curry-howard

Slides and materials for seminar presentation
TeX
1
star