penguin-wwy/magic-in-ten-mins-py 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

penguin-wwy/magic-in-ten-mins-py

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/penguin-wwy/magic-in-ten-mins-py)

Close

penguin-wwy / magic-in-ten-mins-pyView on GitHubMore

• External links
• Readme badge

十分钟魔法练习 Python 版

☆82Apr 17, 2022Updated 4 years ago

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

Users that are interested in magic-in-ten-mins-py are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• LighghtEeloo / magic-in-ten-mins-ml

  View on GitHub
  十分钟魔法练习 in OCaml
  ☆35Mar 31, 2022Updated 4 years ago
• yihozhang / egraph-sqlite

  View on GitHub
  egraph on top of sqlite
  ☆13Mar 8, 2022Updated 4 years ago
• I-love-study / graiax-silkcoder

  View on GitHub
  A simple silkv3 encoder
  ☆37Mar 7, 2025Updated last year
• nadia-polikarpova / cyclegg

  View on GitHub
  Cyclic theorem prover for equalitional reasoning using egraphs
  ☆27Oct 24, 2023Updated 2 years ago
• sslab-keio / FiTx

  View on GitHub
  Bug detection framework for finding Finger tracable bugs in Linux
  ☆20Mar 23, 2025Updated last year
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• Suzhou-Tongyuan / GaloisFieldNumbers.jl

  View on GitHub
  JuliaCN 2022 archived demo repo: How Julia beats MATLAB's C codes by 1000x
  ☆10May 25, 2023Updated 3 years ago
• frostming / enum-adt

  View on GitHub
  ☆13Jun 28, 2024Updated 2 years ago
• purofle / code-status

  View on GitHub
  A code status dashboard.
  ☆10Apr 19, 2023Updated 3 years ago
• theosotr / cynthia

  View on GitHub
  Data-Oriented Differential Testing of ORM Systems.
  ☆15Jan 22, 2021Updated 5 years ago
• sudoskys / subtitle_utils

  View on GitHub
  Subtilte Convert Utils - ass2srt vtt2bcc srt2bcc ass2bcc and more | 字幕格式转换
  ☆14Jan 18, 2024Updated 2 years ago
• MooncellWiki / prts-widgets

  View on GitHub
  PRTS Widgets 构建仓库
  ☆16Updated this week
• xnning / Consistent-Subtyping-for-All

  View on GitHub
  Haskell implementation and Coq proof for an implicit polymorphic gradual type system.
  ☆17May 27, 2020Updated 6 years ago
• GraiaProject / Ichika

  View on GitHub
  基于 RICQ 的轻量级 Python QQ 自动化框架。
  ☆38Oct 18, 2023Updated 2 years ago
• Zxilly / YearMaps

  View on GitHub
  Generate heat map of a year.
  ☆10Apr 13, 2022Updated 4 years ago
• Deploy open-source AI quickly and easily - Special Bonus Offer • Ad
  Runpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
• niltok / magic-in-ten-mins

  View on GitHub
  十分钟魔法练习
  ☆812Sep 2, 2023Updated 2 years ago
• oovm / WolframFunctionRepository

  View on GitHub
  Wolfram Function Repository Issue Tracer
  ☆13Sep 10, 2020Updated 5 years ago
• frankschae / Control-of-Stochastic-Quantum-Dynamics-with-Differentiable-Programming

  View on GitHub
  Repository for the Control of Stochastic Quantum Dynamics with Differentiable Programming paper.
  ☆16Feb 16, 2021Updated 5 years ago
• egraphs-good / snake-egg

  View on GitHub
  Python bindings for egg
  ☆50Jan 17, 2023Updated 3 years ago
• stenbror / PythonCoreFrameworkFSharp

  View on GitHub
  Python core implemented in F# language and under dotnetcore 3.1 or later.
  ☆25May 14, 2020Updated 6 years ago
• Peter554 / dc_schema

  View on GitHub
  Generate JSON schema from python dataclasses
  ☆23Feb 13, 2024Updated 2 years ago
• wies / grasshopper

  View on GitHub
  An automated deductive program verifier.
  ☆42Mar 2, 2023Updated 3 years ago
• connorimes / SPECjvm2008

  View on GitHub
  SPECjvm2008 Benchmark Suite
  ☆20Jan 22, 2016Updated 10 years ago
• synodriver / pymirai

  View on GitHub
  mirai protocol implemention on python with asyncio
  ☆14May 18, 2022Updated 4 years ago
• Bare Metal GPUs on DigitalOcean Gradient AI • Ad
  Purpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
• HUSTLUG / yogurt-mirror

  View on GitHub
  华中科技大学Linux协会（HUSTLUG）开源镜像站
  ☆12Oct 26, 2023Updated 2 years ago
• GreyElaina / Mina

  View on GitHub
  ☆24Oct 11, 2024Updated last year
• CWKSC / magic-in-ten-mins-csharp

  View on GitHub
  十分钟魔法练习
  ☆50Jan 9, 2021Updated 5 years ago
• TiarkRompf / types-and-proofs

  View on GitHub
  Mechanized baselines for various type system features
  ☆19Apr 14, 2026Updated 3 months ago
• penguin-statistics / widget-frontend

  View on GitHub
  The frontend of Penguin Statistics' embed widget. Provides embeddable statistical data to external websites.
  ☆11Apr 13, 2023Updated 3 years ago
• toumorokoshi / jsonschema-extractor

  View on GitHub
  Extract jsonschema from various Python objects
  ☆33Oct 25, 2022Updated 3 years ago
• sqlalchemy / awaitlet

  View on GitHub
  invoke asyncio awaitables from non-async functions
  ☆64Jul 1, 2024Updated 2 years ago
• noooop / wde

  View on GitHub
  Workflow Defined Engine
  ☆25Nov 4, 2025Updated 8 months ago
• rainoftime / pl-skills

  View on GitHub
  ☆16Feb 19, 2026Updated 5 months ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• pwwang / toml-bench

  View on GitHub
  Which toml package to use in python?
  ☆53Jun 25, 2024Updated 2 years ago
• wayne0926 / countdown

  View on GitHub
  很久以前写的人生倒计时工具，由于博客内无法运行，拿出来
  ☆11Jun 9, 2022Updated 4 years ago
• leilayanhui / Magic-Formula-Cn

  View on GitHub
  适用中国市场的神奇公式
  ☆13May 5, 2017Updated 9 years ago
• ZJU-PL / lotus

  View on GitHub
  A program analysis and verification framework for LLVM IR
  ☆36Updated this week
• bkushigian / cornelius

  View on GitHub
  Equivalent and redundant mutant detection with e-graphs!!!
  ☆13Jun 14, 2023Updated 3 years ago
• thautwarm / restrain-jit

  View on GitHub
  The first and yet the only CPython compatible Python JIT, over the world.(julia backend: https://github.com/thautwarm/RestrainJIT.jl)
  ☆107Dec 9, 2019Updated 6 years ago
• ice1000 / copilot-learning-materials

  View on GitHub
  My type-ups for copilot to learn from.
  ☆11Aug 30, 2022Updated 3 years ago