情人节快乐，送给你喜欢的女孩吧
☆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:
- HMTL实现情人节告白气球，不一样的惊喜☆14Aug 18, 2018Updated 8 years ago
- 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
- ExtendJ is a Java compiler implemented in reference attribute grammars using JastAdd.☆14Oct 24, 2026Updated last week
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆14Jul 29, 2026Updated 3 months ago
- ☆13Oct 1, 2026Updated last month
- 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.
- Proposal for the next generation of course-oriented IR.☆10Dec 24, 2021Updated 4 years ago
- A router IP written in Verilog.☆12Dec 20, 2019Updated 6 years ago
- [work-in-progress] Java parser written in Rust☆19May 19, 2022Updated 4 years ago
- 在线图书借阅系统 - 2017 THU OOP课大作业☆14Jul 1, 2018Updated 8 years ago
- Lean formalization of CFSG☆20Updated this week
- A tool to connect SMT-based frontends to Lean4.☆21Oct 21, 2026Updated 2 weeks ago
- ☆18Jul 30, 2026Updated 3 months 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
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- 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
- Prolog specification of TensorFlow layers☆13Jun 12, 2023Updated 3 years ago
- 最全的整合第三方登录的开源库。目前已支持Github、Gitee、微博、钉钉、百度、Coding、腾讯云开发者平台、OSChina、支付宝、QQ、微信、淘宝、Google、Facebook、抖音、领英、小米、微软、今日头条、Teambition、StackOverflow、…☆15Jun 17, 2022Updated 4 years ago
- A LaTeX template for academic posters with Tsinghua University logo☆15Nov 18, 2022Updated 3 years ago
- Composable HyperLogLog++ UDF implementation for hive☆13Jul 14, 2014Updated 12 years ago
- A MacOS application that brings bunch of utilities together under one app.☆16Aug 23, 2026Updated 2 months ago
- 分布式事务-最终一致性消息队列服务☆27Nov 9, 2017Updated 8 years ago
- Vibe coding in emacs with amp☆20Jun 15, 2025Updated last year
- Task scheduling based on thread pool. Getting parallel tasks for a given dependency graph (or task graph), which is a DAG, via topologica…☆11Mar 21, 2017Updated 9 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.
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆16Nov 4, 2024Updated last year
- ☆14Nov 11, 2019Updated 6 years ago
- http://os.cs.tsinghua.edu.cn/oscourse/OS2018spring/projects/g04☆18Oct 10, 2018Updated 8 years ago
- Just a proof of concept Linux rootkit that reads from syscalls.☆23Jun 22, 2018Updated 8 years ago
- CrewAI新版本支持使用Knowledge属性将txt、PDF、CSV、Excel、JSON等多种数 据格式内容及多文件混合作为知识增强知识库提供给Crew中的Agent使用☆15Nov 27, 2024Updated last year
- A Haskell probabilistic programming library.☆23May 28, 2026Updated 5 months ago
- 🐍本项目为 Consul 的使用 Demo☆13Dec 8, 2022Updated 3 years ago
- Implementation of a simple task scheduler. It can run taks in parallel.☆14Dec 3, 2013Updated 12 years ago
- ☆12Aug 27, 2026Updated 2 months 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 tool for verifying transitions in cryptographic game-hopping proofs☆24Updated this week
- 基于SpringBoot的后端server脚手架，集成MyBatis、Shiro等☆16Oct 13, 2021Updated 5 years ago
- STM32F4 Drone☆10May 5, 2021Updated 5 years ago
- http://www.itmuch.com☆20May 11, 2017Updated 9 years ago
- This repo aims at providing a simple paper reading roadmap for beginners on some research topics in software engineering.☆19Oct 14, 2021Updated 5 years ago
- ☆27Apr 16, 2026Updated 6 months ago
- Modern Chrome new tab dashboard for productivity, AI tools, quick links, and developer workflows.☆11Jun 8, 2026Updated 4 months ago