marijnheule / Keller-encode
code related to Keller's conjecture
☆78Updated last year
Alternatives and similar repositories for Keller-encode:
Users that are interested in Keller-encode are comparing it to the libraries listed below
- ☆75Updated 9 months ago
- ☆35Updated 3 years ago
- Mathematica Theory of Computer Algebra System☆115Updated 9 years ago
- Core Interpreter of maTHmU CAS☆36Updated 4 years ago
- ☆25Updated 7 years ago
- 🍎 Play Bad Apple! with Haskell☆15Updated 2 years ago
- A lib to encode/decode Joycon Bluetooth packet.☆87Updated last year
- ☆41Updated 7 years ago
- Automatically exported from code.google.com/p/asy4cn☆11Updated 2 years ago
- 老面 (sourdough, lit. "old dough") is used as the starter for fermenting dough. This repository contains my digital 老面.☆10Updated 2 months ago
- Fully compatible CPython jit compiler. Optimising Dynamic, Interpreted, and Object-oriented(DIO) programs.☆116Updated 4 years ago
- Core Interpreter of maTHmU CAS☆67Updated 7 years ago
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆18Updated 6 years ago
- An open source CPU detection software.☆20Updated 9 years ago
- Gödel, Escher, Bach: an Eternal Golden Braid☆84Updated 2 years ago
- ☆32Updated 4 years ago
- 这是个中文版的C++小测题。☆22Updated 5 years ago
- PyArmadillo: an alternative approach to linear algebra in Python☆61Updated 4 years ago
- 面向中文排序的 makeindex 程序☆46Updated 4 years ago
- Convenient parser generator for Python(check out https://github.com/thautwarm/RBNF for an advanced version).☆65Updated 6 years ago
- Discovering magic squares in Tang Dynasty poems☆188Updated 3 years ago
- 梳理算法竞赛知识点的学习路线☆18Updated 5 years ago
- Standard_Code_Library☆19Updated 5 years ago
- ☆26Updated 8 years ago
- A chance to focus on graph drawing itself, forget APIs and other stuffs.☆38Updated 2 years ago
- An April fools joke, a llvm backend to CMake☆47Updated 3 years ago
- New implementation of xeCJK☆18Updated 2 years ago
- (Deprecated)Rem Programming Language: a playful dynamic language with all modern syntax sugars.☆25Updated 6 years ago
- Java Geometry Expert☆456Updated last year
- learn you a haskell for great good 中文版☆146Updated 3 years ago