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 last month
- ☆78Updated last year
- Mathematica Theory of Computer Algebra System☆119Updated 9 years ago
- ☆41Updated 8 years ago
- Perl in Classical Chinese in Perl☆282Updated 10 years ago
- Lean4中文教程☆34Updated 7 months ago
- book for Halide language programming☆13Updated 4 years ago
- An April fools joke, a llvm backend to CMake☆48Updated 4 years ago
- Fully compatible CPython jit compiler. Optimising Dynamic, Interpreted, and Object-oriented(DIO) programs.☆116Updated 4 years ago
- Discovering magic squares in Tang Dynasty poems☆190Updated 4 years ago
- random stuff in prolog☆76Updated 6 years ago
- ☆43Updated 8 months ago
- 🍎 Play Bad Apple! with Haskell☆15Updated 3 years ago
- A simple implementation of JSON.☆19Updated 8 years ago
- An experimental ahead of time compiler for Relay.☆50Updated 5 years ago
- A chance to focus on graph drawing itself, forget APIs and other stuffs.☆39Updated 3 years ago
- ☆26Updated 8 years ago
- ☆13Updated 7 years ago
- Core Interpreter of maTHmU CAS☆67Updated 8 years ago
- Rubik's Cube solver implemented by C++ and OpenGL using Krof/Kociemba algorithm.☆136Updated 8 years ago
- 老面 (sourdough, lit. "old dough") is used as the starter for fermenting dough. This repository contains my digital 老面.☆10Updated 3 months ago
- A simple processor running on FPGA written in Haskell(CLaSH) and compiled into verilog☆22Updated 7 years ago
- Shoo is a statically typed programming language with first-class functions, structs, and arrays.☆115Updated 6 years ago
- Core Interpreter of maTHmU CAS☆37Updated 4 years ago
- 微软Q#☆182Updated 6 years ago
- Generate prime numbers whose binary representation looks like any image.☆112Updated 3 years ago
- A Quantum 爻 System Implementation for Divination☆97Updated 2 years ago
- A lib to encode/decode Joycon Bluetooth packet.☆88Updated 2 years ago
- tasty feature extensions for python3(NO MAINTENANCE!).☆62Updated 6 years ago
- 这是个中文版的C++小测题。☆22Updated 6 years ago