Reity
Pinned Loading
-
Lightweight infinite-lookahead Python parser generator that supports basic grammars defined in a JSON format.
Python 1
-
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
-
Python library for generating and concisely specifying reproducible pseudorandom binary data for unit testing.
Python
-
Callable subclass of the tuple type for representing logical operators/connectives based on their truth tables.
Python 2
-
Extensible combinator library for building symbolic Python expressions that are compatible with serialization and can be evaluated at a later time.
Python 2