Discover MirkoBonadei/Regexp-NFA-Prolog-Compiler Open Source project

Stars
2
Language
Prolog
Created about 13 years ago
Updated almost 13 years ago

MirkoBonadei

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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.

dgol

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

Erlang

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

“Designing for Scalability with Erlang/OTP” book exercises

Erlang

journey-towards-property-based-testing

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

Erlang

quorum

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

Erlang