Skip to content
View MirkoBonadei's full-sized avatar

Organizations

@Spawnfest2012 @espresso-beam @webrtc

Block or report MirkoBonadei

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. dgol dgol Public

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

    Erlang 11

  2. designing-for-scalability-with-erlang-otp-exercises designing-for-scalability-with-erlang-otp-exercises Public

    “Designing for Scalability with Erlang/OTP” book exercises

    Erlang 6 2

  3. journey-towards-property-based-testing journey-towards-property-based-testing Public

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

    Erlang 5

  4. quorum quorum Public

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

    Erlang 3

  5. Erlang-Programming-Exercises Erlang-Programming-Exercises Public

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

    Erlang 2 1

  6. Regexp-NFA-Prolog-Compiler Regexp-NFA-Prolog-Compiler Public

    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…

    Prolog 2