An analysis of GitHub 2019, for study purpose
☆23Jan 13, 2020Updated 6 years ago
Alternatives and similar repositories for github-analysis-2019
Users that are interested in github-analysis-2019 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Jan 13, 2021Updated 5 years ago
- 基于 translate-platforms 多平台翻译库 API 示例☆16Apr 10, 2020Updated 6 years ago
- Logger middleware for fiber using zerolog☆11Jun 27, 2020Updated 5 years ago
- Reci(pe)page: Turn a markdown file into one simple page☆12Jul 13, 2019Updated 6 years ago
- 独立开发者社区☆15May 28, 2022Updated 3 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.
- fast utf-8 character sets☆14Mar 3, 2025Updated last year
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Feb 15, 2020Updated 6 years ago
- Delete your files after system reboot☆31Jul 6, 2020Updated 5 years ago
- Obtain the number of threads in the current process☆17Feb 15, 2024Updated 2 years ago
- Backwards compatible callback APIs☆19Jun 9, 2020Updated 5 years ago
- milkice.me 原有主题，现已退役☆12Dec 6, 2018Updated 7 years ago
- typecho文章静态化缓存插件☆17Sep 16, 2019Updated 6 years ago
- a repl puzzle game for programmer's day by Elixir☆11Oct 26, 2016Updated 9 years ago
- Kuwo music provider for FeelUOwn player☆13Jan 3, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- WordPress Plugin to include Material Design Icons☆10Aug 28, 2023Updated 2 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆19Aug 19, 2024Updated last year
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- Lyrics submodule for LyricsX☆15Updated this week
- QQ 群验证机器人☆10Nov 9, 2021Updated 4 years ago
- Haskell implementation of the Unicode Collation Algorithm☆17Jan 23, 2025Updated last year
- Just a telegram poll bot☆10Jan 23, 2022Updated 4 years ago
- ☆11Aug 28, 2025Updated 8 months ago
- Fixpoint data types☆21Jan 2, 2026Updated 4 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Translate Text to Color☆12Oct 10, 2015Updated 10 years ago
- Google Analytics Asynchronous by PHP.☆15Feb 25, 2018Updated 8 years ago
- 🔧 An IP Geolocation Lookup Utils☆15Jan 16, 2020Updated 6 years ago
- NewSync is a feature-rich browser extension that brings synchronized lyrics to YouTube Music with an elegant Apple Music-inspired interfa…☆31Feb 24, 2026Updated 2 months ago
- Tsim Sans | 源幅黑体 | 源幅黑體 | 源幅ゴシック; Simple modifications to SHS to bring proportional glyph metrics to legacy environments.☆12Jan 17, 2022Updated 4 years ago
- the 'invariant' Haskell package for invariant functors☆16Jan 10, 2026Updated 4 months ago
- A mini (consistent-wannabe) proof-assistant with power roughly equivalent to intelligence of a two month old cat☆16Mar 12, 2022Updated 4 years ago
- Repository of all kinds of entities.☆14Oct 23, 2022Updated 3 years ago
- Typecho 评论邮件通知插件，支持 SMTP、Mailgun 两种接口☆12Mar 2, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Discord Bot for Realtime Updates from CTFd☆10Jan 10, 2021Updated 5 years ago
- ☆17Aug 7, 2023Updated 2 years ago
- Library of Coq proof automation☆16Apr 1, 2026Updated last month
- Shadowsocks/ShadowsocksR 账号在线监控☆12Nov 25, 2018Updated 7 years ago
- Twemoji font in COLR/CPAL layered format☆14Nov 20, 2025Updated 6 months ago
- Haskell bindings to libcmark-gfm GitHub Flavored Markdown parser☆18Sep 17, 2025Updated 8 months ago
- HTTP Forward proxy for vpns.jlu.edu.cn☆15Jul 29, 2020Updated 5 years ago