April fools' day videos explaining Levin's universal search
☆37Apr 17, 2023Updated 2 years ago
Alternatives and similar repositories for universal-search
Users that are interested in universal-search are comparing it to the libraries listed below
Sorting:
- Prolog Technology Theorem Prover☆12Jun 19, 2024Updated last year
- A simulator for the Lorenz Cipher Machine written in Python☆12Jan 26, 2024Updated 2 years ago
- On-Line Encyclopedia of Integer Sequences gem☆17Feb 22, 2013Updated 13 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Aug 23, 2021Updated 4 years ago
- Find checksum (crc8, xor, add) parameters in a set of messages.☆27Jan 14, 2023Updated 3 years ago
- A Qt5 based free VLSI development tool☆31Jun 24, 2018Updated 7 years ago
- Cuda Miner for BeamHash (Equihash 150,5)☆13Jan 16, 2019Updated 7 years ago
- A game for Lounge's game jam☆10Mar 22, 2015Updated 10 years ago
- # This object tracking solutions utilize the "Triangle Similarity" method. # In brief, the triangle similarity takes an object (marker) …☆12Nov 15, 2023Updated 2 years ago
- 2D molecular dynamics simulation of dust in dusty plasmas☆11May 21, 2018Updated 7 years ago
- A quantum enhanced, totaly private encryption app that uses true random key generation from zero point energy.☆13Jul 2, 2025Updated 8 months ago
- bare minimum chess program☆11Sep 16, 2020Updated 5 years ago
- Anrodi Trojanı Başka Bir Programla Birleştir☆10Oct 30, 2016Updated 9 years ago
- Tool to make an apk with lovely.☆20Feb 4, 2026Updated 3 weeks ago
- Simple time interval counter.☆12Nov 24, 2021Updated 4 years ago
- Chequea si tu firewall es vulnerable a CVE-2024-21762 (RCE sin autenticación)☆15Jun 29, 2025Updated 8 months ago
- Bitcoin Hardware Wallet Interaction scripts☆11Jan 30, 2026Updated last month
- The 9esim mini tool is a external (or we called extension) LPA on a board, which based on ESP32S3.☆13Dec 19, 2024Updated last year
- A simple minimax chess engine written in prolog☆11May 8, 2023Updated 2 years ago
- automatic music transcription application written in java☆12Jan 13, 2013Updated 13 years ago
- ☆14Sep 9, 2016Updated 9 years ago
- Repository of now harmless TREZOR security exploits☆11Jun 14, 2015Updated 10 years ago
- Sage Math recompiled to run on the Raspberry Pi☆15Oct 9, 2015Updated 10 years ago
- Verilog bit slicing for python☆10May 13, 2021Updated 4 years ago
- A low-level virtual machine for mobile code☆12Sep 23, 2017Updated 8 years ago
- The 9esim mini tool is a external (or we called extension) LPA on a board, which based on ESP32S3.☆13Dec 19, 2024Updated last year
- UmPlot: A plotting library for Umka☆13Jun 8, 2024Updated last year
- 👾 monitor web server's log files against CSRF attacks (a modification of apache's mod_security to log these attacks)☆14Oct 15, 2024Updated last year
- L-Systems in Rust☆15May 16, 2019Updated 6 years ago
- Rigorous computation of the endomorphism ring of a Jacobian☆11Jul 31, 2025Updated 7 months ago
- Scans WordHunt board and sends over gcode file to 3d printer to automatically solve for words.☆13Apr 27, 2024Updated last year
- Generatrum Linguarum, a conlang word generator library☆11Mar 28, 2023Updated 2 years ago
- VaniSSH is a simple tool for generating vanity SSH public keys that start, contain, or end with specified strings.☆19Sep 21, 2025Updated 5 months ago
- NRF52840 platform Development PDK Arduino☆12Oct 1, 2017Updated 8 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 9 years ago
- Neural ngram language model in PyTorch.☆10Sep 27, 2018Updated 7 years ago
- Offline tool for recovering NEM private keys from BIP39 mnemonics and importing them into NanoWallet☆13Jan 15, 2018Updated 8 years ago
- A multi-interface (REST and MCP) server for automatic license plate recognition 🚗☆20Dec 2, 2025Updated 3 months ago
- A self hosting Extended brainfuck to pure brainfuck compiler☆11May 6, 2018Updated 7 years ago