marijnheule / Keller-encodeLinks
code related to Keller's conjecture
☆78Updated 2 years ago
Alternatives and similar repositories for Keller-encode
Users that are interested in Keller-encode are comparing it to the libraries listed below
Sorting:
- ☆76Updated last year
- Discovering magic squares in Tang Dynasty poems☆188Updated 4 years ago
- Core Interpreter of maTHmU CAS☆36Updated 4 years ago
- ☆35Updated 3 years ago
- Mathematica Theory of Computer Algebra System☆118Updated 9 years ago
- Project Euler | 欧拉计划 中文翻译站☆46Updated 2 months ago
- ☆41Updated 8 years ago
- A Quantum 爻 System Implementation for Divination☆96Updated 2 years ago
- ☆26Updated 8 years ago
- 老面 (sourdough, lit. "old dough") is used as the starter for fermenting dough. This repository contains my digital 老面.☆10Updated 3 weeks ago
- archive.tw☆40Updated 2 years ago
- Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)☆7Updated 3 years ago
- Gödel, Escher, Bach: an Eternal Golden Braid☆86Updated 2 years ago
- A LaTeX Package for 膜☆59Updated 8 years ago
- A LaTeX template that mimics Microsoft Word’s look and feel☆24Updated 5 years ago
- 🍎 Play Bad Apple! with Haskell☆15Updated 2 years ago
- PKU CompNet'19 Lab 2 - Homebrew TCP☆12Updated 5 years ago
- Tracking Books of TUNA Library☆11Updated 4 years ago
- zh_TW translation files for the book CSUnplugged☆108Updated 7 years ago
- 在 VS Code 中搜索 OI wiki☆42Updated 2 years ago
- New implementation of xeCJK☆18Updated 2 years ago
- Standard_Code_Library☆19Updated 6 years ago
- ☆26Updated 8 years ago
- 计算方法撷英 Notes on Computing Methods☆21Updated 5 years ago
- learn you a haskell for great good 中文版☆146Updated 4 years ago
- Perl in Classical Chinese in Perl☆282Updated 10 years ago
- Core Interpreter of maTHmU CAS☆67Updated 8 years ago
- 周蟒, 用中文化 python 語法寫程式☆60Updated 5 years ago
- Learn LaTeX the Hard Way☆59Updated 8 years ago
- An April fools joke, a llvm backend to CMake☆47Updated 3 years ago