Skip to content
@reity

Reity

Adapting formal methods to a diverse array of application domains.

Pinned Loading

  1. circuit circuit Public

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

    Python 5 2

  2. imparse imparse Public

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

    Python 1

  3. article-permutation-circuit-synthesis 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 vec…

    Jupyter Notebook

  4. fountains fountains Public

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

    Python

  5. logical logical Public

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

    Python 2

  6. symbolism symbolism Public

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

    Python 2 1

Repositories

Showing 10 of 31 repositories
  • parsial Public

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

    reity/parsial’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Mar 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.

    reity/richreports-py’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Mar 31, 2024
  • pratts Public

    Pure-Python implementation of a Pratt certificate verifier.

    reity/pratts’s past year of commit activity
    0 MIT 0 0 0 Updated Feb 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.

    reity/barriers’s past year of commit activity
    Python 1 MIT 1 0 0 Updated Oct 28, 2023
  • fountains Public

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

    reity/fountains’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Aug 26, 2023
  • circuit Public

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

    reity/circuit’s past year of commit activity
    Python 5 MIT 2 0 0 Updated Mar 29, 2023
  • circuitdb Public

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

    reity/circuitdb’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Jan 30, 2023
  • logical Public

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

    reity/logical’s past year of commit activity
    Python 2 MIT 0 0 0 Updated Oct 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.

    reity/algebraical’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Sep 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.

    reity/metatable’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Aug 4, 2022
View all repositories

Top languages

Loading…