carlos-jenkins/gedit-themes
Color themes for Gnome's default editor Gedit
Public GitHub Catalog
Discovered Sep 26, 2026
carlos-jenkins / binary-integer-programming
Small application to solve 0/1 (a.k.a binary) integer programming problems.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#6328566GitHub System ID
carlos-jenkinsOrganization / User
PublicVisibility
ActiveCatalog Status
More from carlos-jenkins
carlos-jenkins/csv2vcd
Signal analyzer CSV to IEEE 1364-2001 VCD file format converter.
carlos-jenkins/codeco
Universal code annotator using Pygments and reStructuredText or Markdown.
carlos-jenkins/confspec
Configuration Specification Manager.