karpiu/rubycourse
Application for managing my laboratory group for Ruby Course
Public GitHub Catalog
Discovered Oct 7, 2026
karpiu / minicard
MiniCard: An efficient cardinality solver based on MiniSAT
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.
#36493805GitHub System ID
karpiuOrganization / User
PublicVisibility
ActiveCatalog Status
More from karpiu
karpiu/test-course
Testing my framework for automatic tasks assignment
karpiu/seminars
My presentations for various seminars that took place during my student career in University of Wroclaw.
karpiu/stamp-i18n
Little plugin for 'stamp' gem. It uses I18n locale files to customize date and time stamps.