GeoffChurch

Bend

A massively parallel, high-level programming language

butterfish

A shell with AI superpowers

mlatu

A declarative concatenative programming language

ddebug

Declarative debugger

species

reduxer

An interactive beta reduction calculator for lambda calculus

stage0

A set of minimal dependency bootstrap binaries

openbios

First published Open Source implementation of OpenFirmware

jonesforth

Mirror of JONESFORTH

miniforth

A bootsector FORTH

tabled-prolog-book

Programming in Tabled Prolog by David S Warren

prolog-in-forth

L. L. Odette's Prolog Virtual Machine (PVM) implemented in Forth. Upgraded to 32 Bit ANSI Forth. Tested on ForthWin.

go-filesystem-utils

ipfs-cluster

Pinset orchestration for IPFS

stoneknifeforth

a tiny self-hosted Forth implementation

book

A textbook on informal homotopy type theory

sectorlisp

Bootstrapping LISP in a Boot Sector

MK2020

semiring-num

library with a semiring class and some useful semirings

HVM

A massively parallel, optimal functional runtime in Rust

heirs-of-nyx

A procedurally-generated adventure game in 32KB

quantumtales

A series of short stories describing quantum algorithms and their use-cases.

FizzBuzzEnterpriseEdition

FizzBuzz Enterprise Edition is a no-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes.

lix

Lix: A self-applicable partial evaluator for Prolog

Ventoy

A new bootable USB solution.

flycheck-swi-prolog

SWI Prolog syntax checker for Emacs

the-power-of-prolog

Introduction to modern Prolog

photoprism

AI-Powered Photos App for the Decentralized Web 🌈💎✨

scryer-prolog

A modern Prolog implementation written mostly in Rust.

dlv

Latin Bible verses on the command line with English translations