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:
- **免秘钥CNKI学术翻译Bob插件**☆14Jul 20, 2023Updated 3 years ago
- MyBatis 实践学习案例，是 MyBatis 初学者及核心技术巩固的最佳实践。☆48Feb 6, 2018Updated 8 years ago
- english dictionary database☆324Nov 15, 2025Updated 9 months ago
- fuckGrammer，去语法，一个简单的英语语法学习教程，目的为帮助那些深受语法毒害的同胞们，以此来减轻学习英语的痛苦。☆24Apr 27, 2020Updated 6 years ago
- 英语短语/词组列表合集。☆54Apr 19, 2026Updated 4 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.
- [2007] Windows tool, offers the ability to dynamically and transparently modify incoming and outgoing network traffic, as well as to redi…☆12Nov 27, 2017Updated 8 years ago
- Java SDK for the Blockfrost.io API.☆12Oct 22, 2023Updated 2 years ago
- 美国当代语料库20000单词筛选☆54Jun 26, 2017Updated 9 years ago
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆13Aug 19, 2024Updated 2 years ago
- THOTH - Telegram Cardano BOT that is able to notify users about wallet TXs☆11Updated this week
- My Blog☆20Feb 7, 2020Updated 6 years ago
- Resources for Learning PLT Redex☆13Jul 24, 2021Updated 5 years ago
- A single address wallet that supports mnemonics and hardware wallets☆11Dec 26, 2025Updated 8 months ago
- Type theory in type theory☆16Feb 26, 2012Updated 14 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.
- ☆14Oct 19, 2024Updated last year
- ☆16Jun 22, 2024Updated 2 years ago
- 38000单词 依 词根词缀分类☆50Jan 16, 2019Updated 7 years ago
- Formalization of Linear Logic☆11Jun 25, 2017Updated 9 years ago
- A formalization of Constructive Projective Geometry in Agda☆12Jun 10, 2019Updated 7 years ago
- A Demeter starter kit that shows how to use Ogmios' Typescript client☆13Jan 3, 2024Updated 2 years ago
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- Lua Stream API☆23Apr 7, 2017Updated 9 years ago
- Examples - How to use Cardano-client-lib☆16Mar 2, 2026Updated 5 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.
- Coq solutions to exercises in HoTT book☆12Jan 31, 2014Updated 12 years ago
- 使用中文情感词汇本体库进行情感分析，之后对每种情感的文本进行主题分析。Using Chinese Sentiment Dictionary for Sensitive Analysis, Then applying LDA Topic Analysis for each E…☆14Jan 20, 2021Updated 5 years ago
- A robust containerized WeChat OCR API service with multi-architecture support (x86_64 and ARM64).☆22Aug 22, 2025Updated last year
- 竞赛在线评分系统 v4.0 聚合项目，基于Vue.js和SpringCloud微服务框架构建☆10May 28, 2021Updated 5 years ago
- BLOG☆11Sep 16, 2017Updated 8 years ago
- A RPC Server implement base on Raft Paper in Golang☆10Jun 17, 2016Updated 10 years ago
- the new version of typecho-app-store☆14May 4, 2017Updated 9 years ago
- ☆28Aug 7, 2014Updated 12 years ago
- ☆11May 24, 2019Updated 7 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Spring Cloud Zuul Trie tree route matcher☆14Feb 1, 2016Updated 10 years ago
- A simple and stable proxy DLL for Windows x64☆18May 31, 2021Updated 5 years ago
- Formal semantics of Haskell in K☆15Dec 15, 2014Updated 11 years ago
- 常用英语词汇表☆2,462May 11, 2024Updated 2 years ago
- 基于 VITE + VUE3 + TS + PINIA + TAILWINDCSS 开发的音乐播放器，界面模仿网易云音乐客户端。☆10Aug 1, 2024Updated 2 years ago
- An implementation of scoped algebraic effects and handlers in Agda.☆18Mar 11, 2021Updated 5 years ago
- 极客时间的学习笔记☆11Jul 21, 2021Updated 5 years ago