marijnheule / Keller-encode
code related to Keller's conjecture
☆78Updated last year
Related projects ⓘ
Alternatives and complementary repositories for Keller-encode
- ☆74Updated 6 months ago
- ☆35Updated 2 years ago
- Mathematica Theory of Computer Algebra System☆108Updated 9 years ago
- ☆40Updated 7 years ago
- Core Interpreter of maTHmU CAS☆67Updated 7 years ago
- Perl in Classical Chinese in Perl☆283Updated 9 years ago
- ☆26Updated 7 years ago
- 🍎 Play Bad Apple! with Haskell☆15Updated 2 years ago
- A simple processor running on FPGA written in Haskell(CLaSH) and compiled into verilog☆22Updated 6 years ago
- ☆42Updated 2 years ago
- Core Interpreter of maTHmU CAS☆35Updated 3 years ago
- Discovering magic squares in Tang Dynasty poems☆188Updated 3 years ago
- 这是个中文版的C++小测题。☆22Updated 5 years ago
- A lib to encode/decode Joycon Bluetooth packet.☆86Updated last year
- Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)☆6Updated 3 years ago
- An April fools joke, a llvm backend to CMake☆47Updated 3 years ago
- book for Halide language programming☆13Updated 3 years ago
- Gödel, Escher, Bach: an Eternal Golden Braid☆85Updated 2 years ago
- 老面 (sourdough, lit. "old dough") is used as the starter for fermenting dough. This repository contains my digital 老面.☆10Updated 3 months ago
- Tracking Books of TUNA Library☆9Updated 4 years ago
- 大秦话版的Brainfuck解释器☆22Updated 7 years ago
- Lean4中文教程☆30Updated last year
- A Quantum 爻 System Implementation for Divination☆94Updated last year
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆17Updated 6 years ago
- http://fatiherikli.github.io/brainfuck-visualizer/☆33Updated 5 years ago
- 面向中文排序的 makeindex 程序☆45Updated 4 years ago
- ☆29Updated 3 months ago
- 网络学堂 PC 端 App☆21Updated last year
- Generate prime numbers whose binary representation looks like any image.☆113Updated 2 years ago