MirkoBonadei/proper
PropEr: a QuickCheck-inspired property-based testing tool for Erlang
Public GitHub Catalog
Discovered Sep 24, 2026
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.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#2766157GitHub System ID
MirkoBonadeiOrganization / User
PublicVisibility
ActiveCatalog Status
More from MirkoBonadei
MirkoBonadei/eunit
The EUnit lightweight unit testing framework for Erlang - this is the canonical development repository.
MirkoBonadei/dgol
Distributed game of life (inspired by Torben Hoffman's solution found at https://github.com/lehoff/egol)
MirkoBonadei/designing-for-scalability-with-erlang-otp-exercises
“Designing for Scalability with Erlang/OTP” book exercises