Alternatives and similar repositories for tesseract

Users that are interested in tesseract are comparing it to the libraries listed below

• niltok / tesseract-lite

  View on GitHub
  轻量级 Telegram QQ 转发机器人
  ☆15Sep 26, 2021Updated 4 years ago
• sea-design / sea-design

  View on GitHub
  🌊 A React UI library
  ☆13Feb 2, 2022Updated 4 years ago
• PhotonQuantum / hithit_bot

  View on GitHub
  打打 bot
  ☆14Updated this week
• LemonVM / LemonVMAlpha

  View on GitHub
  A Register Based VM. 柠檬手写的看起来像栈机的寄存器机
  ☆65Aug 7, 2020Updated 5 years ago
• rustcc / GEFS

  View on GitHub
  Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.
  ☆14Dec 16, 2020Updated 5 years ago
• LemonVM / LemonVM-V3

  View on GitHub
  第三次重构!
  ☆16Dec 22, 2020Updated 5 years ago
• Chi-Task-Force / Chi-Telegram-Inline-Bot

  View on GitHub
  在 Telegram 上快速模仿迟先生卖弱。
  ☆10Oct 28, 2021Updated 4 years ago
• ice1k / ConsHoTT

  View on GitHub
  Constructive Interpretations of HoTT
  ☆36Aug 26, 2020Updated 5 years ago
• CWKSC / magic-in-ten-mins-csharp

  View on GitHub
  十分钟魔法练习
  ☆49Jan 9, 2021Updated 5 years ago
• chuigda-wasteland / Project-47

  View on GitHub
  The formal development repository for Pr47
  ☆21Feb 21, 2023Updated 2 years ago
• Trebor-Huang / ice1000

  View on GitHub
  🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟
  ☆19Jun 25, 2022Updated 3 years ago
• ice1000 / intellij-bililive

  View on GitHub
  Just for fun, 114594
  ☆17Apr 28, 2020Updated 5 years ago
• Glavo / kala-common

  View on GitHub
  A powerful, easy-to-use, modern Java core library for the future
  ☆63Jan 17, 2026Updated 3 weeks ago
• sxysxy / XYGui

  View on GitHub
  A set of Gui tools for ruby. My first gem....
  ☆16May 26, 2017Updated 8 years ago
• niltok / magic-in-ten-mins

  View on GitHub
  十分钟魔法练习
  ☆818Sep 2, 2023Updated 2 years ago
• dmonad / isomorphic.js

  View on GitHub
  Isomorphic JavaScript helper functions (crpyto, performance, ..)
  ☆11Jul 18, 2023Updated 2 years ago
• ice1000 / agda-mode

  View on GitHub
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆28Nov 12, 2025Updated 3 months ago
• rami3l / yascm

  View on GitHub
  Yet another Scheme interpreter.
  ☆11Sep 17, 2022Updated 3 years ago
• 9chu / parser_gen

  View on GitHub
  A LR(1) parser generator targeting C++17.
  ☆13Jul 8, 2020Updated 5 years ago
• Guest0x0 / trebor

  View on GitHub
  an implementation of Observational Type Theory (OTT) and more
  ☆30Oct 15, 2022Updated 3 years ago
• owo-lang / voile-rs

  View on GitHub
  Dependently-typed row-polymorphic programming language, evolved from minitt-rs
  ☆99Sep 21, 2020Updated 5 years ago
• dragonly / HasCraft

  View on GitHub
  A Minecraft demo in Haskell ;)
  ☆12Mar 11, 2016Updated 9 years ago
• ysc3839 / SingleExeXamlIsland

  View on GitHub
  ☆14May 13, 2024Updated last year
• oboard / mio

  View on GitHub
  A powerful HTTP networking package for MoonBit.
  ☆20Oct 18, 2025Updated 3 months ago
• chuigda / Project-WG

  View on GitHub
  试图用 OpenGL 3.3 画个可爱（？大概吧）的小机器人。
  ☆17Nov 27, 2024Updated last year
• dark-flames / yukino-dev

  View on GitHub
  A type-driven and high-performance ORM framework in Rust
  ☆31Jun 13, 2025Updated 8 months ago
• u-u-z / EncryptedClipboard

  View on GitHub
  EncryptedClipboard
  ☆13Sep 24, 2020Updated 5 years ago
• Glavo / kala-lang

  View on GitHub
  ☆12Aug 19, 2021Updated 4 years ago
• Agda-zh / PLFA-zh

  View on GitHub
  《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
  ☆220Jan 26, 2026Updated 2 weeks ago
• ice1000 / anqur

  View on GitHub
  Elaboration with inductive types
  ☆16Jun 1, 2023Updated 2 years ago
• oovm / wolfram-exchange

  View on GitHub
  ☆17Jun 21, 2024Updated last year
• himself65 / LianXue

  View on GitHub
  恋学，全称Cre的恋爱学
  ☆46Dec 10, 2022Updated 3 years ago
• RedPRL / bantorra

  View on GitHub
  📚 A library for managing libraries and resolving unit paths
  ☆17Nov 21, 2025Updated 2 months ago
• ltoddy / cloc-rs

  View on GitHub
  Count, or compute differences of, lines of source code and comments fastly.
  ☆32Feb 10, 2025Updated last year
• aya-prover / aya-dev

  View on GitHub
  A proof assistant and a dependently-typed language
  ☆347Jan 25, 2026Updated 2 weeks ago
• KunoiSayami / Following-Special-Friends-Telegram

  View on GitHub
  A bot that can monitor specify user send message to your common group
  ☆13Feb 4, 2026Updated last week
• dark-flames / apollo-typst

  View on GitHub
  Typst blog template based on Zola, typst.ts, and apollo.
  ☆40Jun 8, 2025Updated 8 months ago
• imkiva / valheim

  View on GitHub
  Just for fun riscv64 emulator, which boots the Linux.
  ☆41Dec 14, 2022Updated 3 years ago
• ice1000 / arend-io

  View on GitHub
  A toy IO library for Arend
  ☆18Feb 12, 2021Updated 5 years ago