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 4 months ago
- Mathematica Theory of Computer Algebra System☆120Updated 10 years ago
- Perl in Classical Chinese in Perl☆283Updated 10 years ago
- ☆41Updated 8 years ago
- Core Interpreter of maTHmU CAS☆37Updated 4 years ago
- An Auto Report Generator for Python Programs☆82Updated 2 years ago
- Generative Chinese poetry☆76Updated 2 years ago
- Fully compatible CPython jit compiler. Optimising Dynamic, Interpreted, and Object-oriented(DIO) programs.☆116Updated 4 years ago
- Lean4中文教程☆35Updated 10 months ago
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆19Updated 7 years ago
- ☆26Updated 9 years ago
- An April fools joke, a llvm backend to CMake☆48Updated 4 years ago
- Gödel, Escher, Bach: an Eternal Golden Braid☆87Updated 3 years ago
- Zero-Config Single-Node Workload Manager☆17Updated 4 years ago
- A simple processor running on FPGA written in Haskell(CLaSH) and compiled into verilog☆22Updated 7 years ago
- ☆26Updated 8 years ago
- My slides and notes☆139Updated 2 years ago
- ☆47Updated 10 months ago
- A simple C++ complex & real matrix library, with matrix inversion, left division and determinant calculation☆64Updated 3 years ago
- Kernel part subproject for GNU TeXmacs, GSoC only☆36Updated 6 years ago
- Shoo is a statically typed programming language with first-class functions, structs, and arrays.☆115Updated 6 years ago
- Deeplang is a new language for IoT device programming.☆82Updated 2 years ago
- A chance to focus on graph drawing itself, forget APIs and other stuffs.☆40Updated 3 years ago
- 这是个中文版的C++小测题。☆22Updated 6 years ago
- The Basis Programming Language☆26Updated 6 years ago
- A lib to encode/decode Joycon Bluetooth packet.☆88Updated 2 years ago
- This project's lifetime has ended. The successor is https://github.com/thautwarm/frontend-for-free which is WIP. You can check lark-parse…☆41Updated 7 years ago
- zh_TW translation files for the book CSUnplugged☆107Updated 8 years ago
- Generate prime numbers whose binary representation looks like any image.☆112Updated 3 years ago
- A compiler for higher rank ML with type classes☆13Updated 5 years ago