niltok/magic-in-ten-mins external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

niltok/magic-in-ten-mins

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/niltok/magic-in-ten-mins)

Close

niltok / magic-in-ten-minsView on GitHubMore

• External links
• Readme badge

十分钟魔法练习

☆816Sep 2, 2023Updated 2 years ago

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).
  ☆359May 25, 2025Updated 9 months ago
• Agda-zh / PLFA-zh

  View on GitHub
  《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
  ☆220Updated this week
• aya-prover / aya-dev

  View on GitHub
  A proof assistant and a dependently-typed language
  ☆351Feb 22, 2026Updated 2 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
  ☆37Mar 31, 2022Updated 3 years ago
• rowscript / rowscript

  View on GitHub
  RowScript programming language, making a better browser world
  ☆125Jan 5, 2026Updated 2 months ago
• Rocq-zh / SF-zh

  View on GitHub
  《软件基础》中译版 Software Foundations Chinese Translation
  ☆967Updated this week
• 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
• anqur / lyzh

  View on GitHub
  A well-documented minimal dependently-typed language for my friend Lyzh
  ☆27Feb 7, 2025Updated last year
• KonjacSource / ShiTT

  View on GitHub
  Deprecated
  ☆40Nov 2, 2025Updated 4 months ago
• 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
• winterland1989 / magic-haskell

  View on GitHub
  魔力haskell官方网站
  ☆298May 15, 2019Updated 6 years ago
• b1f6c1c4 / learn-git-the-super-hard-way

  View on GitHub
  不走寻常路的Git教程
  ☆500Dec 27, 2020Updated 5 years ago
• vonhyou / lisp-interpreter

  View on GitHub
  a minimal lisp interpreter written in ruby
  ☆11Apr 15, 2021Updated 4 years ago
• asukaminato0721 / magic-in-ten-mins-ts

  View on GitHub
  十分钟魔法练习 TypeScript 版
  ☆14Dec 6, 2022Updated 3 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
• PhotonQuantum / hithit_bot

  View on GitHub
  打打 bot
  ☆13Updated this week
• ice1000 / anqur

  View on GitHub
  Elaboration with inductive types
  ☆16Jun 1, 2023Updated 2 years ago
• 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,255Sep 27, 2023Updated 2 years ago
• ice1000 / resume

  View on GitHub
  My resume / 我的简历
  ☆799Feb 21, 2025Updated last year
• 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,610Updated this week
• raptazure / mauve

  View on GitHub
  🍎 Play Bad Apple! with Haskell
  ☆15Jul 22, 2022Updated 3 years ago
• ice1000 / arend-io

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

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

  View on GitHub
  A powerful, easy-to-use, modern Java core library for the future
  ☆63Jan 17, 2026Updated last month
• brupst / awsome-bupt-rust

  View on GitHub
  A curated list of Rust code and resources made from BUPT.
  ☆79Jan 20, 2023Updated 3 years ago
• trackoor / Chi

  View on GitHub
  🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.
  ☆16Jul 13, 2020Updated 5 years ago