Skip to content

Instantly share code, notes, and snippets.

View marquicus's full-sized avatar
:octocat:

Marco A Rojas marquicus

:octocat:
7 followers · 9 following
View GitHub Profile
@marquicus
marquicus / README.md
Created July 31, 2021 13:23 — forked from mattupstate/README.md
An example of how to setup streaming replication for PostgreSQL with Docker.

PostgreSQL Streaming Replication With Docker

The *.txt files here hold user and database parameters. Specifically, replication.txt contains the user/role and password to use for replication. Whereas database.txt contains an initial database, user/role and password to create on the master.

Run the master:

$ fig run -d master

Wait for it to start up completely. Start the slave:

@marquicus
marquicus / formula.py
Created March 15, 2021 15:23 — forked from gvx/formula.py
Propositional logic library for Python 3, that can valuate an expression and check whether it is a tautology
"""
formula.py - propositional formulas for Python
by Robin Wellner
Hereby, I waive all rights to this library, as described at <http://creativecommons.org/publicdomain/zero/1.0/>
Examples:
foo = Atom('foo')
bar = Atom('bar')