情人节快乐，送给你喜欢的女孩吧
☆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:
- 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
- Proposal for the next generation of course-oriented IR.☆10Dec 24, 2021Updated 4 years ago
- 在线图书借阅系统 - 2017 THU OOP课大作业☆13Jul 1, 2018Updated 7 years ago
- 大蕉的区块链实现☆16Feb 5, 2018Updated 8 years ago
- ☆11Jan 17, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆15Oct 21, 2020Updated 5 years ago
- A hardware accelerated IP packet forwarder running on programmable ICs☆15Jan 21, 2023Updated 3 years ago
- Personal course notes (in Chinese) for THU CST.☆13Jun 23, 2018Updated 7 years ago
- A LaTeX template for academic posters with Tsinghua University logo☆14Nov 18, 2022Updated 3 years ago
- Easy project templates for pytorch learners☆10Jan 15, 2019Updated 7 years ago
- 基于hanny的友情链接插件做修改，使其在Material Theme中保持原有风格☆11Sep 23, 2017Updated 8 years ago
- The source code and results for different methods on annotating external testing datsets of human and mouse.☆13Apr 21, 2021Updated 5 years ago
- 最全的整合第三方登录的开源库。目前已支持Github、Gitee、微博、钉钉、百度、Coding、腾讯云开发者平台、OSChina、支付宝、QQ、微信、淘宝、Google、Facebook、抖音、领英、小米、微软、今日头条、Teambition、StackOverflow、…☆14Jun 17, 2022Updated 3 years ago
- A Rocq version of the miniF2F dataset☆23Apr 8, 2026Updated 3 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols☆17Jan 1, 2022Updated 4 years ago
- A Haskell probabilistic programming library.☆21Apr 19, 2026Updated last week
- DEciding Equivalence Properties in SECurity protocols☆20Mar 1, 2023Updated 3 years ago
- A formal proof of an exponentially better upper bound on Ramsey numbers☆18Oct 22, 2023Updated 2 years ago
- Go 语言编译器深入分析笔记☆26Aug 27, 2017Updated 8 years ago
- 本项目将《动手学深度学习》(Dive into Deep Learning)原书中的MXNet实现的部分代码改成tensorflow2.0的实现☆11Jul 29, 2020Updated 5 years ago
- Book reading☆16Jun 5, 2020Updated 5 years ago
- FastAPI authorization middleware based on PyCasbin☆23Apr 14, 2026Updated 2 weeks 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
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆19Jul 19, 2018Updated 7 years ago
- http://www.itmuch.com☆20May 11, 2017Updated 8 years ago
- ID生成服务器,多种高性能ID生成策略☆17Mar 22, 2017Updated 9 years ago
- 《日常》☆18Sep 18, 2021Updated 4 years ago
- Proof assistant for qRHL☆23Apr 9, 2026Updated 2 weeks ago
- 基于SpringBoot的后端server脚手架，集成MyBatis、Shiro等☆16Oct 13, 2021Updated 4 years ago
- Deductive verification infrastructure for probabilistic programs☆28Apr 20, 2026Updated last week
- HyperLogLog for PHP implemented as a C extension☆20Oct 4, 2024Updated last year
- ☆15Mar 1, 2016Updated 10 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.
- Implementation of a simple task scheduler. It can run taks in parallel.☆14Dec 3, 2013Updated 12 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…☆27Mar 17, 2019Updated 7 years ago
- Find all the geohashes in a polygon. Implemented in Java☆12Mar 29, 2025Updated last year
- Hardware implementation of ORAM☆24Jul 12, 2017Updated 8 years ago
- CS294-162; Machine Learning Systems Seminar☆32Apr 11, 2023Updated 3 years ago
- A graph-based refactoring-aware three-way merging tool for Java programs.☆24Jul 21, 2021Updated 4 years ago
- 自动存档企业微信会话（文本、图片、语音、视频、文件），方便功能开发☆23Dec 13, 2024Updated last year