An explorer console script tool helping you find out the right answers of choice questions on CNMOOC
☆18Mar 29, 2019Updated 7 years ago
Alternatives and similar repositories for CNMOOC-Helper
Users that are interested in CNMOOC-Helper are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- KQI (Knowledge Quantification Index) is the first metric to quantify knowledge from the perspective of information structuralization.☆14Jul 7, 2023Updated 3 years ago
- Python Script to Open SJTU Dormitory Smart Lock☆10Sep 12, 2022Updated 3 years ago
- summer project☆22May 17, 2020Updated 6 years ago
- ☆72Mar 2, 2021Updated 5 years ago
- A website for SJTUOJ solution user-contributed reference.☆26Feb 19, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 这将成为大学期间所有笔记心得的发布之处☆12Aug 28, 2020Updated 6 years ago
- Paper-reading notes for Berkeley OS prelim exam.☆14Aug 28, 2024Updated 2 years ago
- Berkeley OS Prelim Reading Notes☆15Sep 20, 2023Updated 2 years ago
- ☆10Dec 3, 2025Updated 9 months ago
- ☆12Dec 15, 2022Updated 3 years ago
- 上海交通大学软件学院课程《应用系统体系架构》（SE3353）笔记☆11Feb 2, 2024Updated 2 years ago
- The repo of "Coral: Maliciously Secure Computation Framework for Packed and Mixed Circuits" (CCS 2024)☆12Sep 6, 2024Updated 2 years ago
- An online simulator for finite automata (FA), pushdown automata (PDA) and linear bounded automata (LBA).☆12Oct 30, 2017Updated 8 years ago
- Jax implementation of "Griffin: Mixing Gated Linear Recurrences with Local Attention for Efficient Language Models"☆16May 10, 2024Updated 2 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.
- SJTU SE3331 CSE (a distributed file system with Raft and MapReduce)☆10Jan 14, 2024Updated 2 years ago
- ☆12Mar 30, 2023Updated 3 years ago
- SimCSE☆15Oct 1, 2022Updated 3 years ago
- 上海交通大学软件学院本科计算机图形学课程代码仓库☆14Oct 3, 2025Updated 11 months ago
- Project for SJTU CS158 Data Structure(Honor) Spring 2020☆13Jun 2, 2020Updated 6 years ago
- Automatic uploads of new Switch BCAT content. Thanks to CitrusBolt for his bcat-ftpd: https://github.com/citrusbolt/bcat-ftpd☆10Jun 16, 2023Updated 3 years ago
- Invoke SMT solvers from Coq to check obligations☆10Jun 16, 2020Updated 6 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 4 years ago
- A key-value storage system based on LSM Tree, using Skip List and Bloom Filter to accelerate.☆10Jun 10, 2021Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- slides of zju-lambda☆14Feb 9, 2019Updated 7 years ago
- a minimal lisp interpreter written in ruby☆11Apr 15, 2021Updated 5 years ago
- ☆10Dec 28, 2019Updated 6 years ago
- CBench, Benchmarking System for Question Answering Over Knowledge Graphs Systems.☆12Sep 16, 2022Updated 3 years ago
- ☆17Nov 10, 2021Updated 4 years ago
- 🚆 Fine-grained analysis and visualization of Hangzhou Metro for efficient traveling in metro system. Project report, slide and presentat…☆22May 3, 2020Updated 6 years ago
- ☆13May 7, 2024Updated 2 years ago
- Dongyue Web Studio course and lecture☆12Apr 25, 2018Updated 8 years ago
- A Symbolic Execution Tool for Cairo☆15Jul 25, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Vector OLE and zero-knowledge for Z2k. https://ia.cr/2022/819☆19Mar 10, 2023Updated 3 years ago
- Formalization of FLP Impossibility Theorem☆18Sep 26, 2015Updated 10 years ago
- Think Etherscan Write Contract, but on Aptos☆13May 9, 2025Updated last year
- https://www.litblc.com/archives/772.html☆16Aug 27, 2020Updated 6 years ago
- ☆20Aug 1, 2026Updated last month
- Artifacts for the "BBQ: A Fast and Scalable Integer Priority Queue for Hardware Packet Scheduling" paper that appears in NSDI '24.☆23Apr 23, 2024Updated 2 years ago
- My research paper notes, focusing on data mining/recommender/reinforcement learning. 我的论文笔记，主要聚焦于数据挖掘、推荐系统、强化学习☆24Dec 4, 2021Updated 4 years ago