情人节快乐，送给你喜欢的女孩吧
☆41Aug 28, 2017Updated 9 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:
- A router IP written in Verilog.☆12Dec 20, 2019Updated 6 years ago
- Proposal for the next generation of course-oriented IR.☆10Dec 24, 2021Updated 4 years ago
- 在线图书借阅系统 - 2017 THU OOP课大作业☆14Jul 1, 2018Updated 8 years ago
- ☆11Jan 17, 2023Updated 3 years ago
- ☆15Oct 21, 2020Updated 5 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.
- Personal course notes (in Chinese) for THU CST.☆13Jun 23, 2018Updated 8 years ago
- A hardware accelerated IP packet forwarder running on programmable ICs☆15Jan 21, 2023Updated 3 years ago
- Web version of the MiniDecaf compiler.☆13Sep 17, 2020Updated 6 years ago
- See http://www.dickgrune.com/Programs/similarity_tester/☆15Dec 2, 2012Updated 13 years ago
- 滑动验证码破解示例，仅供学习使用。☆15Mar 8, 2017Updated 9 years ago
- Some tools for working with digraphs, partial orders and topological sorting with Python☆12Sep 7, 2011Updated 15 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 5 years ago
- 基于hanny的友情链接插件做修改，使其在Material Theme中保持原有风格☆11Sep 23, 2017Updated 9 years 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.
- http://os.cs.tsinghua.edu.cn/oscourse/OS2018spring/projects/g04☆18Oct 10, 2018Updated 8 years ago
- Vibe coding in emacs with amp☆20Jun 15, 2025Updated last year
- A formal proof of an exponentially better upper bound on Ramsey numbers☆19Oct 22, 2023Updated 2 years ago
- Moonshine: autonomous mathematical exploration, from the first step to the farthest horizon.☆39Sep 7, 2026Updated last month
- http://www.itmuch.com☆20May 11, 2017Updated 9 years ago
- 🐍本项目为 Consul 的使用 Demo☆13Dec 8, 2022Updated 3 years ago
- FIRMWELL is an automated rehosting framework for Linux-based embedded firmware.☆22May 25, 2026Updated 4 months ago
- ID生成服务器,多种高性能ID生成策略☆17Mar 22, 2017Updated 9 years ago
- A tool for verifying transitions in cryptographic game-hopping proofs☆24Oct 5, 2026Updated last week
- 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.
- Book reading☆16Jun 5, 2020Updated 6 years ago
- 基于SpringBoot的后端server脚手架，集成MyBatis、Shiro等☆16Oct 13, 2021Updated 5 years ago
- Find all the geohashes in a polygon. Implemented in Java☆12Mar 29, 2025Updated last year
- ☆27Apr 16, 2026Updated 5 months ago
- HyperLogLog for PHP implemented as a C extension☆19Oct 4, 2024Updated 2 years ago
- Perry: automated peripheral modeling with symbolic execution☆32Jun 11, 2026Updated 4 months ago
- 机器学习与深度学习☆12May 12, 2023Updated 3 years ago
- ☆22Mar 10, 2026Updated 7 months ago
- vim插件包，包含主流插件☆11Apr 7, 2017Updated 9 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.
- Hardware implementation of ORAM☆26Jul 12, 2017Updated 9 years ago
- spring-boot-starter-motan☆20Apr 8, 2017Updated 9 years ago
- Google Bar-code scan project ZXing GUI With .net☆20Jun 25, 2012Updated 14 years ago
- An encoding of Zermelo-Fraenkel Set Theory in Coq☆30Dec 17, 2022Updated 3 years ago
- CS294-162; Machine Learning Systems Seminar☆32Apr 11, 2023Updated 3 years ago
- syntactic merge tool for java☆24Feb 27, 2026Updated 7 months ago
- A Rocq version of the miniF2F dataset☆25Jul 23, 2026Updated 2 months ago