Reity

Reity's repositories

circuit

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

Language:PythonMIT6 20

nfa

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

Language:PythonMIT3 10

logical

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

Language:PythonMIT2 10

symbolism

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

Language:PythonMIT2 10

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.

Language:PythonMIT1 10

barriers

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

Language:PythonMIT1 10

goldbar

Embedded language for defining and working with genetic design spaces.

Language:PythonMIT1 10

imparse

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

Language:PythonMIT1 10

monoliths

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

Language:PythonMIT1 10

summations-js

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

Language:JavaScriptMIT1 10

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.

Language:Jupyter NotebookMIT000

canaries

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

Language:PythonMIT010

circuitdb

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

Language:PythonMIT010

ei

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

MIT010

fountains

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

Language:PythonMIT010

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.

Language:PythonMIT010

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.

MIT010

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.

Language:Jupyter NotebookMIT010

capsules

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

Language:PythonMIT010

closures

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

MIT010

constellation-js

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

Language:JavaScriptMIT000

matricity

Embedded domain-specific library for implicitly and explicitly encoding functions as matrices that operate on domains of one-hot vectors.

Language:PythonMIT010

metatable

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

Language:PythonMIT010

parsial

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

Language:PythonMIT010

pratts

Pure-Python library that enables generation and verification of Pratt certificates for prime numbers.

Language:PythonMIT010

reity.github.io

Reity organization webpage.

Language:HTML010

richreports-py

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

Language:PythonMIT010

summations-py

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

Language:PythonMIT010

trudge

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

Language:PythonMIT010

wff

Python library for building and working with propositional formulas.

Language:PythonMIT010