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
• saurabhk / fast-cmix
  ☆43Updated 2 years ago
• xbarin02 / collatz
  Convergence verification of the Collatz problem
  ☆73Updated 2 weeks ago
• kaitz / fx2-cmix
  Hutter Prize Submission
  ☆43Updated last year
• byronknoll / tensorflow-compress
  Data compression using LSTM in TensorFlow
  ☆105Updated 2 years ago
• byronknoll / cmix
  cmix is a lossless data compression program aimed at optimizing compression ratio at the cost of high CPU/memory usage.
  ☆676Updated last week
• google-deepmind / s6
  ☆153Updated 3 years ago
• bertdobbelaere / SorterHunter
  An evolutionary approach to find small and low latency sorting networks
  ☆74Updated last month
• byronknoll / lstm-compress
  Data compression using LSTM
  ☆136Updated 2 years ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆39Updated 2 weeks ago
• camel-cdr / bfcpp
  Optimizing Brainfuck interpreter in the C preprocessor
  ☆65Updated 3 years ago
• jart / matmul
  ☆18Updated last year
• Peter-Ebert / Valli-Encoding
  A (new?) compression algorithm that uses combinatorics.
  ☆25Updated last year
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆47Updated last month
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆28Updated this week
• Futrell / ziplm
  ☆254Updated 2 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆58Updated 9 months ago
• kaitz / fxcm
  A text compressor based on the PAQ architecture.
  ☆21Updated 3 months ago
• peterferrie / hc256
  HC-256 Stream cipher in x86 assembly
  ☆19Updated 8 years ago
• deus-libri / preflate
  deflate stream reconstruction library
  ☆36Updated 7 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated last month
• StampyAI / stampy
  A Discord bot for the Robert Miles AI server
  ☆40Updated 9 months ago
• danlark1 / quadratic_strict_weak_ordering
  ☆32Updated 2 years ago
• stef / px1000cr
  Files related to PoC||GTFO 21:21 - NSA’s Backdoor of the PX1000-Cr
  ☆16Updated 3 years ago
• phoboslab / neuralink_brainwire
  Attempt at Neuralink's Compression Challenge
  ☆89Updated last year
• petersn / autosat
  Library for creation of SAT instances.
  ☆23Updated 3 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 5 years ago
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆21Updated last year
• ourbigbook / ourbigbook
  The best way to publish your scientific knowledge. Source code for the entire OurBigBook Project: OurBigBook.com, ourbigbook CLI and the …
  ☆98Updated 2 weeks ago
• MurageKibicho / Quasi-Quantum-Assembly
  The Quasi Quantum Assembly Programming Language
  ☆36Updated last month