Benchmarking suite for logic systems and DBMSs

This is the Python implementation of DistAlgo, a language for distributed algorithms.

Toy Parser Generator is a lexical and syntactic parser generator for Python.

Python programs, usually short, of considerable difficulty, to perfect particular skills.

SETL2 programming language by W. Kirk Snyder, with additions by Salvatore Paxia

Supplementary material for LICS2020 submission

Terra provides the foundations for Qiskit. It allows the user to write quantum circuits easily, and takes care of the constraints of real hardware.

A simple Blockchain in Python

🌳 A collection of distributed graph algorithms, implemented in Python/DistAlgo

Jupyter Kernel for DistAlgo

A DistAlgo to TLA+ translator

py-xsb-prolog is a Python - XSB-Prolog bridge enabling querying XSB-Prolog in your Python programs. It features a ctypes mapping of XSB's C-Interface as well as some higher level convenience wrappers.

All the cheat sheets you need as a novice machine learning engineer

Simple Lock-Free Queue implemented in C

DistAlgo Editor - Nodejs

AMPL magics for IPython