MirkoBonadei

Pinned Repositories

99_erlang_problems
Keeping myself trained about Erlang
Language:Erlang1 2 00
badalisk
erlang proxy server
Language:Erlang1 2 00
designing-for-scalability-with-erlang-otp-exercises
“Designing for Scalability with Erlang/OTP” book exercises
Language:Erlang6 3 02
dgol
Distributed game of life (inspired by Torben Hoffman's solution found at https://github.com/lehoff/egol)
Language:Erlang11 4 00
distributed-tic-tac-toe
Distributed Tic-Tac-Toe kata in Erlang.
Language:Erlang2 2 01
Erlang-Programming-Exercises
My versions of the exercises you can find in the O'Reilly Erlang Programming Book
Language:Erlang2 2 01
guava
Google Core Libraries for Java 6+
Language:Java1 2 00
journey-towards-property-based-testing
Exercises and resources to learn property based testing. Comments and partecipation are really welcome. :-)
Language:Erlang5 7 10
quorum
Quorum aims to ensure consensus among a group of erlang processes using the raft consensus algorithm.
Language:Erlang3 2 00
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.
Language:Prolog2 2 20

MirkoBonadei's Repositories

MirkoBonadei/dgol
Distributed game of life (inspired by Torben Hoffman's solution found at https://github.com/lehoff/egol)
Language:Erlang11 4 00
MirkoBonadei/designing-for-scalability-with-erlang-otp-exercises
“Designing for Scalability with Erlang/OTP” book exercises
Language:Erlang6 3 02
MirkoBonadei/journey-towards-property-based-testing
Exercises and resources to learn property based testing. Comments and partecipation are really welcome. :-)
Language:Erlang5 7 10
MirkoBonadei/quorum
Quorum aims to ensure consensus among a group of erlang processes using the raft consensus algorithm.
Language:Erlang3 2 00
MirkoBonadei/distributed-tic-tac-toe
Distributed Tic-Tac-Toe kata in Erlang.
Language:Erlang2 2 01
MirkoBonadei/Erlang-Programming-Exercises
My versions of the exercises you can find in the O'Reilly Erlang Programming Book
Language:Erlang2 2 01
MirkoBonadei/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.
Language:Prolog2 2 20
MirkoBonadei/99_erlang_problems
Keeping myself trained about Erlang
Language:Erlang1 2 00
MirkoBonadei/badalisk
erlang proxy server
Language:Erlang1 2 00
MirkoBonadei/guava
Google Core Libraries for Java 6+
Language:Java1 2 00
MirkoBonadei/Italian-Erlang-User-Group
Italian Erlang User Group Site
Language:Erlang1 2 01
MirkoBonadei/Underscore.php
PHP port of Underscore.js
Language:PHP1 2 0
MirkoBonadei/digits-to-string-kata
Incremental Kata to train yourself on TDD and incremental deisign
2 0
MirkoBonadei/dotfiles
My configuration files
Language:Emacs Lisp2 0
MirkoBonadei/dynamic-programming-exercises
Some of the most famous dynamic programming problems with solutions
Language:Python2 01
MirkoBonadei/erlang-distributed-snapshot
Implementation of Chandy-Lamport algorithm on a single Erlang machine
Language:Erlang2 0
MirkoBonadei/es6-lambda-calculus
Describing lambda-calculus using ES6 arrow notation (currently only on FF)
Language:JavaScript2 0
MirkoBonadei/eunit
The EUnit lightweight unit testing framework for Erlang - this is the canonical development repository.
Language:Erlang2 0
MirkoBonadei/flatbuffers
FlatBuffers: Memory Efficient Serialization Library
Language:C++1 0
MirkoBonadei/proper
PropEr: a QuickCheck-inspired property-based testing tool for Erlang
Language:Erlang2 0
MirkoBonadei/racket-display-diamond-kata
An interesting exercise to write some racket :-)
Language:Racket2 0
MirkoBonadei/triq
Trifork QuickCheck
Language:Erlang2 0