niltok / tesseract
only for 彩虹桥, use https://github.com/niltok/tesseract-lite if you want to deploy
☆52Updated last year
Related projects: ⓘ
- ☆39Updated this week
- Anti-Indulged for IntelliJ Platform (AI4IJ)☆26Updated 3 years ago
- 十分钟魔法练习☆43Updated 3 years ago
- 入墨答Rumbda, the Chinese expression of lambda calculus☆64Updated last year
- A type-driven and high-performance ORM framework in Rust☆25Updated 2 years ago
- Some experimental Typst files.☆14Updated last year
- 打打 bot☆14Updated this week
- A well-documented minimal dependently-typed language for my friend Lyzh☆24Updated last month
- 恋学，全称Cre的恋爱学☆44Updated last year
- A modern functional programming language with effect system.☆19Updated 4 months ago
- A Brainfuck interpreter written by Brainfuck.☆52Updated 6 years ago
- RowScript programming language, making a better browser world☆105Updated last month
- Just for fun, 114594☆17Updated 4 years ago
- My type-ups for copilot to learn from.☆11Updated 2 years ago
- [WIP] BREAD operate system based on X86_64☆49Updated 3 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Updated 2 years ago
- ☆42Updated this week
- 计蒜客软工外包事件记录☆38Updated 4 years ago
- 手把手教你如何咕咕咕！☆43Updated 4 years ago
- API of LuoGu☆34Updated 4 years ago
- A Register Based VM. 柠檬手写的看起来像栈机的寄存器机☆64Updated 4 years ago
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Updated 4 years ago
- A bot that can monitor specify user send message to your common group☆12Updated 4 months ago
- 在 Telegram 上快速模仿迟先生卖弱。☆10Updated 2 years ago
- mirai-rs is a mirai-api-http client implementation written in Rust☆25Updated 3 years ago
- ☆74Updated 3 years ago
- A transpiler that converts TeX into Unicode (as possible).☆17Updated last month
- 《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版☆204Updated last week
- a deadly simple repl for cpp with ghci style commands☆13Updated last year
- _rqy's codes of OI problems.☆27Updated 6 years ago