Mirko Bonadei (MirkoBonadei)

MirkoBonadei

Geek Repo

Github PK Tool:Github PK Tool


Organizations
espresso-beam
Spawnfest2012
webrtc

Mirko Bonadei's repositories

dgol

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

Language:ErlangLicense:MITStargazers:10Issues:4Issues:0

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

“Designing for Scalability with Erlang/OTP” book exercises

Language:ErlangLicense:MITStargazers:6Issues:3Issues:0

journey-towards-property-based-testing

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

quorum

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

Language:ErlangLicense:Apache-2.0Stargazers:3Issues:2Issues:0

distributed-tic-tac-toe

Distributed Tic-Tac-Toe kata in Erlang.

Language:ErlangStargazers:2Issues:2Issues:0

Erlang-Programming-Exercises

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

Language:ErlangStargazers:2Issues:2Issues:0

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.

99_erlang_problems

Keeping myself trained about Erlang

Language:ErlangStargazers:1Issues:2Issues:0

badalisk

erlang proxy server

Language:ErlangLicense:NOASSERTIONStargazers:1Issues:2Issues:0

guava

Google Core Libraries for Java 6+

Language:JavaLicense:Apache-2.0Stargazers:1Issues:2Issues:0

Italian-Erlang-User-Group

Italian Erlang User Group Site

Language:ErlangLicense:NOASSERTIONStargazers:1Issues:2Issues:0

Underscore.php

PHP port of Underscore.js

Language:PHPLicense:MITStargazers:1Issues:2Issues:0

digits-to-string-kata

Incremental Kata to train yourself on TDD and incremental deisign

Stargazers:0Issues:2Issues:0

dotfiles

My configuration files

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:2Issues:0

dynamic-programming-exercises

Some of the most famous dynamic programming problems with solutions

Language:PythonStargazers:0Issues:2Issues:0

erlang-distributed-snapshot

Implementation of Chandy-Lamport algorithm on a single Erlang machine

Language:ErlangStargazers:0Issues:2Issues:0

es6-lambda-calculus

Describing lambda-calculus using ES6 arrow notation (currently only on FF)

Language:JavaScriptLicense:GPL-3.0Stargazers:0Issues:2Issues:0

eunit

The EUnit lightweight unit testing framework for Erlang - this is the canonical development repository.

Language:ErlangLicense:Apache-2.0Stargazers:0Issues:2Issues:0

flatbuffers

FlatBuffers: Memory Efficient Serialization Library

Language:C++License:Apache-2.0Stargazers:0Issues:1Issues:0

proper

PropEr: a QuickCheck-inspired property-based testing tool for Erlang

Language:ErlangLicense:GPL-3.0Stargazers:0Issues:2Issues:0

racket-display-diamond-kata

An interesting exercise to write some racket :-)

Language:RacketStargazers:0Issues:2Issues:0

triq

Trifork QuickCheck

Language:ErlangLicense:Apache-2.0Stargazers:0Issues:2Issues:0