情人节快乐，送给你喜欢的女孩吧
☆42Aug 28, 2017Updated 8 years ago
Alternatives and similar repositories for valentines_day
Users that are interested in valentines_day are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- HMTL实现情人节告白气球，不一样的惊喜☆14Aug 18, 2018Updated 7 years ago
- Proposal for the next generation of course-oriented IR.☆10Dec 24, 2021Updated 4 years ago
- Lanbda Core → LINQ for Java, Object Query Language (LINQ) library based on the JVM☆26Jul 2, 2026Updated 2 weeks ago
- ☆15Oct 21, 2020Updated 5 years ago
- Personal course notes (in Chinese) for THU CST.☆13Jun 23, 2018Updated 8 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.
- Web version of the MiniDecaf compiler.☆13Sep 17, 2020Updated 5 years ago
- ☆10Nov 29, 2022Updated 3 years ago
- 滑动验证码破解示例，仅供学习使用。☆15Mar 8, 2017Updated 9 years ago
- Easy project templates for pytorch learners☆10Jan 15, 2019Updated 7 years ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆16Nov 4, 2024Updated last year
- Replication package for ICSE 2022 submission titled "Automatic Merge Conflict Resolution Tools: The Current State and Barriers to Adoptio…☆12Sep 14, 2021Updated 4 years ago
- 最全的整合第三方登录 的开源库。目前已支持Github、Gitee、微博、钉钉、百度、Coding、腾讯云开发者平台、OSChina、支付宝、QQ、微信、淘宝、Google、Facebook、抖音、领英、小米、微软、今日头条、Teambition、StackOverflow、…☆14Jun 17, 2022Updated 4 years ago
- Comment annotation support for JPA DDL generation.☆20Apr 2, 2022Updated 4 years ago
- ☆15Dec 11, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A *pretty useful* practice for tensorflow-2.0 project template architecture.☆11Apr 23, 2019Updated 7 years ago
- 分布式事务-最终一致性消息队列服务☆27Nov 9, 2017Updated 8 years ago
- UNet for Medical Image Segmentation of Retina Vessel.☆11Apr 24, 2024Updated 2 years ago
- ☆14Nov 11, 2019Updated 6 years ago
- A Rocq version of the miniF2F dataset☆24Apr 8, 2026Updated 3 months ago
- ☆12Oct 23, 2023Updated 2 years ago
- A Haskell probabilistic programming library.☆23May 28, 2026Updated last month
- 一个轻便易扩展的第三方登录分享库，比友盟更稳定，兼容Android7.0☆16Mar 3, 2017Updated 9 years ago
- A formal proof of an exponentially better upper bound on Ramsey numbers☆18Oct 22, 2023Updated 2 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.
- 本项目将《动手学深度学习》(Dive into Deep Learning)原书中的MXNet实现的部分代码改成tensorflow2.0的实现☆11Jul 29, 2020Updated 5 years ago
- ☆15Mar 29, 2018Updated 8 years ago
- Moonshine: autonomous mathematical exploration, from the first step to the farthest horizon.☆23Jul 5, 2026Updated 2 weeks ago
- http://www.itmuch.com☆20May 11, 2017Updated 9 years ago
- ☆15Nov 13, 2023Updated 2 years ago
- A tool for verifying transitions in cryptographic game-hopping proofs☆24Updated this week
- Book reading☆16Jun 5, 2020Updated 6 years ago
- 《日常》☆18Sep 18, 2021Updated 4 years ago
- Proof assistant for qRHL☆25May 24, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Hexo Next主题的修改版FreeSky☆14Feb 24, 2019Updated 7 years ago
- 机器学习与深度学习☆12May 12, 2023Updated 3 years ago
- Path ORAM is a simple oblivious RAM algorithm. While using cloud platform or any other insecure memory, attack can be made using the acce…☆28Mar 17, 2019Updated 7 years ago
- vim插件包，包含主流插件☆11Apr 7, 2017Updated 9 years ago
- ☆16Mar 1, 2016Updated 10 years ago
- Repo for "Neural Architecture Search for Compressed Sensing Magnetic Resonance Image Reconstruction".☆17Jun 9, 2022Updated 4 years ago
- Hardware implementation of ORAM☆24Jul 12, 2017Updated 9 years ago