si14/fprog-2015-11
code for presentation on MiniZinc
Public GitHub Catalog
Discovered Sep 24, 2026
si14 / oh-my-zsh
A community-driven framework for managing your zsh configuration. Includes optional plugins for various tools (rails, git, OSX, brew,...), nearly 80 terminal themes, and an auto-updating tool so that you can keep up with the latest improvements from the community.
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.
#1774743GitHub System ID
si14Organization / User
PublicVisibility
ActiveCatalog Status
More from si14
si14/broquote
In-browser quotation generator
si14/choco3
An open-source Java library for Constraint Programming
si14/sprug-2015-01-slides
SPRUG talk on the state of Clojure Web (in Russian)