ice1000/A8Translate

Stars
160
Rank 234,703 (Top 5 %)
Language
Kotlin
License
GNU General Publi...
Created over 7 years ago
Updated 12 months ago

ice1000/A8Translate

ice1000

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

一个无毒的Android Studio / IntelliJ IDEA 翻译插件

A8Translate

一个无毒的 JetBrains IDE 翻译插件。

原作者看起来并不准备接受我的 pull request (可能是 GitHub 僵尸用户)，因此我决定使用 Kotlin 重写。

由于本插件面向中国用户，就不提供英文版 README 了。

在编辑器中选中词语， Alt+T，然后就可以看到翻译结果了。

大概是这样的：

特性

本地化（保存查询结果，便于下次快速查询/无网络连接时查询）。
忽略大小写

resume

👾 My resume / 我的简历

jimgui

💖 Pure Java binding for dear-imgui

Books

My slides and notes

intellij-zig

The IntelliJ IDEA plugin for the Zig programming language ┗😃┛ ┏😃┓ ┗😃┛ ┏😃┓

dev-kt

🔮 Single file Kotlin/Java IDE features in lightweight.

CompilerWorks

:octocat: 编译原理相关的工作岗位收集

Kt2Dart

🔦 [Deprecated] Transpile Kotlin codes into Dart, Make Flutter Great Again

NppExtension

😃 Language extension for notepad++

algo4j

🏇 An algorithm library using java native interface

code_wars_android

💻 A mobile client for CodeWars

learn

📚 codes written while learning them.

guest0x0

Neon lights in the night tonight and stars that shine in the open sky

multi-school-sop

A latex template for writing statement-of-purpose for many schools at the same time

agda-mode

Accessing Agda's interaction mode via command line & external tactic for Agda.

MapGen

A tiny program generates game maps

Dekoder

🎼 A materially designed music player

arend-io

A toy IO library for Arend

intellij-bililive

Just for fun, 114594

AIAndroid

An Android UI framework for chatting APPs.

anqur

Elaboration with inductive types

Castle-game

Java&Kotlin Castle game(RPG)

text-sequence

Text sequence data structures

dialogs

This is a codeless and useless repo.

OI-codes

🔐 Solutions for online code challenges. Don't be evil.

copilot-learning-materials

My type-ups for copilot to learn from.

vscode-arend

VSCode extension for the Arend language

PlasticApp

💻 An Android app for learning of programming.

arend-language-server

A language server protocol implementation for Arend

gdx-box2d

Support ropes, up-to-date box2dLight

box2d-editor-2023

This is a higher-order fork of box2d-editor. I just did some obvious right things

ice1000

KitikuMaker

An extremely interesting Android app, playing kitiku sounds

website

Source code for ice1000.org

Artemis

Shooting Game editor