qbar

There are 4 repositories under qbar topic.

  • jenly1314/ZXingLite

    🔥 ZXing的精简极速版，优化扫码和生成二维码/条形码，内置闪光灯等功能。扫描风格支持：微信的线条样式，支付宝的网格样式。几句代码轻松拥有扫码功能 ，ZXingLite让集成更简单。（扫码识别速度快如微信）

    Language:Java3.2k26254492

  • qdeduction/qbar

    the rational proof assistant

    Language:Rust1300

  • bhgomes/rulesets

    a collection of rulesets for qbar and other automated proof frameworks

    10

  • jktr/qbar-blocks

    collection of block scripts for the qbar status bar

    Language:Shell30