Alternatives and similar repositories for Tchisla

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

• MathsFans / Euclidea
  This is an open source project to share ideas for solving the geometry games Euclidea.
  ☆290Updated 2 years ago
• qinglee / GEB
  Gödel, Escher, Bach: an Eternal Golden Braid
  ☆85Updated 2 years ago
• clerkma / ptex-ng
  Asiatic pTeX
  ☆296Updated last week
• Andrew-Shen / ingress-guide
  ☆63Updated 6 years ago
• oovm / Geass
  ☆62Updated 6 years ago
• kingfree / cogs
  王者自由维护的 CmYkRgB123 在线评测系统，文件IO，支持评测插件和提交答案
  ☆61Updated 8 years ago
• Ir1d / BZOJCrawler
  ☆12Updated 6 years ago
• CenaPlus / CenaPlus
  Cena plus is an online judge system within a local area network.
  ☆30Updated 11 years ago
• DiamondJack / NOI2018
  ☆19Updated 6 years ago
• chaoxu / naivemoha
  A LaTeX Package for 膜
  ☆59Updated 7 years ago
• SuperSodaSea / BfBf
  A Brainfuck interpreter written by Brainfuck.
  ☆56Updated 6 years ago
• ice1000 / Books
  My slides and notes
  ☆137Updated last year
• Agda-zh / PLFA-zh
  《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
  ☆211Updated this week
• banana-space / btex
  ☆48Updated last year
• 51isoft / bnuoj
  BNU Online Judge
  ☆94Updated 8 years ago
• Hexcles / Eevee
  Eevee is a local OI(and perhaps ACM in the future) judger for Linux. It currently only works in X86 (32-bit).
  ☆75Updated 11 years ago
• OpenPAL / TypeAndProof
  https://openpal.github.io/TypeAndProof/
  ☆99Updated 7 years ago
• banana-space / banana-space
  ☆174Updated last year
• fjzzq2002 / fjzzq2002.github.io
  ☆52Updated this week
• vijos / malicious-code
  Malicious code that Vijos judged.
  ☆196Updated 3 years ago
• JudgeDuck / judge-duck-service
  Judge and web service for Judge Duck Online
  ☆38Updated 5 years ago
• arsenali / rime-esperanto
  世界语输入方案
  ☆15Updated 3 years ago
• Trebor-Huang / history
  History of type theory (Chinese).
  ☆345Updated last month
• fotile96 / Z_m-PolyMult
  robust polynomial multiplication in modulo m
  ☆18Updated 9 years ago
• yihong0618 / gaycore
  use command-line to listen gadio
  ☆116Updated last year
• CodeVS-Open / CodeVS
  CodeVS 做优质高效的编程训练平台
  ☆24Updated 9 years ago
• PE-CN / PE-CN.github.io
  Project Euler | 欧拉计划 中文翻译站
  ☆46Updated 3 weeks ago
• Nuullll / multi-field
  multi-field planner for Ingress
  ☆26Updated 8 years ago
• quark-zju / lrun
  Run command on Linux with resources limited.
  ☆189Updated 4 years ago
• mzry1992 / ACMICPCTemplate
  My ACM/ICPC Template
  ☆70Updated 10 years ago