Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Public GitHub Catalog Discovered Nov 2, 2026

miquelramirez / VAL

The plan validation system.

View repository on GitHub ↗ View creator profile Browse directory

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.

#49242606GitHub System ID
miquelramirezOrganization / User
PublicVisibility
ActiveCatalog Status

More from miquelramirez

↗

miquelramirez/BPL

Bayesian Program Learning model for one-shot learning

Discovered
↗

miquelramirez/UPMurphi

UPMurphi planner for linear and nonlinear continuous PDDL+ models with processes and events

Discovered
↗

miquelramirez/simbody

High-performance C++ multibody dynamics/physics library for simulating articulated biomechanical and mechanical systems like vehicles, robots, and the human skeleton.

Discovered
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.

SPONSORED Sponsored Partner