reity Goto Github PK
Name: Reity
Type: Organization
Bio: Adapting formal methods to a diverse array of application domains.
Location: Boston, MA
Blog: https://reity.org
Name: Reity
Type: Organization
Bio: Adapting formal methods to a diverse array of application domains.
Location: Boston, MA
Blog: https://reity.org
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.
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.
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.
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.
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.
Python decorator for including/removing type checks, value/bounds checks, and other code blocks within the compiled bytecode of functions and methods.
Python library for choosing and loading dynamic library files compatible with the operating environment.
Python library for encapsulating a function definition inside a temporary module file (mostly for use with multiprocessing and Jupyter Notebook).
Minimal pure Python library for building and working with logical circuits.
Data set of optimal circuits for Boolean functions that have low arity.
Embedded domain-specific language for symbolic reasoning with basic support for automated verification and inference.
Library for combinatorially specifying, constraining, and exploring genetic design spaces.
Python library for exporting a function to a file and subsequently invoking it (mostly for use with Jupyter Notebook).
Python library for generating and concisely specifying reproducible pseudorandom binary data for unit testing.
Embedded language for defining and working with genetic design spaces.
Quantum algorithms built using pyQuil.
Lightweight infinite-lookahead Python parser generator that supports basic grammars defined in a JSON format.
Callable subclass of the tuple type for representing logical operators/connectives based on their truth tables.
Extensible table data structure that supports the introduction of user-defined workflow combinators and the use of these combinators in concise workflow descriptions.
Python tool for automatically wrapping a multi-module Python library into a single portable module file.
Pure-Python library for building and working with nondeterministic finite automata (NFAs).
Python library that transforms any string parser into a parser that skips lines containing syntax errors.
Pure-Python implementation of a Pratt certificate verifier.
A Python library for quantum programming using Quil.
Reity organization webpage.
Library that supports the construction of human-readable, interactive static analysis reports that consist of decorated concrete syntax representations of programs.
Library to enumerate all natural number lists with a target sum.
Library to enumerate all natural number lists with a target sum.
Extensible combinator library for building symbolic Python expressions that are compatible with serialization and can be evaluated at a later time.
Enumeration (using Python generators) of finite and infinite discrete spaces.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.