上海沪教版高中教材 Crawled from shkegai.net in 2015.
☆27Mar 26, 2022Updated 4 years ago
Alternatives and similar repositories for Shanghai-Textbook
Users that are interested in Shanghai-Textbook are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 微信小程序Jandan wexin/wechat program☆11Mar 31, 2017Updated 9 years ago
- Turning Linux into a High-Performance Library OS with Flux (SOSP 2026)☆11Sep 21, 2026Updated last month
- A RFC Compliant Verified DNS server☆13Jul 17, 2026Updated 3 months ago
- ☆12Nov 21, 2016Updated 9 years ago
- Generate PNG images from math equations in LaTeX/TeX and Markdown documents. Built in Rust, designed for AI agents.☆15Feb 18, 2026Updated 8 months ago
- 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.
- Sample Spring Boot project with Micrometer☆16Apr 3, 2019Updated 7 years ago
- BS3: Block device in S3☆13Apr 19, 2022Updated 4 years ago
- 一种基于 UV 映射贴图的高清 OBS 直播解决方案☆21Jun 12, 2023Updated 3 years ago
- An experimental tile-based, Pythonic programming language for writing GPU kernels designed for LLM agents☆21Oct 23, 2026Updated last week
- Assignments for COMP SCI 839 from UW-Madison in Fall 2023☆12Nov 30, 2023Updated 2 years ago
- An example app for BPF CO-RE and CI settings with GitHub Actions☆14Aug 23, 2022Updated 4 years ago
- Artifact package for CBMM paper (ATC'22)☆11Jun 5, 2022Updated 4 years ago
- ☆12Apr 5, 2015Updated 11 years ago
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- UW-Madison Course Monitor☆10Oct 4, 2019Updated 7 years ago
- ☆12Jul 20, 2023Updated 3 years ago
- Unsupervised coverage-guided btrfs fuzzer☆15Nov 13, 2020Updated 5 years ago
- A corpus of short answers written by learners of English and graded with CEFR levels☆13Dec 17, 2021Updated 4 years ago
- Small tool to measure readahead cache performance☆11Sep 28, 2020Updated 6 years ago
- BUSE: Block device in user space☆16Apr 19, 2022Updated 4 years ago
- ☆14Sep 13, 2026Updated last month
- ☆14May 10, 2024Updated 2 years ago
- experimental LeanOS formally verified OS☆18Oct 19, 2026Updated 2 weeks ago
- 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.
- 电商常见的后台模块☆10Mar 16, 2019Updated 7 years ago
- Ahead-of-time analysis of shell program effects☆21Oct 5, 2026Updated 3 weeks ago
- WeixinPress的主要功能就是能够将你的微信公众账号和你的WordPress博客关联，搜索和用户发送关键字匹配的文章，依据命令查看最新文章、热门文章和随机文章。☆16Mar 20, 2014Updated 12 years ago
- ☆14Nov 16, 2020Updated 5 years ago
- A guide on how to externalize configuration using MicroProfile Config and configure your microservices using Kubernetes ConfigMaps and Se…☆15Jun 19, 2026Updated 4 months ago
- ☆10Mar 4, 2023Updated 3 years ago
- ☆19Oct 10, 2020Updated 6 years ago
- The official repository of the Akka Typed Essentials course with Scala☆13May 13, 2024Updated 2 years ago
- Agent application/benchmark/workload traces should be placed here.☆20Apr 13, 2026Updated 6 months 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.
- ☆20Aug 12, 2026Updated 2 months ago
- Mini classroom: Primary school interactive learning resources.轻量级小学知识点交互学习网站，涵盖多学科基础内容。专为家长、授课老师及小学生打造，助力课后辅导与趣味启蒙。☆28Jun 1, 2026Updated 5 months ago
- Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)☆17Mar 18, 2025Updated last year
- ☆18Feb 22, 2023Updated 3 years ago
- Lock ordering enforcement at compile time in Rust☆24Mar 17, 2025Updated last year
- 《图解设计模式》结城浩著 官方源码☆13Nov 28, 2018Updated 7 years ago
- Revealing the Unstable Foundations of eBPF-Based Kernel Extensions☆18May 20, 2025Updated last year