amargaritov / starlitLinks
Hutter Prize Submission 2021a: STARLIT + cmix
☆101Updated 2 years ago
Alternatives and similar repositories for starlit
Users that are interested in starlit are comparing it to the libraries listed below
Sorting:
- ☆51Updated last year
- Convergence verification of the Collatz problem☆73Updated last month
- ☆43Updated 2 years ago
- Data compression using LSTM in TensorFlow☆105Updated 2 years ago
- Hutter Prize Submission☆14Updated 4 years ago
- cmix is a lossless data compression program aimed at optimizing compression ratio at the cost of high CPU/memory usage.☆677Updated 3 weeks ago
- deflate stream reconstruction library☆36Updated 7 years ago
- MCM file compressor☆117Updated 8 years ago
- Experimental block sorting compressor based on M03 context aware compression algorithm☆33Updated 4 months ago
- ☆153Updated 3 years ago
- Data compression using LSTM☆136Updated 2 years ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆47Updated 2 months ago
- A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.☆82Updated 3 years ago
- A text compressor based on the PAQ architecture.☆21Updated 3 months ago
- An evolutionary approach to find small and low latency sorting networks☆75Updated last month
- libcubwt is a library for GPU accelerated suffix array and burrows wheeler transform construction.☆39Updated 4 months ago
- HC-256 Stream cipher in x86 assembly☆19Updated 8 years ago
- ☆18Updated last year
- A (new?) compression algorithm that uses combinatorics.☆25Updated last year
- Deflate disassember to convert a deflate, zlib, or gzip stream into a readable form.☆264Updated 3 months ago
- Wolfsort is a stable adaptive hybrid radix / merge sort.☆197Updated last year
- Viznut's C-only GPT-2 implementation☆53Updated 3 years ago
- The libsais library provides fast linear-time construction of suffix array (SA), generalized suffix array (GSA), longest common prefix (L…☆232Updated 3 months ago
- metamath proof enumerators and other things☆92Updated last month
- Busy Beaver deciders backed by Coq proof☆58Updated 9 months ago
- Lower Size Bounds for Sorting Networks☆46Updated 5 years ago
- 🦠 AD in less than 20 lines☆54Updated 4 years ago
- Train neural networks that distill into logic circuits, using JAX☆64Updated 6 months ago
- A solver for halting problem of Brainfuck programs☆18Updated 5 years ago
- Fast Text Classification with Compressors dictionary☆150Updated 2 years ago