Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Home / Developers / paulosalem
Developer Profile

paulosalem

Discovered public repositories for paulosalem in the GitHub catalog.

↗

paulosalem/ALEVOS

ALgebraic Engine for Verification Of Simulations' sources and executables. Actually, it is a pi-calculus simulation library, used as part of my doctoral thesis.

↗

paulosalem/FGS

Formally Guided Simulator's (FGS) sources and executables. This is the overall proof-of-concept software that goes along with my doctoral thesis. If you wish to run the examples given there, this is what you need.

↗

paulosalem/open_field_flow

An open-source particle system simulator in which particles flow through and interact with a vector field.

FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.