Cross-platform runtime environment for the Elm programming language.

Open source, experimental, and tiny tools roundup

Curated list of Prolog packages and resources

Expert system with deductive querying and verification of constraints expressed in natural language

Gmail Unsubscriber is a Google Apps Script for unsubscribing from unwanted newsletters and other bulk emails.

Tools for working with monochrome bitmap fonts

A VS Code extension that provides language support for prolog

Graphics library authored by Chris Schankula and Dr. Christopher Anand

My collection of Acme notes and scripts

An ML-like functional programming language

The Standard ML compiler that produces Lua/JavaScript

"Strand" is an open-source implementation of the identically named parallel Prolog dialect as described in the book "Strand: New Concepts for Parallel Programming" by Ian Foster and Stephen Taylor.…

The Twelf Programming Language

✨ Zero Bullshit Git

A simple and to the point classless CSS framework

Rapidly build efficient sites with Neat, the minimalist css framework.

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

SWI-Prolog bindings to SDL

Pallene Compiler

Polynomial-time Meta-Interpretive Learning

A modern supercompiler for call-by-value functional languages

Hazel, a live functional programming environment with typed holes

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

Command line double-entry accounting program

Powerful menu bar manager for macOS

Extended DCG syntax for Prolog by Peter Van Roy

Super Strong and Fast Othello AI / Computer Othello Reversi

A compiler for a linearly-typed functional programming language, written in Prolog.