清华大学宿舍洗衣机空闲提醒小程序
☆14Feb 4, 2021Updated 5 years ago
Alternatives and similar repositories for thu-xiyi
Users that are interested in thu-xiyi 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 mini (consistent-wannabe) proof-assistant with power roughly equivalent to intelligence of a two month old cat☆16Mar 12, 2022Updated 4 years ago
- 网络学堂 PC 端 App☆21Updated this week
- A hybrid partitioner based quantum circuit simulation system on GPU☆46Aug 17, 2022Updated 3 years ago
- 清华大学研究生社会实践系统爬虫☆17Jun 4, 2024Updated 2 years ago
- Backend & Frontend for JieLabs☆22Mar 3, 2023Updated 3 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.
- RV32I by cats☆15Sep 4, 2023Updated 2 years ago
- Source code repository for ASPLOS '25 paper "Syno: Structured Synthesis for Neural Operators"☆15Aug 31, 2025Updated 10 months ago
- HERMES: sHallow dirEctory stRucture Many-filE fileSystem☆20Jun 9, 2019Updated 7 years ago
- 本项目是同济大学人工智能课程的第三次大作业——子句归结问题，内含工程文件与报告。必须要说明的是，我上传这次作业的主要目的是抛砖引玉，以期学弟学妹在做作业的过程中少走弯路，报告内容也仅供参考，切勿全局抄袭，否则后果自负。如果认为这个工 程有帮助的话，希望各位能给我点一个star…☆10Jul 16, 2020Updated 6 years ago
- 🧵 A HTTP(S) mirroring tool written in Rust, proposed for ustcmirror☆21Jun 2, 2026Updated last month
- Tsinghua University curriculum -> iCalendar format (.ics) -> Google Calendar, etc.☆23Dec 22, 2017Updated 8 years ago
- ☆18Mar 27, 2026Updated 4 months ago
- ☆20Dec 11, 2024Updated last year
- torch_remat fine-grained activation checkpointing API☆15Updated this week
- 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.
- Mini Model Daemon☆13Nov 9, 2024Updated last year
- Command line tool for Tsinghua University network authentication☆27Aug 23, 2019Updated 6 years ago
- Make custom traceroute result on a single linux box.☆10Feb 18, 2015Updated 11 years ago
- ☆11Oct 11, 2023Updated 2 years ago
- ☆41Jun 5, 2024Updated 2 years ago
- Training a reward model for RLHF using RWKV.☆15Jun 5, 2023Updated 3 years ago
- test images with not appropriate labels in MNIST dataset☆10Mar 3, 2018Updated 8 years ago
- Convert shared libraries into relocatable objects☆10Dec 23, 2023Updated 2 years ago
- A hand-written recursive decent Verilog parser.☆10Jun 28, 2026Updated last month
- 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.
- Collect simple coverage information in memory.☆11Oct 6, 2022Updated 3 years ago
- Compiling finite generators to digital logic. WIP☆13Aug 24, 2020Updated 5 years ago
- 本项目是同济大学数据结构暑期实践的大作业——排序算法分步展示与上海地铁线路规划，内含工程文件与报告（需配置Qt for C++环境）。必须要说明的是，我上传这次作业的主要目的是抛砖引玉，以期学弟学妹在做作业的过程中少走弯路，报告内容也仅供参考，切勿全局抄袭，否则后果自负。谢…☆18Jan 11, 2021Updated 5 years ago
- Monolithic software for our mirror☆11Oct 1, 2024Updated last year
- RWKV-7 mini☆12Mar 29, 2025Updated last year
- Tomasulo Simulator written in React as the project for Computer Architecture course, Spring 2019, Tsinghua University☆12Jun 9, 2019Updated 7 years ago
- PKU CompNet'19 Lab 2 - Homebrew TCP☆12Nov 29, 2019Updated 6 years ago
- jie.ac.cn 中国杰学院☆11Jun 27, 2023Updated 3 years ago
- Direct Preference Optimization for RWKV, aiming for RWKV-5 and 6.☆11Mar 1, 2024Updated 2 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.
- ☆11Apr 29, 2024Updated 2 years ago
- [AFK] Hardware router in Chisel (THU Network Joint Lab 2020)☆14Oct 8, 2020Updated 5 years ago
- Tutorial for rCore OS step by step (3rd edition)☆10Apr 24, 2021Updated 5 years ago
- AsCii Movie (asciimation) https://ascii.moe☆16May 31, 2021Updated 5 years ago
- A telegram bot to balance parenthesis in the world☆15Mar 30, 2026Updated 3 months ago
- Converts Kotlin metadata into an easily usable data model☆14Mar 28, 2026Updated 4 months ago
- [WIP] Tutorial for zCore kernel.☆59Aug 28, 2021Updated 4 years ago