marijnheule / Keller-encode
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
- ☆76Updated last year
- ☆35Updated 3 years ago
- 🍎 Play Bad Apple! with Haskell☆15Updated 2 years ago
- ☆41Updated 8 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 5 months ago
- Core Interpreter of maTHmU CAS☆67Updated 8 years ago
- Core Interpreter of maTHmU CAS☆36Updated 4 years ago
- FFT(WIP)&DFT implementations in NVIDIA CUDA and Apple Metal☆24Updated 3 years ago
- Discovering magic squares in Tang Dynasty poems☆188Updated 4 years ago
- archive.tw☆40Updated 2 years ago
- ☆43Updated 3 months ago
- A lib to encode/decode Joycon Bluetooth packet.☆87Updated 2 years ago
- ☆12Updated 3 years ago
- Perl in Classical Chinese in Perl☆282Updated 10 years ago
- An educational game about Wanli Period of the Ming Dynasty☆8Updated 5 years ago
- Mathematica Theory of Computer Algebra System☆117Updated 9 years ago
- ☆25Updated 8 years ago
- 🌈 BlueSense is a long-term project for monitoring Shanghai environment data.☆26Updated 2 years ago
- PKU CompNet'19 Lab 2 - Homebrew TCP☆12Updated 5 years ago
- TUNA on AWS☆143Updated last year
- 文言陰符 An Introduction to Programming in Wenyan Language☆356Updated 3 years ago
- 《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版☆211Updated last week
- The Basis Programming Language☆26Updated 5 years ago
- book for Halide language programming☆13Updated 3 years ago
- ☆26Updated 8 years ago
- 一版使用XeLaTeX整理過的精排版的微積溯源☆21Updated last year
- 计算方法撷英 Notes on Computing Methods☆21Updated 4 years ago
- Tracking Books of TUNA Library☆10Updated 4 years ago
- New implementation of xeCJK☆18Updated 2 years ago