marijnheule / Keller-encode
code related to Keller's conjecture
☆78Updated last year
Related projects: ⓘ
- ☆74Updated 4 months ago
- ☆36Updated 2 years ago
- Discovering magic squares in Tang Dynasty poems☆188Updated 3 years ago
- Mathematica Theory of Computer Algebra System☆106Updated 8 years ago
- PyArmadillo: an alternative approach to linear algebra in Python☆60Updated 3 years ago
- ☆39Updated 7 years ago
- 面向中文排序的 makeindex 程序☆42Updated 4 years ago
- zh_TW translation files for the book CSUnplugged☆108Updated 7 years ago
- Core Interpreter of maTHmU CAS☆33Updated 3 years ago
- 老面 (sourdough, lit. "old dough") is used as the starter for fermenting dough. This repository contains my digital 老面.☆10Updated last month
- Lean4中文教程☆28Updated 11 months ago
- Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)☆6Updated 2 years ago
- Java Geometry Expert☆445Updated 9 months ago
- 文言陰符 An Introduction to Programming in Wenyan Language☆330Updated 3 years ago
- Chinese dummy text☆17Updated 5 months ago
- ☆26Updated 7 years ago
- A Quantum 爻 System Implementation for Divination☆93Updated last year
- Kernel part subproject for GNU TeXmacs, GSoC only☆36Updated 4 years ago
- random stuff in prolog☆73Updated 5 years ago
- A simple processor running on FPGA written in Haskell(CLaSH) and compiled into verilog☆22Updated 6 years ago
- Core Interpreter of maTHmU CAS☆64Updated 7 years ago
- An experimental ahead of time compiler for Relay.☆51Updated 4 years ago
- ☆23Updated this week
- Perl in Classical Chinese in Perl☆283Updated 9 years ago
- Chinese translation of the book "TeX by Topic"☆79Updated last year
- Learn LaTeX the Hard Way☆53Updated 7 years ago
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆17Updated 5 years ago
- Automatically exported from code.google.com/p/asy4cn☆11Updated 2 years ago
- archive.tw☆40Updated last year
- 这是个中文版的C++小测题。☆22Updated 4 years ago