The Thue programming language: Programming with grammars
☆38Oct 9, 2025Updated last year
Alternatives and similar repositories for Thue
Users that are interested in Thue are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A tiny CPU☆22May 16, 2009Updated 17 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
- A SKI combinators interpreter written in assembly☆21Jul 25, 2020Updated 6 years ago
- A lisp dedicated to bnl intended for use under 2.11BSD on a PDP-11☆21Dec 20, 2022Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- lang Thue + Regex☆15Apr 20, 2022Updated 4 years ago
- various toys in j☆12Apr 13, 2022Updated 4 years ago
- Tool for displaying Japanese text in uxn ROMs☆13Jan 28, 2023Updated 3 years ago
- 🥞 A simple heap allocation library for hobby operating systems.☆18Jan 22, 2024Updated 2 years ago
- ☆19Jul 23, 2026Updated 2 months ago
- ☆15May 1, 2023Updated 3 years ago
- Template engine for ISO Prolog, based on Jinja and Tera☆21Feb 5, 2024Updated 2 years ago
- SECD machine and Lispkit Lisp compiler, in Python☆14Oct 25, 2017Updated 8 years ago
- File format and optimizer for programs encoded in binary lambda calculus☆17Jan 21, 2024Updated 2 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.
- ☆15Jan 31, 2021Updated 5 years ago
- Improvements to picol: A TCL like interpreter suitable as an shell in an embedded system☆35Nov 23, 2025Updated 10 months ago
- Uxn emulator for web engines and cli written in TypeScript (Work In Progress)☆13May 27, 2023Updated 3 years ago
- The classic star trek game, mirrored for convenience☆14Apr 20, 2025Updated last year
- A purely functional higher order logic kernel☆15Sep 12, 2026Updated last month
- An Impractical Stack Language☆14Jun 12, 2020Updated 6 years ago
- SKI combinators☆57May 27, 2017Updated 9 years ago
- The most minimal C you can do real work in☆16May 8, 2022Updated 4 years ago
- Notes on how to implement the Uxn/Varvara virtual machine specification☆38May 1, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 6 years ago
- This is a logic-based database that can do inferences based on known facts in addition to SQL type queries. Rules are introduced through …☆22Feb 3, 2024Updated 2 years ago
- Bootable emulator for the Dawn Operating System for x86.☆43Oct 10, 2026Updated last week
- A small NuPRL style proof assistant☆31Jan 31, 2019Updated 7 years ago
- uxn stack machine for the monome teletype☆14Jun 28, 2021Updated 5 years ago
- Notes and examples for getting started coding in LÖVE aka Love aka Love2d for folks with previous experience in Processing, p5.js and the…☆17Dec 26, 2024Updated last year
- tiny experimental language for limited environments (> 64KB flash, 4KB ram)☆17Mar 8, 2023Updated 3 years ago
- Neural net simulator (McCulloch & Pitts)☆21Aug 24, 2022Updated 4 years ago
- Xlambda: The Ultimate X Window Manager☆119Nov 27, 2022Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Open-ended natural selection of interacting code-data-dual algorithms as a property analogous to Turing completeness.☆13May 26, 2024Updated 2 years ago
- 16-bit SUBLEQ CPU running eForth - just for fun☆83Aug 31, 2026Updated last month
- Wordle clone speedrun☆17Jan 26, 2025Updated last year
- Implemenation of GeoSPARQL 1.0 standard using Apache Jena for SPARQL query or API.☆16Jul 5, 2021Updated 5 years ago
- The Library of Merveilles☆22Dec 2, 2022Updated 3 years ago
- Port of CollapseOS to uxn Tal☆78Jun 7, 2022Updated 4 years ago
- Multiplication on optimal λ-calculus reducers☆23Aug 14, 2020Updated 6 years ago