reity,Reity,github

algebraical

Subclass of the built-in function type for representing algebraic operators (that are typically associated with algebraic structures and algebraic circuits) as immutable, hashable, sortable, and callable objects.

are

Library for defining and working with abstract regular expressions that support strings/sequences with elements of any symbol type, with an emphasis on supporting scenarios in which it is necessary to work with regular expressions as abstract mathematical objects.

article-permutation-circuit-synthesis

This article describes how embedded languages and recursion can be used to create a tool that synthesizes a relatively efficient logical circuit for any chosen permutation of the set of all bit vectors of some fixed length.

article-small-circuits-database

This article describes the process used for generating a published data set that associates each boolean function (in a finite subset of all such functions) to one or more of the smallest logical circuits that correspond to that function.

article-specifications-for-distinguishing-functions

This article presents a technique for assembling concise, lightweight specifications and unit tests for verifying the identity of a function; the technique sacrifices completeness to enable compact and portable specifications.

barriers

Python decorator for including/removing type checks, value/bounds checks, and other code blocks within the compiled bytecode of functions and methods.

canaries

Python library for choosing and loading dynamic library files compatible with the operating environment.

capsules

Python library for encapsulating a function definition inside a temporary module file (mostly for use with multiprocessing and Jupyter Notebook).

circuit

Minimal pure Python library for building and working with logical circuits.

circuitdb

Data set of optimal circuits for Boolean functions that have low arity.

closures

Embedded domain-specific language for symbolic reasoning with basic support for automated verification and inference.

constellation-js

Library for combinatorially specifying, constraining, and exploring genetic design spaces.

ei

Python library for exporting a function to a file and subsequently invoking it (mostly for use with Jupyter Notebook).

fountains

Python library for generating and concisely specifying reproducible pseudorandom binary data for unit testing.

goldbar

Embedded language for defining and working with genetic design spaces.

grove

Quantum algorithms built using pyQuil.

imparse

Lightweight infinite-lookahead Python parser generator that supports basic grammars defined in a JSON format.

logical

Callable subclass of the tuple type for representing logical operators/connectives based on their truth tables.

metatable

Extensible table data structure that supports the introduction of user-defined workflow combinators and the use of these combinators in concise workflow descriptions.

monoliths

Python tool for automatically wrapping a multi-module Python library into a single portable module file.

nfa

Pure-Python library for building and working with nondeterministic finite automata (NFAs).

parsial

Python library that transforms any string parser into a parser that skips lines containing syntax errors.

pratts

Pure-Python implementation of a Pratt certificate verifier.

pyquil

A Python library for quantum programming using Quil.

reity.github.io

Reity organization webpage.

richreports-py

Library that supports the construction of human-readable, interactive static analysis reports that consist of decorated concrete syntax representations of programs.

summations-js

Library to enumerate all natural number lists with a target sum.

summations-py

Library to enumerate all natural number lists with a target sum.

symbolism

Extensible combinator library for building symbolic Python expressions that are compatible with serialization and can be evaluated at a later time.

trudge

Enumeration (using Python generators) of finite and infinite discrete spaces.

reity Goto Github PK

Reity's Projects

Recommend Projects

Recommend Topics

Recommend Org