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

coqine vs blankable

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

๐Ÿ”
๐Ÿ”
Popular matchups:

Recorded Stars Comparison

โ— gburel/coqine (3) โ— mudge/blankable (3)
coqine (50%) blankable (50%)
โ˜† 3coqine stars
โ˜† 3blankable stars
0Difference
coqineStar Leader (1.0x)

โš–๏ธ Comparison Verdict

Star Popularity coqine Leads +0 stars (1.0x ratio)
Forks & Derivatives blankable Leads 3 total community forks
Recent Maintenance coqine Pushed 165mo ago
Licensing Different coqine: LGPL-2.1 vs blankable: BSD-3-Clause

Side-by-Side Facts

Metric gburel/coqine โ†— mudge/blankable โ†—
DescriptionAn encoding of the Calculus of Inductive Constructions (as implemented in Coq) in Europa.A Ruby mixin to determine whether an object's values are blank with examples for Arrays and Hashes.
GitHub Starsโ˜† 3โ˜† 3
Forks13
Open Issues00
Main LanguageOCamlRuby
LicenseLGPL-2.1BSD-3-Clause
Last PushMar 7, 2013Jan 22, 2009
GitHub SourceOpen Source โ†—Open Source โ†—

โญ Embed Verified Badges in README

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

coqine Badge coqine badge
[![Featured on GitHubRepo.cloud](https://githubrepo.cloud/badge/gburel/coqine.svg?metric=featured)](https://githubrepo.cloud/repo/gburel/coqine?utm_source=readme_badge)
blankable Badge blankable badge
[![Featured on GitHubRepo.cloud](https://githubrepo.cloud/badge/mudge/blankable.svg?metric=featured)](https://githubrepo.cloud/repo/mudge/blankable?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.