Built something? We create video reels & spotlights for GitHub projects.Promote your project โ†’
Home / Compare / ur-sat vs timetravel
Side-by-Side Comparison

ur-sat vs timetravel

Compare open source repositories side by side. Stars, forks, code health, licensing, and community growth.

๐Ÿ”
๐Ÿ”
Popular matchups:

Recorded Stars Comparison

โ— bobomicgruvins/ur-sat (1) โ— mayo/timetravel (1)
ur-sat (50%) timetravel (50%)
โ˜† 1ur-sat stars
โ˜† 1timetravel stars
0Difference
ur-satStar Leader (1.0x)

โš–๏ธ Comparison Verdict

Star Popularity ur-sat Leads +0 stars (1.0x ratio)
Forks & Derivatives ur-sat Leads 0 total community forks
Recent Maintenance ur-sat Pushed 207mo ago
Licensing Different ur-sat: โ€” vs timetravel: BSD-2-Clause

Side-by-Side Facts

Metric bobomicgruvins/ur-sat โ†— mayo/timetravel โ†—
DescriptionA sat solver implemented in erlangRuby time extensions based on activesupport
GitHub Starsโ˜† 1โ˜† 1
Forks00
Open Issues00
Main LanguageErlangRuby
LicenseNot identifiedBSD-2-Clause
Last PushNov 12, 2009Jun 12, 2008
GitHub SourceOpen Source โ†—Open Source โ†—

โญ Embed Verified Badges in README

Add verified GitHubRepo badges to either project's README.md to showcase star momentum.

ur-sat Badge ur-sat badge
[![Featured on GitHubRepo.cloud](https://githubrepo.cloud/badge/bobomicgruvins/ur-sat.svg?metric=featured)](https://githubrepo.cloud/repo/bobomicgruvins/ur-sat?utm_source=readme_badge)
timetravel Badge timetravel badge
[![Featured on GitHubRepo.cloud](https://githubrepo.cloud/badge/mayo/timetravel.svg?metric=featured)](https://githubrepo.cloud/repo/mayo/timetravel?utm_source=readme_badge)

Related Head-to-Head Comparisons

From our network
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