Alternatives and similar repositories for magic-in-ten-mins

Users that are interested in magic-in-ten-mins are comparing it to the libraries listed below

• PhotonQuantum / magic-in-ten-mins-rs

  View on GitHub
  十分钟魔法练习 in Rust
  ☆467Sep 26, 2022Updated 3 years ago
• tusikalanse / magic-in-ten-mins-cpp

  View on GitHub
  ☆82Jan 18, 2021Updated 5 years ago
• CWKSC / magic-in-ten-mins-csharp

  View on GitHub
  十分钟魔法练习
  ☆49Jan 9, 2021Updated 5 years ago
• niltok / tesseract

  View on GitHub
  only for 彩虹桥, use https://github.com/niltok/tesseract-lite if you want to deploy
  ☆52May 12, 2023Updated 2 years ago
• Trebor-Huang / history

  View on GitHub
  History of type theory (Chinese).
  ☆360May 25, 2025Updated 8 months ago
• Agda-zh / PLFA-zh

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

  View on GitHub
  A proof assistant and a dependently-typed language
  ☆347Jan 25, 2026Updated 3 weeks ago
• Chi-Task-Force / Chi-Telegram-Inline-Bot

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

  View on GitHub
  A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业
  ☆30Jun 1, 2020Updated 5 years ago
• ice1000 / Books

  View on GitHub
  My slides and notes
  ☆140May 31, 2023Updated 2 years ago
• LighghtEeloo / magic-in-ten-mins-ml

  View on GitHub
  十分钟魔法练习 in OCaml
  ☆36Mar 31, 2022Updated 3 years ago
• Coq-zh / SF-zh

  View on GitHub
  《软件基础》中译版 Software Foundations Chinese Translation
  ☆963Mar 14, 2022Updated 3 years ago
• rowscript / rowscript

  View on GitHub
  RowScript programming language, making a better browser world
  ☆126Jan 5, 2026Updated last month
• niltok / itp-ard

  View on GitHub
  🚧施工中🚧 用 Arend 写证明的交互式教程
  ☆14Sep 7, 2022Updated 3 years ago
• imkiva / valheim

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

  View on GitHub
  Deprecated
  ☆39Nov 2, 2025Updated 3 months ago
• anqur / lyzh

  View on GitHub
  A well-documented minimal dependently-typed language for my friend Lyzh
  ☆27Feb 7, 2025Updated last year
• Infinity-Type-Cafe / ntype-cafe-summer-school

  View on GitHub
  ntype cafe summer school resources
  ☆146Jun 16, 2024Updated last year
• LemonVM / LemonVMAlpha

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

  View on GitHub
  A multi-threaded, persistent key/value store
  ☆17Feb 9, 2021Updated 5 years ago
• b1f6c1c4 / learn-git-the-super-hard-way

  View on GitHub
  不走寻常路的Git教程
  ☆500Dec 27, 2020Updated 5 years ago
• skyzh / type-exercise-in-rust

  View on GitHub
  Learn Rust dark magics by implementing an expression framework in database systems
  ☆1,470Aug 9, 2025Updated 6 months ago
• asukaminato0721 / magic-in-ten-mins-ts

  View on GitHub
  十分钟魔法练习 TypeScript 版
  ☆14Dec 6, 2022Updated 3 years ago
• vonhyou / lisp-interpreter

  View on GitHub
  a minimal lisp interpreter written in ruby
  ☆11Apr 15, 2021Updated 4 years ago
• lambda-magic / plt-books

  View on GitHub
  Books on programming language theory and linguistics in general.
  ☆56Jul 16, 2021Updated 4 years ago
• himself65 / learn-os

  View on GitHub
  操作系统学习指南
  ☆92Jan 30, 2021Updated 5 years ago
• ice1000 / anqur

  View on GitHub
  Elaboration with inductive types
  ☆16Jun 1, 2023Updated 2 years ago
• PhotonQuantum / hithit_bot

  View on GitHub
  打打 bot
  ☆14Feb 9, 2026Updated last week
• sumimakito / NeteaseCloudMusic-Now-Playing

  View on GitHub
  ☆24May 16, 2019Updated 6 years ago
• trackoor / RayTracer.ml

  View on GitHub
  🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"
  ☆20May 18, 2022Updated 3 years ago
• DeathKing / Learning-SICP

  View on GitHub
  MIT视频公开课《计算机程序的构造和解释》中文化项目及课程学习资料搜集。
  ☆11,261Sep 27, 2023Updated 2 years ago
• ice1000 / resume

  View on GitHub
  My resume / 我的简历
  ☆798Feb 21, 2025Updated 11 months ago
• rcore-os / rCore

  View on GitHub
  Rust version of THU uCore OS. Linux compatible.
  ☆3,662Aug 24, 2023Updated 2 years ago
• Fugoes / yaay-rs

  View on GitHub
  Yet Another AsYnc runtime for RuSt.
  ☆33Feb 1, 2020Updated 6 years ago
• OI-wiki / OI-wiki

  View on GitHub
  Wiki of OI / ICPC for everyone. （某大型游戏线上攻略，内含炫酷算术魔法）
  ☆25,443Updated this week
• blanboom / awesome-home-networking-cn

  View on GitHub
  家庭网络知识整理
  ☆1,854Oct 28, 2025Updated 3 months ago
• ice1000 / arend-io

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

  View on GitHub
  🍎 Play Bad Apple! with Haskell
  ☆15Jul 22, 2022Updated 3 years ago
• thautwarm / diojit

  View on GitHub
  Fully compatible CPython jit compiler. Optimising Dynamic, Interpreted, and Object-oriented(DIO) programs.
  ☆117Feb 18, 2021Updated 4 years ago