情人节快乐，送给你喜欢的女孩吧
☆42Aug 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:
- Implementation of the model from "Faster sorting algorithms discovered using deep reinforcement learning" that discovered an all-new ult…☆11Aug 29, 2023Updated 3 years ago
- 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
- A LaTeX template for academic posters with Tsinghua University logo☆15Nov 18, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆11Jan 17, 2023Updated 3 years ago
- ☆15Oct 21, 2020Updated 5 years ago
- See http://www.dickgrune.com/Programs/similarity_tester/☆15Dec 2, 2012Updated 13 years ago
- 滑动验证码破解示例，仅供学习使用。☆15Mar 8, 2017Updated 9 years ago
- Prolog specification of TensorFlow layers☆13Jun 12, 2023Updated 3 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
- DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols☆18Jan 1, 2022Updated 4 years ago
- 分布式事务-最终一致性消息队列服务☆27Nov 9, 2017Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Vibe coding in emacs with amp☆20Jun 15, 2025Updated last year
- ☆14Nov 11, 2019Updated 6 years ago
- Go 语言编译器深入分析笔记☆25Aug 27, 2017Updated 9 years ago
- A Haskell probabilistic programming library.☆23May 28, 2026Updated 3 months ago
- 一个轻便易扩展的第三方登录分享库，比友盟更稳定，兼容Android7.0☆16Mar 3, 2017Updated 9 years ago
- Moonshine: autonomous mathematical exploration, from the first step to the farthest horizon.☆37Sep 7, 2026Updated 2 weeks ago
- http://www.itmuch.com☆20May 11, 2017Updated 9 years ago
- ID生成服务器,多种高性能ID生成策略☆17Mar 22, 2017Updated 9 years ago
- A tool for verifying transitions in cryptographic game-hopping proofs☆24Sep 15, 2026Updated last week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Book reading☆16Jun 5, 2020Updated 6 years ago
- This repo aims at providing a simple paper reading roadmap for beginners on some research topics in software engineering.☆19Oct 14, 2021Updated 4 years ago
- ☆19Jul 19, 2018Updated 8 years ago
- ☆27Apr 16, 2026Updated 5 months ago
- 《日常》☆18Sep 18, 2021Updated 5 years ago
- Proof assistant for qRHL☆25May 24, 2026Updated 3 months ago
- ☆22Mar 10, 2026Updated 6 months ago
- Hardware implementation of ORAM☆26Jul 12, 2017Updated 9 years ago
- Just a proof of concept Linux rootkit that reads from syscalls.☆24Jun 22, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A graph-based refactoring-aware three-way merging tool for Java programs.☆24Jul 21, 2021Updated 5 years ago
- An encoding of Zermelo-Fraenkel Set Theory in Coq☆30Dec 17, 2022Updated 3 years ago
- 打赏和公告插件☆26Oct 23, 2018Updated 7 years ago
- A Rocq version of the miniF2F dataset☆25Jul 23, 2026Updated 2 months ago
- Semistructured merge tool for java applications.☆26Nov 16, 2025Updated 10 months ago
- A set of cryptographic proofs for simple protocols, to be formalised in various tools.☆26Mar 25, 2026Updated 5 months ago
- 基于 Django2.1 和 Bootstrap框架开发的个人博客网站☆19Dec 8, 2022Updated 3 years ago