-
git-trans Public
A translation toolbox for projects using git.
-
plfa.github.io Public
Forked from plfa/plfa.github.ioIntroduction to programming language theory in Agda
Agda Creative Commons Attribution 4.0 International UpdatedFeb 24, 2026 -
czkawka Public
Forked from qarmin/czkawkaMulti functional app to find duplicates, empty folders, similar images etc.
Rust Other UpdatedDec 8, 2025 -
-
moonbit-docs Public
Forked from moonbitlang/moonbit-docsThe docs of MoonBit programming language
JavaScript UpdatedJul 2, 2024 -
trans-box Public
A toolbox that helps you translate text based on paragraphs.
TypeScript MIT License UpdatedJun 7, 2024 -
mdbook-i18n-helpers Public
Forked from google/mdbook-i18n-helpersTranslation support for mdbook. The plugins here give you a structured way to maintain a translated book.
Rust Apache License 2.0 UpdatedApr 20, 2024 -
TPLean-zh Public
Forked from leanprover/theorem_proving_in_lean4Theorem Proving in Lean 4
JavaScript Apache License 2.0 UpdatedApr 7, 2024 -
rescript-lang.org-chinese-translation Public
Forked from rescript-idea/rescript-lang.org-chinese-translationOfficial documentation website for the ReScript programming language
JavaScript MIT License UpdatedDec 6, 2022 -
vscode-translators-toolbox Public
Some handy translators' utilities for VSCode.
-
-
-
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedAug 10, 2019 -
CopyTranslator Public
Forked from CopyTranslator/CopyTranslatorForeign language reading and translation assistant based on copy and translate.
TypeScript GNU General Public License v2.0 UpdatedMay 25, 2019 -
Idris-dev Public
Forked from idris-lang/Idris-devA Dependently Typed Functional Programming Language
Haskell Other UpdatedMar 1, 2019 -
asciidoctor Public
Forked from asciidoctor/asciidoctor💎 A fast, open source text processor and publishing toolchain, written in Ruby, for converting AsciiDoc content to HTML 5, DocBook 5, and other formats.
Ruby MIT License UpdatedFeb 22, 2019 -
-
rust-book-chinese Public
Forked from KaiserY/rust-book-chineserust 程序设计语言 中文版
Markdown Other UpdatedJan 15, 2019 -
vscode-ghc-simple Public
Forked from dramforever/vscode-ghc-simpleSimple GHC (Haskell) integration for VSCode
TypeScript ISC License UpdatedSep 24, 2018 -
-
-
graphql Public
Forked from graphql/graphql-specGraphQL is a query language and execution engine tied to any backend service.
Shell UpdatedJun 25, 2018 -
language-server-protocol Public
Forked from microsoft/language-server-protocolDefines a common protocol for language servers.
Other UpdatedJun 12, 2018 -
-
hubot Public
Forked from hubotio/hubotA customizable life embetterment robot.
JavaScript MIT License UpdatedMay 23, 2018 -
ArchWSL Public
Forked from yuk7/ArchWSLInstall ArchLinux as a WSL Instance and Launch it (for Windows 10 FCU 64bit or later)
Shell UpdatedApr 4, 2018 -
-
-
intellij-community Public
Forked from JetBrains/intellij-communityIntelliJ IDEA Community Edition
Java Apache License 2.0 UpdatedMar 15, 2018 -
{{ message }}