情人节快乐，送给你喜欢的女孩吧
☆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
Sorting:
- Implementation of the model from "Faster sorting algorithms discovered using deep reinforcement learning" that discovered an all-new ult…☆11Aug 29, 2023Updated 2 years ago
- Some tools for working with digraphs, partial orders and topological sorting with Python☆12Sep 7, 2011Updated 14 years ago
- This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket☆12Jun 29, 2022Updated 3 years ago
- Vibe coding in emacs with amp☆20Jun 15, 2025Updated 8 months ago
- Proposal for the next generation of course-oriented IR.☆10Dec 24, 2021Updated 4 years ago
- FastAPI authorization middleware based on PyCasbin☆19Dec 2, 2025Updated 3 months ago
- A router IP written in Verilog.☆12Dec 20, 2019Updated 6 years ago
- Personal course notes (in Chinese) for THU CST.☆13Jun 23, 2018Updated 7 years ago
- Find all the geohashes in a polygon. Implemented in Java☆12Mar 29, 2025Updated 11 months ago
- Implementation of a simple task scheduler. It can run taks in parallel.☆14Dec 3, 2013Updated 12 years ago
- dataX redis writer plugin☆12Jul 13, 2017Updated 8 years ago
- ☆15Oct 21, 2020Updated 5 years ago
- 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
- A hardware accelerated IP packet forwarder running on programmable ICs☆15Jan 21, 2023Updated 3 years ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆16Nov 4, 2024Updated last year
- 滑动验证码破解示例，仅供学习使用。☆16Mar 8, 2017Updated 9 years ago
- 自动存档企业微信会话（文本、图片、语音、视频、文件），方便功能开发☆20Dec 13, 2024Updated last year
- A simple distributed lock in Python using ZooKeeper as the back end.☆26Dec 18, 2012Updated 13 years ago
- Google Bar-code scan project ZXing GUI With .net☆20Jun 25, 2012Updated 13 years ago
- http://os.cs.tsinghua.edu.cn/oscourse/OS2018spring/projects/g04☆18Oct 10, 2018Updated 7 years ago
- HyperLogLog for PHP implemented as a C extension☆20Oct 4, 2024Updated last year
- ☆14Nov 11, 2019Updated 6 years ago
- ☆21Oct 1, 2022Updated 3 years ago
- DEciding Equivalence Properties in SECurity protocols☆20Mar 1, 2023Updated 3 years ago
- A Rocq version of the miniF2F dataset☆23Oct 27, 2025Updated 4 months ago
- Pure - a simple WordPress theme☆18Apr 26, 2016Updated 9 years ago
- Fast points-in-polygon test and distances to polygons.☆22Aug 25, 2025Updated 6 months 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…☆26Mar 17, 2019Updated 6 years ago
- 基于SpringBoot的后端server脚手架，集成MyBatis、Shiro等☆16Oct 13, 2021Updated 4 years ago
- Proof assistant for qRHL☆22Feb 5, 2026Updated last month
- A formal proof of an exponentially better upper bound on Ramsey numbers☆18Oct 22, 2023Updated 2 years ago
- ID生成服务器,多种高性能ID生成策略☆17Mar 22, 2017Updated 8 years ago
- ☆19Jul 19, 2018Updated 7 years ago
- Lanbda Core → LINQ for Java, Object Query Language (LINQ) library based on the JVM☆23Dec 10, 2025Updated 2 months ago
- ☆20Dec 6, 2017Updated 8 years ago
- ☆31May 10, 2013Updated 12 years ago
- 《日常》☆18Sep 18, 2021Updated 4 years ago
- Database for Humans☆25Jun 14, 2018Updated 7 years ago
- Implementation for "Mathematical discoveries from program search with large language models".☆36Apr 25, 2024Updated last year