Prolog in AWK
☆17Mar 9, 2017Updated 9 years ago
Alternatives and similar repositories for awkprolog
Users that are interested in awkprolog are comparing it to the libraries listed below
Sorting:
- A virtual machine and assembler written in AWK.☆16May 3, 2019Updated 6 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆14Jan 21, 2017Updated 9 years ago
- Doom - reimplemented cleanly, in C++, without all the obscuring optimizations☆12Jan 9, 2015Updated 11 years ago
- Microscopic Rebol Dialect ("mooshed") for Code Golf☆30Nov 27, 2023Updated 2 years ago
- Distributable shell scripts with dependencies☆11Dec 24, 2016Updated 9 years ago
- A Lisp interpreter written in Awk.☆259May 6, 2014Updated 11 years ago
- A two-dimensional programming language from 1994.☆12Oct 2, 2016Updated 9 years ago
- Rebol (R3) source code☆36Jun 22, 2025Updated 8 months ago
- Fast, simplified WAM-based Prolog system☆25Oct 30, 2025Updated 4 months ago
- ☆10Feb 12, 2015Updated 11 years ago
- Git mirror of sdbm source code ⛺☆26Jul 9, 2010Updated 15 years ago
- A C library to play XM (and MOD) modules on Nintendo DS using only ARM7 resources☆17Jul 31, 2024Updated last year
- Hilbert-style formal proofs for mathematics☆12Jun 25, 2018Updated 7 years ago
- Former home Java language client (master) for SWI-Prolog pengines - see simularity/JavaPengine☆10May 8, 2016Updated 9 years ago
- Bellcore MGR, from version 0.69☆25Feb 26, 2023Updated 3 years ago
- Collected source code to various old DOS raycaster-based FPSes.☆14Feb 23, 2017Updated 9 years ago
- SPITBOL x32 provides raw power and speed for non-numeric computation on the i386 architecture☆23Feb 10, 2017Updated 9 years ago
- An esoteric language based on overlapping tree-like structures☆10Oct 16, 2021Updated 4 years ago
- Genyris presents a paradigm in which objects can belong to multiple classes independent from construction allowing data to be classified …☆17Updated this week
- yet another plumbing utility for UNIX☆11Jul 14, 2023Updated 2 years ago
- eFTE is a fork of FTE -- Folding Text Editor☆34Jul 31, 2022Updated 3 years ago
- Source code of Research Unix v8, released by The Unix Heritage Society.☆18Jun 27, 2019Updated 6 years ago
- Literate testing for command-line programs☆39Jan 30, 2026Updated last month
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- A clone of Joe Marshall's Rebol 1.0 to Scheme compiler.☆17Sep 23, 2012Updated 13 years ago
- Simplified shell reimplementation of containers — see also https://github.com/arachsys/containers☆15Jan 25, 2023Updated 3 years ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Nov 20, 2014Updated 11 years ago
- Kernighan's Awk a.k.a. "One True Awk"☆58Jul 24, 2016Updated 9 years ago
- A portable, embeddable implementation of the BASIC programming language.☆16Feb 21, 2013Updated 13 years ago
- Improvements to picol: A TCL like interpreter suitable as an shell in an embedded system☆34Nov 23, 2025Updated 3 months ago
- A secure utmp/wtmp implementation☆19Jan 21, 2026Updated last month
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- Ultra Portable, Small, Baremetal Forth for various processors☆52Feb 24, 2026Updated 3 weeks ago
- The fractal land generator☆15Aug 3, 2019Updated 6 years ago
- A collection of freely-licensed js1k entries☆10Feb 29, 2016Updated 10 years ago
- Lean Theorem Prover☆20Jun 21, 2018Updated 7 years ago
- Pez is a Forth dialect based on Atlast, with expanded capabilities and more portability.☆34Apr 5, 2015Updated 10 years ago
- ikforth is an idiomatic Forth implementation.☆19Nov 23, 2025Updated 3 months ago
- Solve 24 puzzles using zero-aware pattern databases☆15Nov 19, 2024Updated last year