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:
- 三点几啦，饮茶先啦！☆24Nov 16, 2021Updated 4 years ago
- efb-filter-middleware☆11Aug 5, 2020Updated 5 years ago
- A web app that can improve your study experience in University of Manchester☆19Apr 15, 2023Updated 3 years ago
- Reci(pe)page: Turn a markdown file into one simple page☆12Jul 13, 2019Updated 6 years ago
- fast utf-8 character sets☆14Mar 3, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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
- Usefull Telegram bot @imgurplusbot☆12Jan 10, 2020Updated 6 years ago
- Common library and utils behind LambdaInnovation mods☆13Oct 26, 2017Updated 8 years ago
- Suggest new features for Feeds Pub or report a bug☆18Apr 1, 2020Updated 6 years ago
- Obtain the number of threads in the current process☆17Feb 15, 2024Updated 2 years ago
- Typeclasses for representing monad (transformer) morphisms☆14Oct 21, 2018Updated 7 years ago
- Backwards compatible callback APIs☆19Jun 9, 2020Updated 5 years ago
- milkice.me 原有主题，现已退役☆12Dec 6, 2018Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Vim like marks for Aerospace WM☆20Mar 28, 2026Updated last month
- typecho文章静态化缓存插件☆17Sep 16, 2019Updated 6 years ago
- Rust bindings for CoreServices framework☆11Aug 13, 2024Updated last year
- a repl puzzle game for programmer's day by Elixir☆11Oct 26, 2016Updated 9 years ago
- 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☆18Aug 19, 2024Updated last year
- 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
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆11Aug 28, 2025Updated 8 months ago
- Translate Text to Color☆12Oct 10, 2015Updated 10 years ago
- Google Analytics Asynchronous by PHP.☆15Feb 25, 2018Updated 8 years ago
- A SUS (Sliding Universal Score) parser and generator.☆10Feb 12, 2022Updated 4 years ago
- Tsim Sans | 源幅黑体 | 源幅黑體 | 源幅ゴシック; Simple modifications to SHS to bring proportional glyph metrics to legacy environments.☆12Jan 17, 2022Updated 4 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
- Git Fastimport parser and generator in Python☆26Mar 2, 2026Updated last month
- the 'invariant' Haskell package for invariant functors☆16Jan 10, 2026Updated 3 months ago
- Repository of all kinds of entities.☆14Oct 23, 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.
- Typecho 评论邮件通知插件，支持 SMTP、Mailgun 两种接口☆12Mar 2, 2019Updated 7 years ago
- Discord Bot for Realtime Updates from CTFd☆10Jan 10, 2021Updated 5 years ago
- Library of Coq proof automation☆16Apr 1, 2026Updated 3 weeks ago
- Provides Data.Void, which is in base since ghc 7.8 or so☆20Dec 8, 2025Updated 4 months ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Sep 7, 2022Updated 3 years ago
- 一个转换（简体）文本成日语汉字的工具..☆12Mar 30, 2015Updated 11 years ago
- A useful tool for pulling live stream☆15Mar 4, 2020Updated 6 years ago