marijnheule / Keller-encodeLinks
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
Sorting:
- ☆35Updated 5 months ago
- ☆78Updated last year
- Mathematica Theory of Computer Algebra System☆121Updated 10 years ago
- ☆41Updated 8 years ago
- Fully compatible CPython jit compiler. Optimising Dynamic, Interpreted, and Object-oriented(DIO) programs.☆117Updated 4 years ago
- Perl in Classical Chinese in Perl☆284Updated 11 years ago
- ☆47Updated 11 months ago
- ☆26Updated 9 years ago
- Core Interpreter of maTHmU CAS☆37Updated 5 years ago
- An April fools joke, a llvm backend to CMake☆48Updated 4 years ago
- Project Euler | 欧拉计划 中文翻译站☆48Updated 2 months ago
- A simple processor running on FPGA written in Haskell(CLaSH) and compiled into verilog☆22Updated 7 years ago
- 微软Q#☆184Updated 6 years ago
- The Basis Programming Language☆26Updated 6 years ago
- 老面 (sourdough, lit. "old dough") is used as the starter for fermenting dough. This repository contains my digital 老面.☆12Updated 3 months ago
- A simple C++ complex & real matrix library, with matrix inversion, left division and determinant calculation☆64Updated 3 years ago
- Core Interpreter of maTHmU CAS☆67Updated 8 years ago
- PKU CompNet'19 Lab 2 - Homebrew TCP☆12Updated 6 years ago
- Lean4中文教程☆35Updated 11 months ago
- 计算方法撷英 Notes on Computing Methods☆13Updated 5 years ago
- HERMES: sHallow dirEctory stRucture Many-filE fileSystem☆20Updated 6 years ago
- ☆28Updated 7 years ago
- ☆12Updated 4 years ago
- Please go to https://github.com/maTHmU/nV☆15Updated 11 years ago
- Generative Chinese poetry☆76Updated 3 years ago
- danmaku client implemented in Qt☆192Updated 8 months ago
- A lib to encode/decode Joycon Bluetooth packet.☆89Updated 2 years ago
- tasty feature extensions for python3(NO MAINTENANCE!).☆62Updated 6 years ago
- Code of USD-Seg:Learning Universal Shape Dictionary for Realtime Instance Segmentation☆81Updated 4 years ago
- ☆26Updated 8 years ago