Alternatives and similar repositories for Keller-encode

Users that are interested in Keller-encode are comparing it to the libraries listed below

• kedlaya / tetrahedra
  ☆35Updated 3 months ago
• AndrewVSutherland / SumsOfThreeCubes
  ☆78Updated last year
• maTHmU / MTCAS
  Mathematica Theory of Computer Algebra System
  ☆119Updated 10 years ago
• subfish-zhou / theorem_proving_in_lean4_zh_CN
  Lean4中文教程
  ☆35Updated 9 months ago
• audreyt / lingua-sinica-perlyuyan
  Perl in Classical Chinese in Perl
  ☆282Updated 10 years ago
• LingDong- / magic-square-poems
  Discovering magic squares in Tang Dynasty poems
  ☆189Updated 4 years ago
• MarisaKirisame / resume
  ☆45Updated 10 months ago
• CTeX-DEV / CTeX
  ☆26Updated 8 years ago
• akemimadoka / GC
  ☆12Updated 4 years ago
• maTHmU / nV
  ☆41Updated 8 years ago
• Alaya-in-Matrix / CLaSH-Processor
  A simple processor running on FPGA written in Haskell(CLaSH) and compiled into verilog
  ☆22Updated 7 years ago
• thautwarm / diojit
  Fully compatible CPython jit compiler. Optimising Dynamic, Interpreted, and Object-oriented(DIO) programs.
  ☆116Updated 4 years ago
• eliphatfs / yapyjit
  Yet another python JIT.
  ☆20Updated 2 years ago
• xmonader / prolog-rands
  random stuff in prolog
  ☆78Updated 6 years ago
• PE-CN / PE-CN.github.io
  Project Euler | 欧拉计划 中文翻译站
  ☆46Updated last week
• raptazure / mauve
  🍎 Play Bad Apple! with Haskell
  ☆15Updated 3 years ago
• kchanqvq / CSP
  Compile-time LISP interpreter on C macro preprocessor
  ☆145Updated 7 years ago
• maTHmU / mU
  Core Interpreter of maTHmU CAS
  ☆67Updated 8 years ago
• deeplang-org / deeplang
  Deeplang is a new language for IoT device programming.
  ☆82Updated 2 years ago
• uwsampl / relay-aot
  An experimental ahead of time compiler for Relay.
  ☆50Updated 5 years ago
• akemimadoka / LLVMCMakeBackend
  An April fools joke, a llvm backend to CMake
  ☆48Updated 4 years ago
• qinglee / GEB
  Gödel, Escher, Bach: an Eternal Golden Braid
  ☆87Updated 3 years ago
• champyen / halide-essentials
  book for Halide language programming
  ☆13Updated 4 years ago
• thautwarm / EBNFParser
  Convenient parser generator for Python(check out https://github.com/thautwarm/RBNF for an advanced version).
  ☆65Updated 7 years ago
• geonnave / primg
  Generate prime numbers whose binary representation looks like any image.
  ☆112Updated 3 years ago
• thautwarm / flowpython
  tasty feature extensions for python3(NO MAINTENANCE!).
  ☆62Updated 6 years ago
• abcdabcd987 / sit
  Simplified Git
  ☆39Updated 10 years ago
• texmacs / kernel
  Kernel part subproject for GNU TeXmacs, GSoC only
  ☆36Updated 6 years ago
• moky / BrainFuck
  http://fatiherikli.github.io/brainfuck-visualizer/
  ☆38Updated 6 years ago
• MoeMod / cpp-quiz
  这是个中文版的C++小测题。
  ☆22Updated 6 years ago