A compact, efficient Prolog interpreter written in plain-old C.

The Mercury logic programming system.

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

An experimental package manager for Scryer Prolog

A modern Prolog implementation written mostly in Rust.

needleful dot net generator

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

a way to develop software with Nix

`uhttpc` - µHTTP client library