Reity

All

32 repositories

matricity
Public
Embedded domain-specific library for implicitly and explicitly encoding functions as matrices that operate on domains of one-hot vectors.
MIT License
•0•0•0•0•Updated Dec 24, 2024Dec 24, 2024
parsial
Public
Python library that transforms any string parser into a parser that skips lines containing syntax errors.
parsing parsing-library
Python
•
MIT License
•0•0•0•0•Updated Mar 31, 2024Mar 31, 2024
richreports-py
Public
Library that supports the construction of human-readable, interactive static analysis reports that consist of decorated concrete syntax representations of programs.
Python
•
MIT License
•0•0•0•0•Updated Mar 31, 2024Mar 31, 2024
pratts
Public
Pure-Python implementation of a Pratt certificate verifier.
MIT License
•0•0•0•0•Updated Feb 11, 2024Feb 11, 2024
barriers
Public
Python decorator for including/removing type checks, value/bounds checks, and other code blocks within the compiled bytecode of functions and methods.
python python-library type-checking python-decorators bounds-checking python-syntax-converter python-testing
Python
•
MIT License
•1•1•0•0•Updated Oct 28, 2023Oct 28, 2023
fountains
Public
Python library for generating and concisely specifying reproducible pseudorandom binary data for unit testing.
unit-testing python-library unit-tests random-data-generation unit-testing-framework random-data unit-testing-library pseudorandom-generators
Python
•
MIT License
•0•0•0•0•Updated Aug 26, 2023Aug 26, 2023
circuit
Public
Minimal pure Python library for building and working with logical circuits.
python logic circuits data-structures circuit logic-gates logic-circuit common-library
Python
•
MIT License
•2•5•0•0•Updated Mar 29, 2023Mar 29, 2023
circuitdb
Public
Data set of optimal circuits for Boolean functions that have low arity.
Python
•
MIT License
•0•0•0•0•Updated Jan 30, 2023Jan 30, 2023
logical
Public
Callable subclass of the tuple type for representing logical operators/connectives based on their truth tables.
python-library boolean-operations logical-operators python-operators finite-maps boolean-operators python-logic logic-operators logic-operations python-constants
Python
•
MIT License
•0•2•0•0•Updated Oct 10, 2022Oct 10, 2022
algebraical
Public
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.
python-library arithmetic algebraic-structures arithmetic-operators python-arithmetic python-algebra arithmetic-operations python-operators python-constants python-operations
Python
•
MIT License
•0•0•0•0•Updated Sep 5, 2022Sep 5, 2022
metatable
Public
Extensible table data structure that supports the introduction of user-defined workflow combinators and the use of these combinators in concise workflow descriptions.
python-library table-data python-data-structure
Python
•
MIT License
•0•0•0•0•Updated Aug 4, 2022Aug 4, 2022
symbolism
Public
Extensible combinator library for building symbolic Python expressions that are compatible with serialization and can be evaluated at a later time.
python-library data-structures symbolic-manipulation symbolic-expressions abstract-syntax-tree
Python
•
MIT License
•1•2•0•0•Updated Aug 4, 2022Aug 4, 2022
are
Public
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.
python python-library data-structures regular-expressions theory-of-computation regular-languages re-to-nfa
Python
•
MIT License
•0•1•0•0•Updated Aug 4, 2022Aug 4, 2022
nfa
Public
Pure-Python library for building and working with nondeterministic finite automata (NFAs).
nfa nfa-library python-data-structures nfa2dfa finite-automata nondeterministic-finite-automata nfa-implementation nfa-to-dfa-conversion finite-automaton nfa-to-dfa
Python
•
MIT License
•0•3•0•0•Updated Aug 4, 2022Aug 4, 2022
article-specifications-for-distinguishing-functions
Public
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.
lightweight-framework formal-specification functional-verification python-articles
Jupyter Notebook
•
MIT License
•0•0•0•0•Updated Sep 9, 2021Sep 9, 2021
reity.github.io
Public
Reity organization webpage.
HTML
•0•0•0•0•Updated Jun 24, 2021Jun 24, 2021
article-permutation-circuit-synthesis
Public
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.
python logic-synthesis logic-circuit circuit-optimizaion article
Jupyter Notebook
•
MIT License
•0•0•0•0•Updated May 16, 2021May 16, 2021
closures
Public
Embedded domain-specific language for symbolic reasoning with basic support for automated verification and inference.
MIT License
•0•0•0•0•Updated Dec 26, 2020Dec 26, 2020
capsules
Public
Python library for encapsulating a function definition inside a temporary module file (mostly for use with multiprocessing and Jupyter Notebook).
multiprocessing python-library jupyter-notebook picklers pickling
Python
•
MIT License
•0•0•0•0•Updated Dec 20, 2020Dec 20, 2020
canaries
Public
Python library for choosing and loading dynamic library files compatible with the operating environment.
python-library ctypes-wrapper
Python
•
MIT License
•1•0•0•0•Updated Dec 20, 2020Dec 20, 2020
trudge
Public
Enumeration (using Python generators) of finite and infinite discrete spaces.
python-library mathematics enumeration state-space-search exhaustive-search
Python
•
MIT License
•0•0•0•0•Updated Nov 3, 2020Nov 3, 2020
article-small-circuits-database
Public
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.
MIT License
•0•0•0•0•Updated Oct 28, 2020Oct 28, 2020
constellation-js
Public
Library for combinatorially specifying, constraining, and exploring genetic design spaces.
JavaScript
•
MIT License
•8•0•0•0•Updated Oct 23, 2020Oct 23, 2020
ei
Public
Python library for exporting a function to a file and subsequently invoking it (mostly for use with Jupyter Notebook).
MIT License
•0•0•0•0•Updated Aug 12, 2020Aug 12, 2020
monoliths
Public
Python tool for automatically wrapping a multi-module Python library into a single portable module file.
modules python-library portability consolidation
Python
•
MIT License
•0•1•0•0•Updated Jul 9, 2020Jul 9, 2020
goldbar
Public
Embedded language for defining and working with genetic design spaces.
Python
•
MIT License
•0•1•0•0•Updated May 17, 2020May 17, 2020
imparse
Public
Lightweight infinite-lookahead Python parser generator that supports basic grammars defined in a JSON format.
Python
•
MIT License
•0•1•0•0•Updated May 9, 2020May 9, 2020
wff
Public
Python library for building and working with propositional formulas.
Python
•
MIT License
•0•0•0•0•Updated Apr 27, 2020Apr 27, 2020
summations-js
Public
Library to enumerate all natural number lists with a target sum.
mathematics javascript-library enumeration combinatorics combinations javascript-lib exhaustive-search
JavaScript
•
MIT License
•0•0•0•0•Updated Dec 6, 2019Dec 6, 2019
summations-py
Public
Library to enumerate all natural number lists with a target sum.
python-library mathematics enumeration combinations exhaustive-search
Python
•
MIT License
•0•0•0•0•Updated Dec 5, 2019Dec 5, 2019