1368个单词就够了
☆111Mar 31, 2016Updated 10 years ago
Alternatives and similar repositories for 1368-
Users that are interested in 1368- are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- vocabulary lists☆98Apr 5, 2019Updated 7 years ago
- 基于webpack2 + react + react-router4 + redux + less + ES6 的React版cnode社区☆10Sep 28, 2017Updated 8 years ago
- **免秘钥CNKI学术翻译Bob插件**☆14Jul 20, 2023Updated 3 years ago
- ☆16Apr 10, 2022Updated 4 years ago
- fuckGrammer，去语法，一个简单的英语语法学习教程，目的为帮助那些深受语法毒害的同胞们，以此来减轻学习英语的痛苦。☆24Apr 27, 2020Updated 6 years 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.
- 学习阮一峰大师教程的一些笔记☆13Jul 1, 2020Updated 6 years ago
- 英语短语/词组列表合集。☆54Updated this week
- 美国当代语料库20000单词筛选☆54Jun 26, 2017Updated 9 years ago
- Agent for RPi Helper APP☆11Aug 30, 2016Updated 10 years ago
- My Blog☆20Feb 7, 2020Updated 6 years ago
- ☆14Oct 19, 2024Updated last year
- 基于React重构的天猫超市☆16May 17, 2017Updated 9 years ago
- A formalization of Constructive Projective Geometry in Agda☆12Jun 10, 2019Updated 7 years ago
- ☆14Feb 2, 2024Updated 2 years 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.
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- An implementation of (some fragment of) cubical type theory using rewrite rules, based on a talk given by Conor McBride at the 23rd Agda'…☆12Aug 5, 2016Updated 10 years ago
- Coq solutions to exercises in HoTT book☆12Jan 31, 2014Updated 12 years ago
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆16Jan 23, 2024Updated 2 years ago
- 竞赛在线评分系统 v4.0 聚合项目，基于Vue.js和SpringCloud微服务框架构建☆10May 28, 2021Updated 5 years ago
- ☆28Aug 7, 2014Updated 12 years ago
- Implement shared services using React hooks. Organize your data layer clearly and concisely.☆21Jun 2, 2020Updated 6 years ago
- ☆13Nov 17, 2017Updated 8 years ago
- Formal semantics of Haskell in K☆15Dec 15, 2014Updated 11 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.
- 常用英语词汇表☆2,501May 11, 2024Updated 2 years ago
- 基于 VITE + VUE3 + TS + PINIA + TAILWINDCSS 开发的音乐播放器，界面模仿网易云音乐客户端。☆10Aug 1, 2024Updated 2 years ago
- Curated list of resources for variant prioritization☆16Nov 18, 2025Updated 10 months ago
- An implementation of scoped algebraic effects and handlers in Agda.☆18Mar 11, 2021Updated 5 years ago
- ☆22Jan 24, 2022Updated 4 years ago
- 📦 Ergonomic, responsive React layout and grid system☆13Aug 28, 2024Updated 2 years ago
- ☆19Aug 24, 2022Updated 4 years ago
- ☆21Mar 15, 2018Updated 8 years ago
- The New York Times English-Chinese parallel corpus☆18Dec 21, 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.
- Simple Monitor of CPU and Memory on linux.☆12Aug 29, 2013Updated 13 years ago
- Agda formalisation of dual-context constructive modal logics.☆20Apr 1, 2020Updated 6 years ago
- pTFCE SPM Toolbox☆12Jan 2, 2020Updated 6 years ago
- Some examples of using should.js with mocha and various tools for node.js and browser tests☆11Jan 20, 2015Updated 11 years ago
- Agda formalization of Intuitionistic Propositional Logic☆23Nov 14, 2025Updated 10 months ago
- Multimode simple type theory as an Agda library.☆22Sep 18, 2024Updated 2 years ago
- 基于开源图形化技术和容器平台的IT架构“神笔马良”☆15Nov 23, 2020Updated 5 years ago