Projects in Awesome Lists by reity

https://github.com/reity/circuit

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

circuit circuits common-library data-structures logic logic-circuit logic-gates python

Last synced: 23 Nov 2024

https://github.com/reity/nfa

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

finite-automata finite-automaton nfa nfa-implementation nfa-library nfa-to-dfa nfa-to-dfa-conversion nfa2dfa nondeterministic-finite-automata python-data-structures

Last synced: 23 Nov 2024

https://github.com/reity/symbolism

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

abstract-syntax-tree data-structures python-library symbolic-expressions symbolic-manipulation

Last synced: 23 Nov 2024

https://github.com/reity/logical

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

boolean-operations boolean-operators finite-maps logic-operations logic-operators logical-operators python-constants python-library python-logic python-operations python-operators

Last synced: 23 Nov 2024

https://github.com/reity/imparse

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

Last synced: 17 Mar 2025

https://github.com/reity/barriers

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

bounds-checking python python-decorators python-library python-syntax-converter python-testing type-checking

Last synced: 23 Nov 2024

https://github.com/reity/goldbar

Embedded language for defining and working with genetic design spaces.

Last synced: 17 Mar 2025

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.

data-structures python python-library re-to-nfa regular-expressions regular-languages theory-of-computation

Last synced: 17 Mar 2025

https://github.com/reity/monoliths

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

consolidation modules portability python-library

Last synced: 17 Mar 2025

https://github.com/reity/ei

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

Last synced: 17 Mar 2025

https://github.com/reity/reity.github.io

Reity organization webpage.

Last synced: 17 Mar 2025

https://github.com/reity/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 circuit-optimizaion logic-circuit logic-synthesis python

Last synced: 17 Mar 2025

https://github.com/reity/fountains

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

pseudorandom-generators python-library random-data random-data-generation unit-testing unit-testing-framework unit-testing-library unit-tests

Last synced: 17 Mar 2025

https://github.com/reity/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.

algebraic-operators algebraic-structures arithmetic arithmetic-operations arithmetic-operators python-algebra python-algebraic-operators python-algebraic-structures python-arithmetic python-constants python-library python-operations python-operators

Last synced: 17 Mar 2025

https://github.com/reity/metatable

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

python-data-structure python-library table-data

Last synced: 17 Mar 2025

https://github.com/reity/summations-js

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

combinations combinatorics enumeration exhaustive-search javascript-lib javascript-library mathematics

Last synced: 17 Mar 2025

https://github.com/reity/parsial

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

parsing parsing-library

Last synced: 17 Mar 2025

https://github.com/reity/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.

Last synced: 17 Mar 2025

https://github.com/reity/richreports-py

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

Last synced: 17 Mar 2025

https://github.com/reity/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.

formal-specification functional-verification lightweight-framework python-articles

Last synced: 17 Mar 2025