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 6 months ago
- ☆78Updated last year
- Perl in Classical Chinese in Perl☆284Updated 11 years ago
- ☆47Updated last year
- Mathematica Theory of Computer Algebra System☆121Updated 10 years ago
- Fully compatible CPython jit compiler. Optimising Dynamic, Interpreted, and Object-oriented(DIO) programs.☆117Updated 4 years ago
- 🍎 Play Bad Apple! with Haskell☆15Updated 3 years ago
- Discovering magic squares in Tang Dynasty poems☆190Updated 4 years ago
- 老面 (sourdough, lit. "old dough") is used as the starter for fermenting dough. This repository contains my digital 老面.☆12Updated 4 months ago
- A chance to focus on graph drawing itself, forget APIs and other stuffs.☆40Updated 3 years ago
- http://fatiherikli.github.io/brainfuck-visualizer/☆40Updated 7 years ago
- Compile-time LISP interpreter on C macro preprocessor☆145Updated 7 years ago
- ☆41Updated 8 years ago
- A lib to encode/decode Joycon Bluetooth packet.☆89Updated 2 years ago
- tasty feature extensions for python3(NO MAINTENANCE!).☆62Updated 6 years ago
- The Basis Programming Language☆26Updated 6 years ago
- Shoo is a statically typed programming language with first-class functions, structs, and arrays.☆115Updated 7 years ago
- A simple processor running on FPGA written in Haskell(CLaSH) and compiled into verilog☆22Updated 7 years ago
- ☆26Updated 9 years ago
- 《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版☆220Updated 2 weeks ago
- Xmacs renamed to Mogan☆34Updated 4 years ago
- Gödel, Escher, Bach: an Eternal Golden Braid☆88Updated 3 years ago
- Kernel part subproject for GNU TeXmacs, GSoC only☆36Updated 6 years ago
- Lean4中文教程☆35Updated last year
- random stuff in prolog☆78Updated 7 years ago
- Core Interpreter of maTHmU CAS☆67Updated 8 years ago
- 文言陰符 An Introduction to Programming in Wenyan Language☆374Updated 4 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
- Convenient parser generator for Python(check out https://github.com/thautwarm/RBNF for an advanced version).☆65Updated 7 years ago
- ☆437Updated 3 years ago