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
- ☆74Updated 8 months ago
- ☆35Updated 3 years ago
- An educational game about Wanli Period of the Ming Dynasty☆8Updated 4 years ago
- ☆41Updated 7 years ago
- Mathematica Theory of Computer Algebra System☆112Updated 9 years ago
- A simple processor running on FPGA written in Haskell(CLaSH) and compiled into verilog☆22Updated 6 years ago
- ☆42Updated 3 weeks ago
- A Brainfuck interpreter written by Brainfuck.☆52Updated 6 years ago
- Shoo is a statically typed programming language with first-class functions, structs, and arrays.☆117Updated 5 years ago
- An April fools joke, a llvm backend to CMake☆47Updated 3 years ago
- Discovering magic squares in Tang Dynasty poems☆188Updated 3 years ago
- Automatically exported from code.google.com/p/asy4cn☆11Updated 2 years ago
- Core Interpreter of maTHmU CAS☆36Updated 4 years ago
- Perl in Classical Chinese in Perl☆283Updated 10 years ago
- Gödel, Escher, Bach: an Eternal Golden Braid☆84Updated 2 years ago
- random stuff in prolog☆74Updated 6 years ago
- zh_TW translation files for the book CSUnplugged☆108Updated 7 years ago
- PyArmadillo: an alternative approach to linear algebra in Python☆61Updated 3 years ago
- A lib to encode/decode Joycon Bluetooth packet.☆87Updated last year
- Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)☆6Updated 3 years ago
- Fully compatible CPython jit compiler. Optimising Dynamic, Interpreted, and Object-oriented(DIO) programs.☆116Updated 3 years ago
- ☆12Updated 3 years ago
- ☆26Updated 8 years ago
- Xmacs renamed to Mogan☆34Updated 3 years ago
- A LaTeX template that mimics Microsoft Word’s look and feel☆24Updated 4 years ago
- Project Euler | 欧拉计划 中文翻译站☆45Updated this week
- Standard_Code_Library☆18Updated 5 years ago
- 老面 (sourdough, lit. "old dough") is used as the starter for fermenting dough. This repository contains my digital 老面.☆10Updated last month
- New implementation of xeCJK☆18Updated last year
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆18Updated 6 years ago