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 32 repositories

Top languages

Loading…

Most used topics

Loading…

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy