Literate testing for command-line programs
☆39Jan 30, 2026Updated 2 months ago
Alternatives and similar repositories for fhtagn
Users that are interested in fhtagn are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Gron in Awk☆71Jan 18, 2024Updated 2 years ago
- Prolog in AWK☆17Mar 9, 2017Updated 9 years ago
- Command-line tool that provides a workflow for extending, editing, diffing, and writing to vim-style grep lines.☆11Jun 21, 2024Updated last year
- P2P Messenger using INET256 and SQLite☆18Jun 7, 2025Updated 10 months ago
- System-on-a-Chip for FPGA, with xr16 RISC core and LCC port☆12Jul 23, 2017Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Nov 3, 2023Updated 2 years ago
- slog: Handler for systemd journal☆20Mar 9, 2026Updated last month
- a new evolutionary highlevel and readable tape language (unlike brainf)☆19Dec 29, 2022Updated 3 years ago
- CalcPad served with redbean☆15Aug 18, 2022Updated 3 years ago
- 🪱 Novika is a free-form, moldable, interpreted programming language☆19Feb 5, 2025Updated last year
- Awki is a lightweight wiki written in awk. These are my patches, original here: http://awkiawki.bogosoft.com/☆27Dec 1, 2023Updated 2 years ago
- An ergonomic, mobile-first, Prolog playground!☆31Sep 13, 2022Updated 3 years ago
- Code to go with my article "The AWK book's 60-line version of Make"☆15Sep 10, 2023Updated 2 years ago
- Prove formulas of Presburger Arithmetic☆12Oct 5, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A small implementation of a regular expression matching engine, written in standard C11.☆13Jan 4, 2017Updated 9 years ago
- Parallel ./configure proof of concept☆42Apr 25, 2025Updated 11 months ago
- Simple task/command runner with declarative goals and dependencies☆363Jan 30, 2026Updated 2 months ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- Doom - reimplemented cleanly, in C++, without all the obscuring optimizations☆12Jan 9, 2015Updated 11 years ago
- The fractal land generator☆15Aug 3, 2019Updated 6 years ago
- A revival of the TREE-META compiler-compiler.☆15Mar 10, 2026Updated last month
- Console roguelike written in awk☆15Aug 15, 2018Updated 7 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆17Aug 19, 2024Updated last year
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- TinyForth Standard -- microscopic simplified forth standard of 35 words, designed to make forth as simple, extensible, and readable as po…☆13Feb 26, 2023Updated 3 years ago
- A Lisp interpreter that displays the contents of the Lisp workspace on an OLED display☆16Aug 14, 2019Updated 6 years ago
- Atlast is a FORTH-like threaded language, implemented in standard C, which can either be used stand-alone or embedded in applications to …☆58Feb 22, 2023Updated 3 years ago
- Simple C compiler for x86-64 Linux able to build real-world projects including Curl, GCC, Git, PHP, Perl, Python, PostgreSQL etc☆48Mar 3, 2026Updated last month
- A Self-Interpreter for F-omega☆16Dec 6, 2015Updated 10 years ago
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Jun 21, 2018Updated 7 years ago
- Rustic X11 games☆16Jan 15, 2026Updated 2 months ago
- Here we give programs that check if Turing machines halt or not.☆15Sep 1, 2025Updated 7 months ago
- Tools for finding and analyzing Busy Beaver programs for Turing machines☆14Apr 5, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- NewtonScript☆36Jun 8, 2024Updated last year
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Dec 16, 2021Updated 4 years ago
- Full backup of the MORPHiS source code☆18Jan 4, 2017Updated 9 years ago
- Aheui interpreter in Javascript☆22Nov 20, 2016Updated 9 years ago
- Soul - an esoteric concatenative language☆12Apr 30, 2024Updated last year
- Zig Game Boy emulator☆25Sep 25, 2019Updated 6 years ago
- Fork of ag with added support for PCRE2 and ~/.agrc☆14Jan 30, 2022Updated 4 years ago