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☆67Updated 2 months ago
- ☆40Updated 2 years ago
- Data compression using LSTM in TensorFlow☆104Updated 2 years ago
- ☆149Updated 2 years ago
- An evolutionary approach to find small and low latency sorting networks☆66Updated 3 months ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆42Updated this week
- Experimental block sorting compressor based on M03 context aware compression algorithm☆30Updated 3 months ago
- Runtime and miner for the LODA language written in C++☆26Updated this week
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆80Updated last year
- 🦠 AD in less than 20 lines☆54Updated 4 years ago
- ☆18Updated last year
- A two-dimensional generalization for Recurrent Neural Network☆17Updated 3 years ago
- ☆294Updated last year
- Data compression using LSTM☆134Updated 2 years ago
- metamath proof enumerators and other things☆94Updated last year
- deflate stream reconstruction library☆35Updated 6 years ago
- A text compressor based on the PAQ architecture.☆19Updated 11 months ago
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- MCM file compressor☆115Updated 7 years ago
- The Finite Field Assembly Programming Language☆36Updated 2 months ago
- Brzozowski derivative python sketch☆85Updated 4 months ago
- Optimizing Brainfuck interpreter in the C preprocessor☆62Updated 3 years ago
- A probabilistic approximate DNF counter☆37Updated 2 weeks ago
- A (new?) compression algorithm that uses combinatorics.☆25Updated last year
- Tool for euclidean geometry aware of logic☆87Updated last year
- A 2-ply mini-max search chess engine in 84,688 regular expressions.☆119Updated 7 months ago
- Deflate disassember to convert a deflate, zlib, or gzip stream into a readable form.☆244Updated 7 months ago
- The single instruction language - Flip a bit, then Jump☆122Updated 7 months ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆110Updated last year