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
- ☆35Updated 3 years ago
- ☆41Updated 8 years ago
- Discovering magic squares in Tang Dynasty poems☆188Updated 4 years ago
- Core Interpreter of maTHmU CAS☆36Updated 4 years ago
- Automatically exported from code.google.com/p/asy4cn☆11Updated 2 years ago
- 这是个中文版的C++小测题。☆22Updated 5 years ago
- 梳理算法竞赛知识点的学习路线☆18Updated 5 years ago
- ☆26Updated 8 years ago
- Mathematica Theory of Computer Algebra System☆117Updated 9 years ago
- Core Interpreter of maTHmU CAS☆67Updated 8 years ago
- Tracking Books of TUNA Library☆11Updated 4 years ago
- 计算方法撷英 Notes on Computing Methods☆13Updated 4 years ago
- ☆26Updated 8 years ago
- PKU CompNet'19 Lab 2 - Homebrew TCP☆12Updated 5 years ago
- An April fools joke, a llvm backend to CMake☆47Updated 3 years ago
- 🍎 Play Bad Apple! with Haskell☆15Updated 2 years ago
- 面向中文排序的 makeindex 程序☆50Updated 5 years ago
- zh_TW translation files for the book CSUnplugged☆108Updated 7 years ago
- Deeplang is a new language for IoT device programming.☆81Updated 2 years ago
- Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)☆7Updated 3 years ago
- Code of USD-Seg:Learning Universal Shape Dictionary for Realtime Instance Segmentation☆82Updated 4 years ago
- Standard_Code_Library☆19Updated 6 years ago
- Lean4中文教程☆34Updated 4 months ago
- tasty feature extensions for python3(NO MAINTENANCE!).☆62Updated 5 years ago
- book for Halide language programming☆13Updated 3 years ago
- http://fatiherikli.github.io/brainfuck-visualizer/☆36Updated 6 years ago
- 一版使用XeLaTeX整理過的精排版的微積溯源☆21Updated last year
- 剔骨仿宋: Experimental Fang Song style Chinese font☆120Updated 3 years ago
- ☆12Updated 3 years ago