Alternatives and similar repositories for starlit

Users that are interested in starlit are comparing it to the libraries listed below

• kaitz / fx-cmix
  ☆51Updated last year
• xbarin02 / collatz
  Convergence verification of the Collatz problem
  ☆71Updated last week
• kaitz / fx2-cmix
  Hutter Prize Submission
  ☆42Updated last year
• saurabhk / fast-cmix
  ☆43Updated 2 years ago
• byronknoll / cmix-hp
  Hutter Prize Submission
  ☆14Updated 4 years ago
• bertdobbelaere / SorterHunter
  An evolutionary approach to find small and low latency sorting networks
  ☆73Updated 2 weeks ago
• camel-cdr / bfcpp
  Optimizing Brainfuck interpreter in the C preprocessor
  ☆64Updated 3 years ago
• kaitz / fxcm
  A text compressor based on the PAQ architecture.
  ☆20Updated 2 months ago
• google-deepmind / s6
  ☆152Updated 3 years ago
• mathieuchartier / mcm
  MCM file compressor
  ☆115Updated 8 years ago
• deus-libri / preflate
  deflate stream reconstruction library
  ☆36Updated 7 years ago
• petersn / autosat
  Library for creation of SAT instances.
  ☆23Updated 3 years ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆46Updated last month
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 4 years ago
• danlark1 / quadratic_strict_weak_ordering
  ☆32Updated 2 years ago
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆27Updated this week
• jart / matmul
  ☆18Updated last year
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆58Updated 8 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆91Updated last week
• Peter-Ebert / Valli-Encoding
  A (new?) compression algorithm that uses combinatorics.
  ☆25Updated last year
• viznut / vzgpt
  Viznut's C-only GPT-2 implementation
  ☆53Updated 3 years ago
• slightknack / difflogic
  Train neural networks that distill into logic circuits, using JAX
  ☆63Updated 5 months ago
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 4 years ago
• Futrell / ziplm
  ☆254Updated 2 years ago
• madler / infgen
  Deflate disassember to convert a deflate, zlib, or gzip stream into a readable form.
  ☆253Updated last month
• MurageKibicho / Quasi-Quantum-Assembly
  The Quasi Quantum Assembly Programming Language
  ☆36Updated last week
• powturbo / Turbo-Range-Coder
  TurboRC - Fastest Range Coder + Arithmetic Coding / Fastest Asymmetric Numeral Systems
  ☆87Updated 2 years ago
• rofl0r / order-pp
  order-pp preprocessor library (standalone part of chaos-pp)
  ☆113Updated 4 years ago
• jart / morton
  ☆295Updated last year
• branc116 / brplot
  +256,000,000 points per plot, +60 Fps on shity laptop. Only limit is the size of your RAM.
  ☆157Updated last week