folint

Last released Oct 21, 2024

Linter for FO-dot, used in the IDP-Z3 system

idp-engine

Last released Oct 18, 2024

IDP-Z3 is a reasoning engine for knowledge represented using the FO(.) (aka FO-dot) language.

fast_html

Last released Sep 20, 2024

A fast, minimalist HTML generator

pyDatalog

Last released Nov 30, 2022

A pure-python implementation of Datalog, a truly declarative language derived from Prolog.

htmx-gen

Last released Oct 1, 2022

Generate HTML conveniently and efficiently

pip-Win

Last released Feb 26, 2013

Pip-Win is a tiny python package manager with virtualenv that is super easy to install on Windows

pip-for-Windows

Last released Jan 8, 2013

A tiny Python Package manager. It installs pip automatically on Windows.

Yoopf-for-Python

Last released Apr 20, 2010

Declarative programming for the Model part of an application