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
- 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 Beautiful Application Command Library for Discord.js and Discordeno☆21Apr 25, 2023Updated 3 years ago
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆85Aug 27, 2026Updated last week
- Lisp inspired serialization (intended for when you don't even want to take a dependency on JSON serializer)☆15May 7, 2021Updated 5 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.
- automatic music transcription application written in java☆12Jan 13, 2013Updated 13 years ago
- 2D molecular dynamics simulation of dust in dusty plasmas☆12May 21, 2018Updated 8 years ago
- Smallest basic brainfuck interpreter written in Python 3 (166 bytes).☆13Jan 22, 2024Updated 2 years ago
- Python library for the analysis of the Collatz problem, providing notebooks, scripts and common modules.☆10May 16, 2025Updated last year
- Rob Pike's simple regex matcher converted to Go☆11Aug 14, 2022Updated 4 years ago
- L-Systems in Rust☆15May 16, 2019Updated 7 years ago
- VIC 20 emulator written in Java, using the libGDX cross-platform development framework, targeting HTML5, Desktop and Android.☆22Updated this week
- bare minimum chess program☆11Sep 16, 2020Updated 5 years ago
- Convert Java bytecode to firm IR☆18Feb 20, 2017Updated 9 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A speed comparison between the GPUs offered by Google Colab vs the MacBook M1 Max 24 Core chip☆10May 25, 2023Updated 3 years ago
- A self hosting Extended brainfuck to pure brainfuck compiler☆11May 6, 2018Updated 8 years ago
- SECD machine and Lispkit Lisp compiler, in Python☆14Oct 25, 2017Updated 8 years ago
- Adabas & Natural Education Package☆13Jan 25, 2023Updated 3 years ago
- Simple time interval counter.☆14Nov 24, 2021Updated 4 years ago
- AOSC Scriptlets, whatever that's too small to open a repository for☆12Jul 22, 2026Updated last month
- A virtual ternary OISC machine (One Instruction Set Computer) inspired by 1950s Soviet hardware☆10Oct 29, 2020Updated 5 years ago
- PilOS - A Stand-Alone Operating System☆14Aug 1, 2017Updated 9 years ago
- A kind of "pure" PicoLisp (not "pure Lisp"!).☆13Aug 22, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 10 years ago
- A game for Lounge's game jam☆10Mar 22, 2015Updated 11 years ago
- Lispkit Lisp/SECD Machine☆12Sep 11, 2017Updated 8 years ago
- Lisp implementation in Lua☆12Aug 9, 2014Updated 12 years ago
- A low-level virtual machine for mobile code☆12Sep 23, 2017Updated 8 years ago
- UmPlot: A plotting library for Umka☆13Jun 8, 2024Updated 2 years ago
- Monoidal stack machine☆10Nov 25, 2018Updated 7 years ago
- ☆14Dec 17, 2023Updated 2 years ago
- Pattern matching language for transforming complex tree-structured data (strings, XML, JSON, algebraic expressions). Built-in symbolic al…☆51Aug 17, 2026Updated 2 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆44Dec 17, 2020Updated 5 years ago
- A small language to demo turning an interpreter into a compiler☆11Nov 3, 2016Updated 9 years ago
- A (fast) Befunge-93 interpreter and debugger☆14Mar 19, 2019Updated 7 years ago
- UCI chess engine derived from a didactic program by Jürgen Schlottke☆12Apr 12, 2025Updated last year
- Neural ngram language model in PyTorch.☆10Sep 27, 2018Updated 7 years ago
- Console based minimalist chess program - A tribute to chess programming community☆13Sep 16, 2020Updated 5 years ago
- Cross-platform pCloud SDK written in Go for the rest of us☆14Apr 24, 2024Updated 2 years ago