Pinned Repositories
j2r-core
j2r-jaccess
j2r-qt
jacman-coll
gem for Jacinthe
jacman-core
Core part of Jacinthe manager
jacman-freesubs
jacman-monitor
jacman-notifications
jacman-qt
Qt GUI for Jacinthe management
jacman-qtbase
badal's Repositories
badal/j2r-core
badal/j2r-jaccess
badal/j2r-qt
badal/jacman-coll
gem for Jacinthe
badal/jacman-core
Core part of Jacinthe manager
badal/jacman-freesubs
badal/jacman-monitor
badal/jacman-notifications
badal/jacman-qt
Qt GUI for Jacinthe management
badal/jacman-qtbase
badal/jacman-selectors
gem for Jacinthe
badal/jacman-tools
badal/jacman-utils
Utils for jacman
badal/qtbindings
An easy to install gem version of the Ruby bindings to Qt
badal/rubocop
An experimental Ruby code analyzer, based on the community Ruby style guide.
badal/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.