April fools' day videos explaining Levin's universal search
☆37Apr 17, 2023Updated 3 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☆14Jun 19, 2024Updated 2 years ago
- The Jam Programming Language☆22Jun 8, 2017Updated 9 years ago
- Lisp inspired serialization (intended for when you don't even want to take a dependency on JSON serializer)☆15May 7, 2021Updated 5 years ago
- VaniSSH is a simple tool for generating vanity SSH public keys that start, contain, or end with specified strings.☆19Sep 21, 2025Updated 9 months ago
- automatic music transcription application written in java☆12Jan 13, 2013Updated 13 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 2D molecular dynamics simulation of dust in dusty plasmas☆11May 21, 2018Updated 8 years ago
- Original Joy☆11Dec 17, 2024Updated last year
- 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 3 years ago
- bare minimum chess program☆11Sep 16, 2020Updated 5 years ago
- Calculate Pi using the Leibniz formula.☆11Jan 11, 2017Updated 9 years ago
- Convert Java bytecode to firm IR☆18Feb 20, 2017Updated 9 years ago
- Adabas & Natural Education Package☆13Jan 25, 2023Updated 3 years ago
- A very basic Lisp + Erlang-style processes, on a virtual machine☆10Aug 24, 2016Updated 9 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- LineageOS device tree for Xiaomi Redmi Note 2☆16Feb 16, 2023Updated 3 years ago
- Fixed-point scalar and matrix multiplication library for SectorLISP☆15Jan 23, 2022Updated 4 years ago
- Code to go with my article "The AWK book's 60-line version of Make"☆16Sep 10, 2023Updated 2 years ago
- SECD machine and Lispkit Lisp compiler, in Python☆14Oct 25, 2017Updated 8 years ago
- AOSC Scriptlets, whatever that's too small to open a repository for☆12Mar 31, 2026Updated 3 months ago
- C implementation of Karplus–Strong synthesis for tiny MCUs☆11Aug 28, 2013Updated 12 years ago
- ☆14Dec 17, 2023Updated 2 years ago
- Chatbot impls in Prolog☆15Feb 15, 2022Updated 4 years ago
- Lispkit Lisp/SECD Machine☆12Sep 11, 2017Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A Simple OS (currenlty) developed in C, Assembly☆10Jul 14, 2016Updated 9 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 10 years ago
- A (fast) Befunge-93 interpreter and debugger☆14Mar 19, 2019Updated 7 years ago
- Sage Math recompiled to run on the Raspberry Pi☆15Oct 9, 2015Updated 10 years ago
- Pattern matching language for transforming complex tree-structured data (strings, XML, JSON, algebraic expressions). Built-in symbolic al…☆50Jun 5, 2026Updated last month
- Smallest basic brainfuck interpreter written in Python 3 (166 bytes).☆13Jan 22, 2024Updated 2 years ago
- ☆14Jan 5, 2023Updated 3 years ago
- A low-level virtual machine for mobile code☆12Sep 23, 2017Updated 8 years ago
- One command to update all your repos☆11Feb 24, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Cross-platform pCloud SDK written in Go for the rest of us☆14Apr 24, 2024Updated 2 years ago
- NIF is a text based data format designed for compiler frontend/backend communication or communication between different programming langu…☆16May 1, 2026Updated 2 months ago
- A MiniKanren in Python☆37Jul 15, 2016Updated 9 years ago
- ☆44Dec 17, 2020Updated 5 years ago
- Create your own spirograph art☆12Jul 17, 2016Updated 9 years ago
- UmPlot: A plotting library for Umka☆14Jun 8, 2024Updated 2 years ago
- Yet Another Zone Validation Script☆13Jan 17, 2025Updated last year