VS code Extension 翻译工具箱
☆16Apr 5, 2026Updated 5 months ago
Alternatives and similar repositories for TranslationToolbox
Users that are interested in TranslationToolbox 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 program that descrypts C type declarations. Implemented as an exercise for "Expert C Programming" book.☆12Aug 16, 2015Updated 11 years ago
- This repo contains the source code for https://pest.rs☆13Mar 12, 2026Updated 5 months ago
- URL rewriting middleware for express☆48Oct 2, 2024Updated last year
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆16Mar 15, 2026Updated 5 months ago
- 商品秒杀系统☆10May 5, 2018Updated 8 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.
- My Agda/Mikan stuff☆13Aug 29, 2026Updated last week
- 新版代码生成器☆10Apr 19, 2018Updated 8 years ago
- ☆12Jun 28, 2018Updated 8 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Jan 30, 2025Updated last year
- Minimalists' Bing dictionary for Emacs☆60Feb 16, 2020Updated 6 years ago
- ☆10Dec 31, 2018Updated 7 years ago
- Make JVM Slow Again☆12Dec 21, 2016Updated 9 years ago
- Based on spring-cache,integrate local cache [ehcache] and distributed cache [redis] to make secondary cache.☆11May 26, 2023Updated 3 years ago
- ☆11Sep 15, 2024Updated 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.
- Plugin for IDA Pro to convert assembler to LLVM IR☆20Nov 15, 2016Updated 9 years ago
- The Dragon Virtual Machine.☆10Jan 31, 2018Updated 8 years ago
- ObjectPropertyDelegate for Kotlin class properties & functions.☆10Apr 6, 2020Updated 6 years ago
- React Native components with UWP(Universal Windows Platform) style☆10Dec 30, 2015Updated 10 years ago
- A simple Microservice Framework. Yours free.☆12May 11, 2021Updated 5 years ago
- ☆51Jan 21, 2025Updated last year
- demo☆10Mar 23, 2018Updated 8 years ago
- 《Ruby 基础教程（第5版）》☆10Jan 12, 2018Updated 8 years ago
- Lice IDE based on IntelliJ Platform☆19Apr 1, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆12Aug 19, 2021Updated 5 years ago
- YIYIDB 高性能no-sql数据库☆10Jun 22, 2021Updated 5 years ago
- 小灰灰私人maven仓库☆17Nov 13, 2020Updated 5 years ago
- ☆15Jun 29, 2022Updated 4 years ago
- Lua's C module for parsing html text, wrapper of liigo::HtmlParser☆12Sep 27, 2013Updated 12 years ago
- The libGDX Box2D Wrapper Extension☆11May 12, 2023Updated 3 years ago
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- Maltego transforms for the Steam community☆13Aug 5, 2017Updated 9 years ago
- An SVG parser implemented in pure Dart.☆15Aug 20, 2017Updated 9 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.
- angular7/ionic4/权限控制/用户管理/状态/http/拦截器等 ，可用于商业项目，欢迎使用☆14Jan 26, 2019Updated 7 years ago
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆17Jan 6, 2026Updated 8 months ago
- HLDS-Shield 1.0.7☆11Apr 20, 2019Updated 7 years ago
- PLCT实验室2020年开放日活动的演讲资料☆13Dec 29, 2020Updated 5 years ago
- ☆11Mar 30, 2024Updated 2 years ago
- A formalization of the theory behind the mugen library☆20Jul 5, 2026Updated 2 months ago
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆16Jan 23, 2024Updated 2 years ago