Mirko Bonadei (@MirkoBonadei)
github

MirkoBonadei

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    36
  • Global Rank 430,311 (Top 15 %)
  • Followers 81
  • Following 45
  • Registered over 14 years ago
  • Most used languages
    Erlang
         87.5 %
    Prolog
         12.5 %

Top repositories

1

dgol

Distributed game of life (inspired by Torben Hoffman's solution found at https://github.com/lehoff/egol)
Erlang
11
star
2

designing-for-scalability-with-erlang-otp-exercises

โ€œDesigning for Scalability with Erlang/OTPโ€ book exercises
Erlang
6
star
3

journey-towards-property-based-testing

Exercises and resources to learn property based testing. Comments and partecipation are really welcome. :-)
Erlang
5
star
4

quorum

Quorum aims to ensure consensus among a group of erlang processes using the raft consensus algorithm.
Erlang
3
star
5

distributed-tic-tac-toe

Distributed Tic-Tac-Toe kata in Erlang.
Erlang
2
star
6

Erlang-Programming-Exercises

My versions of the exercises you can find in the O'Reilly Erlang Programming Book
Erlang
2
star
7

Regexp-NFA-Prolog-Compiler

This is a project I have developed for a University Exam. It is a Prolog compiler which is able to generate a Nondeterministic Finite Automata from a well-formed RegExp. It is also able to prove if a String is accepted by the language defined by the NFA.
Prolog
2
star
8

99_erlang_problems

Keeping myself trained about Erlang
Erlang
1
star