breckinloggins / vauView external linksLinks
A programming language
☆14Jan 24, 2015Updated 11 years ago
Alternatives and similar repositories for vau
Users that are interested in vau are comparing it to the libraries listed below
Sorting:
- ☆21May 12, 2012Updated 13 years ago
- A python/pygame gopherspace client, in the style of a retro desktop GUI.☆12Sep 1, 2020Updated 5 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 7 years ago
- John Shutt's "Kernel" language implemented on ABE (C) runtime.☆13Sep 3, 2018Updated 7 years ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 8 years ago
- A simple prolog implementation in Rust☆26Nov 14, 2020Updated 5 years ago
- A TeX implementation in a single C++11 class.☆18Sep 19, 2020Updated 5 years ago
- A Small Combinator-Reduction System☆19Jul 14, 2020Updated 5 years ago
- Emulation of Atari's 1983 coin-op game I, Robot☆14Feb 2, 2024Updated 2 years ago
- Actively maintained fork of Peter Miller's UCSD P-System tools - Cross-compiler☆18Nov 2, 2025Updated 3 months ago
- The Kent Retargetable occam Compiler☆46Feb 19, 2022Updated 3 years ago
- Book lucid interpreter written in python☆24Jul 8, 2019Updated 6 years ago
- Renders interactive fractal-like animations☆19May 16, 2017Updated 8 years ago
- A SKI combinators interpreter written in assembly☆20Jul 25, 2020Updated 5 years ago
- A simple λProlog interpreter☆20Nov 29, 2021Updated 4 years ago
- A compilation-friendly fexpr language. (Proof of concept.)☆23Sep 2, 2025Updated 5 months ago
- ☆20Jul 16, 2023Updated 2 years ago
- SPITBOL x32 provides raw power and speed for non-numeric computation on the i386 architecture☆23Feb 10, 2017Updated 9 years ago
- MStoical - a Forth like language, but better☆24Mar 23, 2024Updated last year
- fast lua string operations☆22Mar 21, 2020Updated 5 years ago
- a mutable string support to lua.☆26Mar 20, 2015Updated 10 years ago
- Gallina to Bedrock2 compilation toolkit☆65Feb 3, 2026Updated last week
- WebAssembly AST Forth☆20Nov 1, 2016Updated 9 years ago
- Regular expression search support for Textadept☆20Nov 27, 2015Updated 10 years ago
- The eXtended RPN programming language☆32Oct 30, 2025Updated 3 months ago
- Open Virtual Color Computer☆28Mar 28, 2024Updated last year
- Lua binding to ROTE, Terminal Emulation library☆24Jun 9, 2016Updated 9 years ago
- An esoteric programming language☆34Nov 16, 2020Updated 5 years ago
- Ivy programming language☆31Dec 7, 2022Updated 3 years ago
- Val Schorre's META-II☆62Sep 8, 2013Updated 12 years ago
- Hua (㕦) is a hy-like lisp language to lua compiler.☆26Aug 29, 2015Updated 10 years ago
- LODA Programs for Integer Sequences☆37Updated this week
- A desktop application that allows you to record audio from specific applications on Linux. Built with Deno, Svelte, and WebView.☆15Jan 19, 2026Updated 3 weeks ago
- Specification of the Cedille Core language☆35Jul 21, 2020Updated 5 years ago
- Search comments and highlights annotations in PDF documents.☆12May 4, 2023Updated 2 years ago
- An automated theorem prover for first order logic.☆30Mar 23, 2017Updated 8 years ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆32May 18, 2023Updated 2 years ago
- A very simple linux kernel that boots into a luajit command line.☆66May 27, 2024Updated last year
- Metacircular evaluator for a tiny fexpr language☆44Apr 28, 2012Updated 13 years ago