TeXmacs文档翻译
☆25Jun 22, 2019Updated 7 years ago
Alternatives and similar repositories for texmacs-doc-chinese-translation
Users that are interested in texmacs-doc-chinese-translation are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- DEPRECATED REPO Mirror of the TeXmacs svn repository, using git-svn. Also contains guile-2.0 branch from gitorious.org/texmacs/thlai-tex…☆15Oct 6, 2017Updated 9 years ago
- Collection of builtin GNU TeXmacs plugins☆46Aug 4, 2025Updated last year
- a qr code tool for racket-lang☆13Jun 15, 2024Updated 2 years ago
- TeXmacs for Windows (build in MSys2/Mingw32 environment)☆28Dec 31, 2023Updated 2 years ago
- All code examples from "The Little Prover" book☆22Nov 22, 2015Updated 10 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- a converter to markdown format for TeXmacs.☆10Apr 8, 2020Updated 6 years ago
- Emacs configuration modified from spacemacs☆15Oct 1, 2025Updated last year
- A 0-dependency Clojure library for parsing and generating Structured Field Values for HTTP (RFC 9651/8941) [maintainer=@Ramblurr]☆13Oct 26, 2026Updated last week
- Run ROOT Macros inside VS Code!☆15Mar 22, 2021Updated 5 years ago
- A simple Emacs temporary buffer management framework☆14Aug 16, 2026Updated 2 months ago
- My personal template repository for Racket packages☆16Sep 17, 2020Updated 6 years ago
- 使用mnn-llm对GOT-OCR2.0进行推理☆13Oct 2, 2024Updated 2 years ago
- A curated collection of system prompt variants for the Gemini CLI. Transform your Gemini assistant into specialized agents with different…☆19Nov 24, 2025Updated 11 months ago
- Some binaries built for Ubuntu 18.04 (Pandoc and TeXLive)☆18Dec 21, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Mirror only, DO NOT SUBMIT PR☆32Jun 9, 2025Updated last year
- ☆14Apr 10, 2026Updated 6 months ago
- KLayoutPhotonicPCells Core Library. Functionallities to extend KLayout PCells for Photonics☆10Jan 10, 2020Updated 6 years ago
- ☆13Mar 23, 2019Updated 7 years ago
- A Fcitx toggle helper for Emacs Evil-Mode☆12Mar 3, 2016Updated 10 years ago
- Mirror of the GNU TeXmacs SVN☆658Oct 27, 2026Updated last week
- forked from fcitx/fcitx☆10Jun 6, 2017Updated 9 years ago
- Edit document as other format, in Emacs, using Pandoc☆16Feb 21, 2022Updated 4 years ago
- CVE-2016-5195 exploit written in Crystal☆13Oct 25, 2016Updated 10 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- a Sublime Plugin for programing S1☆13Nov 1, 2019Updated 7 years ago
- ETA is a graphical event-driven programming language for time-tag processing.☆18Aug 28, 2025Updated last year
- 有女同車《〈廣韻〉全字表》原表☆18Dec 7, 2024Updated last year
- 这个库已经不再维护，如果需要可以选择0.103或0.105分支，那两个分支基本翻译了☆11May 9, 2016Updated 10 years ago
- contextvars friendly ThreadPoolExecutor☆16Dec 1, 2024Updated last year
- ☆13Apr 8, 2024Updated 2 years ago
- gulp plugin for cmd transport☆11May 13, 2015Updated 11 years ago
- 我的 教案 latex https://gnixoag.github.io/myjiaoan/☆13Oct 6, 2017Updated 9 years ago
- fabric theme for hexo☆12Jan 9, 2017Updated 9 years 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.
- A reasonably performing MD5 implementation in pure Haskell☆11Oct 14, 2026Updated 3 weeks ago
- Software for interfacing with Qontrol hardware.☆11Jun 11, 2024Updated 2 years ago
- 中华人民共和国道路交通安全法☆10Apr 15, 2016Updated 10 years ago
- Family Tree using @hshoff 's vx React components built on D3 charts☆12Jan 28, 2019Updated 7 years ago
- A beamer theme for NJU.☆15Nov 1, 2015Updated 11 years ago
- ☆12Oct 31, 2024Updated 2 years ago
- Ring Redis Session Store☆16Apr 30, 2016Updated 10 years ago