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 years ago
• raptazure / mauve
  🍎 Play Bad Apple! with Haskell
  ☆15Updated 3 years ago
• CTeX-DEV / CTeX
  ☆26Updated 8 years ago
• thautwarm / diojit
  Fully compatible CPython jit compiler. Optimising Dynamic, Interpreted, and Object-oriented(DIO) programs.
  ☆116Updated 4 years ago
• maTHmU / MTCAS
  Mathematica Theory of Computer Algebra System
  ☆119Updated 9 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
• MarisaKirisame / resume
  ☆43Updated 6 months ago
• audreyt / lingua-sinica-perlyuyan
  Perl in Classical Chinese in Perl
  ☆282Updated 10 years ago
• maTHmU / mU
  Core Interpreter of maTHmU CAS
  ☆67Updated 8 years ago
• thautwarm / simple-pl-example
  Implementing a programming language within 20 minutes, also a tutorial for syntax driven parsing with frontend-for-free.
  ☆16Updated 4 years ago
• akemimadoka / LLVMCMakeBackend
  An April fools joke, a llvm backend to CMake
  ☆49Updated 3 years ago
• PE-CN / PE-CN.github.io
  Project Euler | 欧拉计划 中文翻译站
  ☆46Updated 3 months ago
• LingDong- / ci-ren
  Generative Chinese poetry
  ☆76Updated 2 years ago
• thautwarm / flowpython
  tasty feature extensions for python3(NO MAINTENANCE!).
  ☆62Updated 6 years ago
• thautwarm / graphviz-artist
  A chance to focus on graph drawing itself, forget APIs and other stuffs.
  ☆39Updated 3 years ago
• GeeLaw / laomian
  老面 (sourdough, lit. "old dough") is used as the starter for fermenting dough. This repository contains my digital 老面.
  ☆10Updated 2 months ago
• Inokinoki / libjoycon
  A lib to encode/decode Joycon Bluetooth packet.
  ☆87Updated 2 years ago
• mulab / mU
  Core Interpreter of maTHmU CAS
  ☆36Updated 4 years ago
• sam-jay / shoo-lang
  Shoo is a statically typed programming language with first-class functions, structs, and arrays.
  ☆115Updated 6 years ago
• subfish-zhou / theorem_proving_in_lean4_zh_CN
  Lean4中文教程
  ☆34Updated 6 months ago
• miskcoo / rubik-cube
  Rubik's Cube solver implemented by C++ and OpenGL using Krof/Kociemba algorithm.
  ☆136Updated 7 years ago
• deeplang-org / deeplang
  Deeplang is a new language for IoT device programming.
  ☆82Updated 2 years ago
• Inokinoki / ParallelFFT
  FFT(WIP)&DFT implementations in NVIDIA CUDA and Apple Metal
  ☆24Updated 3 years ago
• thautwarm / UPL
  A compiler for higher rank ML with type classes
  ☆13Updated 4 years ago
• akemimadoka / GC
  ☆12Updated 3 years ago
• ylxdzsw / mo-generator
  有针对性地表达自己的崇敬之心
  ☆37Updated 8 years ago
• yxlllc / SMSP-Compiler-For-Mathematica
  ☆27Updated 7 years ago
• qinglee / GEB
  Gödel, Escher, Bach: an Eternal Golden Braid
  ☆86Updated 3 years ago
• thautwarm / restrain-jit
  The first and yet the only CPython compatible Python JIT, over the world.(julia backend: https://github.com/thautwarm/RestrainJIT.jl)
  ☆107Updated 5 years ago