一些开放版权类 License 的 Badge，可以用于果壳的问答，日志，文章，小组等。当然也可以用于其他网站，如果颜色大小合适的话。「我们坚信分享改变世界」
☆23Mar 17, 2014Updated 12 years ago
Alternatives and similar repositories for GuokrBadge
Users that are interested in GuokrBadge are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- Godocu extracts and generates documentation for Go programs.☆11Sep 6, 2016Updated 9 years ago
- ☆41Aug 9, 2014Updated 11 years ago
- The Boole Interactive Reasoning Assistant☆31May 9, 2014Updated 12 years ago
- IPython/Jupiter kernel for Racket and Gamble.☆10May 1, 2018Updated 8 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Rust docset generator for Dash☆12Aug 22, 2016Updated 9 years ago
- This is a extension for Ethereum based tokens, which added an build-in exchange.☆10Sep 23, 2025Updated 8 months ago
- Session types in Idris2!☆26Dec 14, 2020Updated 5 years ago
- LibP2P networking library written in Rust☆12Dec 29, 2021Updated 4 years ago
- CloudMusicToYunPan☆14Mar 9, 2016Updated 10 years ago
- A remake of mafan game☆11Jan 9, 2023Updated 3 years ago
- Working through Type-Driven Development with Idris☆26Sep 7, 2016Updated 9 years ago
- Android app to help to tune a banjo☆11Jun 10, 2026Updated last week
- Python port to BlackBerry 10☆14Oct 29, 2012Updated 13 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Racket support for Visual Studio Code with better inteliSense☆19Dec 6, 2022Updated 3 years ago
- A Coq formalization of the textbook Categories and Toposes: Visualized and Explained☆21Sep 21, 2022Updated 3 years ago
- ☆12Dec 27, 2022Updated 3 years ago
- A bash script that plays rick-and-morty sound clips, wubba lubba dub dub !☆13Feb 5, 2018Updated 8 years ago
- A Python implementation of the threshold variant of the Damgard-Jurik cryptosystem.☆15May 4, 2021Updated 5 years ago
- ☆28Sep 16, 2013Updated 12 years ago
- OAuth demonstration using Node.js with Fanfou API☆11Nov 30, 2017Updated 8 years ago
- A LibreOffice extension that converts JabRef references to plain text code and vice versa so that you can use your references with MS Off…☆13Aug 15, 2024Updated last year
- Rust language bindings for Bitcoin secp256k1 library.☆16Jan 17, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- JavaFX micro-framework that follows MVVM Pattern with Google Guice dependency Injection☆11Jan 11, 2022Updated 4 years ago
- A GitHub action to run hadolint and reports violations given a Dockerfile within a repository☆13Feb 23, 2024Updated 2 years ago
- Docker image autobuild for latests snapcraft on latest ubuntu LTS version☆11Jun 17, 2016Updated 10 years ago
- A course on free/libre and open source software☆11Oct 16, 2025Updated 8 months ago
- A gradle plugin to make Android layout xml extendable!☆16Oct 13, 2016Updated 9 years ago
- Messaging Framework for Python. (MOVED TO celery/kombu)☆23Jun 6, 2012Updated 14 years ago
- ipip.net IPv4 地址归属地数据库 Python 查询库☆22Nov 26, 2018Updated 7 years ago
- ☆14Oct 14, 2017Updated 8 years ago
- 可能是石板房地区最大的网站换肤项目☆14Sep 17, 2015Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Thrift RPC in Rust (Async I/O) with tokio☆19Jul 4, 2017Updated 8 years ago
- A generic UI library/framework.☆24Jun 8, 2026Updated last week
- ☆13May 20, 2026Updated 3 weeks ago
- Align version numbers for all OpenRewrite maintained recipe modules☆17Jun 9, 2026Updated last week
- A kubenetes operator for running QEMU VMs in kubernetes pods☆15Jun 10, 2026Updated last week
- A tool for turning mdbooks into slide shows☆23Feb 20, 2026Updated 3 months ago
- [Todo.txt](http://todotxt.com/) file format parser in Rust☆11Mar 31, 2016Updated 10 years ago