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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Prolog Technology Theorem Prover☆13Jun 19, 2024Updated last year
- Genomic and Proteomic data exploration and pattern mining☆26Apr 2, 2025Updated 11 months ago
- ... because printf doesn't show the binary representation of a number☆17Mar 29, 2017Updated 8 years ago
- A Go Database Trasnaction Managemnet Lib☆11Jun 1, 2020Updated 5 years ago
- On-Line Encyclopedia of Integer Sequences gem☆17Feb 22, 2013Updated 13 years ago
- 🚀 Node.js application to automatically inject user/password to http proxy server via a local forwarder. Also support PAC server.☆11Nov 21, 2021Updated 4 years ago
- This project is to make brainfuck language programming easier, faster and more powerful .. everything is made out of functions making it…☆22Jan 29, 2022Updated 4 years ago
- A Warcraft III editor for SLK files☆16Sep 3, 2021Updated 4 years ago
- Urho3D with SPARK particles engine☆11Dec 15, 2017Updated 8 years ago
- Basic Python wrapper for FreeRDP☆11Nov 18, 2015Updated 10 years ago
- A simple windows driver that can read and write to process memory from kernel mode☆11Aug 31, 2021Updated 4 years ago
- Workshop on Git for NTU Open Source Society☆12Oct 19, 2018Updated 7 years ago
- ☆32Dec 14, 2023Updated 2 years ago
- ☆16Jan 26, 2025Updated last year
- VaniSSH is a simple tool for generating vanity SSH public keys that start, contain, or end with specified strings.☆19Sep 21, 2025Updated 6 months ago
- My game on Urho3D for Game contest on www.gamedev.ru☆12Sep 26, 2017Updated 8 years ago
- automatic music transcription application written in java☆12Jan 13, 2013Updated 13 years ago
- Fork of IcePDF library, maven build and additional print support☆14May 7, 2018Updated 7 years ago
- 2D molecular dynamics simulation of dust in dusty plasmas☆11May 21, 2018Updated 7 years ago
- A Python module to speed up TeX compilation.☆17May 1, 2024Updated last year
- ☆11Jan 16, 2021Updated 5 years ago
- Original Joy☆11Dec 17, 2024Updated last year
- Inference Llama/Llama2/Llama3 Modes in NumPy☆21Nov 22, 2023Updated 2 years ago
- Rob Pike's simple regex matcher converted to Go☆11Aug 14, 2022Updated 3 years ago
- A speed comparison between the GPUs offered by Google Colab vs the MacBook M1 Max 24 Core chip☆10May 25, 2023Updated 2 years ago
- bare minimum chess program☆11Sep 16, 2020Updated 5 years ago
- Convert Java bytecode to firm IR☆18Feb 20, 2017Updated 9 years ago
- A very basic Lisp + Erlang-style processes, on a virtual machine☆10Aug 24, 2016Updated 9 years ago
- A bignum library for C.☆33Jul 9, 2024Updated last year
- Fixed-point scalar and matrix multiplication library for SectorLISP☆15Jan 23, 2022Updated 4 years ago
- A self hosting Extended brainfuck to pure brainfuck compiler☆11May 6, 2018Updated 7 years ago
- Find checksum (crc8, xor, add) parameters in a set of messages.☆27Jan 14, 2023Updated 3 years ago
- SECD machine and Lispkit Lisp compiler, in Python☆14Oct 25, 2017Updated 8 years ago
- Code to go with my article "The AWK book's 60-line version of Make"☆15Sep 10, 2023Updated 2 years ago
- A simple JavaScript utility library for intercepting browser cookies☆13Feb 5, 2020Updated 6 years ago
- An ultimate numerical package for Dart.☆17Dec 19, 2021Updated 4 years ago
- Warrior Kings (Battles) game engine reimplementation / recreation☆19Jan 8, 2024Updated 2 years ago
- AOSC Scriptlets, whatever that's too small to open a repository for☆12Jan 19, 2026Updated 2 months ago
- Urho3D extension library☆25Dec 17, 2018Updated 7 years ago