semvec/pypi-packages huggingface dataset:
propose 0.1.0a0
Build truthtables with your command line

# Propose

Build truthtables with your command line.

![capture](https://user-images.githubusercontent.com/13420273/53683290-4d235900-3cff-11e9-9e1f-3ee883a91b8b.PNG)

### Operands

```
F <-> G | biconditional
F -> G  | implication
F xor G | exclusive or
F + G   | or
F * G   | and
!F      | not
```

## Installation

Install Propose with PIP

    $ pip3 install propose

## Usage

Pass an inline formula:

    $ propose "a * b"

Pass a file instead:

    $ propose --file formula.propose

To get a list of all available commands and options:

    $ propose --help

## Development

1. Clone this repository

    ```
    $ git clone git@github.com:jonhue/propose.git
    ```

2. Install Propose with Pip. You may want to use a virtualenv

    ```
    $ make setup
    ```

Rebuild & reinstall Propose:

    $ make reload

Run tests:

    $ make spec
django2-auth0-auth 4.1.5
Authenticated users using Auth0.

Django Auth0 Auth
=================

*Django Auth0 Auth* allows you to authenticate through Auth0 in Django 2

Installation
------------

Run `pip install django2-auth0-auth`

Add the `Auth0Backend` to your `AUTHENTICATION_BACKENDS` setting:

```python
AUTHENTICATION_BACKENDS = (
    ...
    'auth0_auth.backends.Auth0Backend',
)
```

Add the `Auth0Middleware` to your `MIDDLEWARE` setting:


```python
MIDDLEWARE = [
    ...
    'auth0_auth.middleware.Auth0Middleware'
]
```

Edit your `urls.py` to include:

```python
from django.views.generic import RedirectView
```

```python
urlpatterns = [
    ...
    #Add this BEFORE you include the admin urls, so admin login will redirect to auth0 login
    path('admin/login/', RedirectView.as_view(pattern_name='auth0_login', permanent=False, query_string=True)),
    #Add the auth0 urls
    path('auth0/', include('auth0_auth.urls')),
    ...
]
```


Settings
--------

### AUTH0_DOMAIN

Auth0 domain.

### AUTH0_CLIENT_ID

Auth0 client id.


### AUTH0_CLIENT_SECRET

Auth0 client secret.


### AUTH0_SECRET_BASE64_ENCODED

**default:** `False`
Flag if Auth0 client secret is base64 encoded.


### AUTH0_SCOPE

**default:** `'openid email'`
OAuth scope parameter.


### AUTH0_RESPONSE_TYPE

**default:** `'code'`
OAuth response type parameter.


### AUTH0_USER_CREATION

**default:** `True`
Allow creation of new users after successful authentication.

Logging
-------
To enable logging add `auth0_auth` to `LOGGING['loggers']` options.

```python
LOGGING = {
    ...,
    'loggers': {
        ...,
        'auth0_auth': {
            'handlers': ['console'],
            'level': 'DEBUG',
        }
    }
}
```
bordercontrol 0.2.0.0.5
NATS wrapper for fast scanner development

.. image:: https://travis-ci.com/hardenchant/nats_scan_wrapper.svg?token=oEYn8ZVFWCpj1fwzyy2Q&branch=master
    :target: https://travis-ci.com/hardenchant/nats_scan_wrapper
    :alt: Build status for the master branch

.. image:: https://img.shields.io/pypi/v/bordercontrol.svg
    :target: https://pypi.org/project/bordercontrol/
    :alt: Latest version on PyPi

----------------------------------------------------
Instruction for develop a new module.
----------------------------------------------------

.. code-block:: python

    from bc.dev.handlers import WorkerThreadHandler

    counter = 0

    def worker_function(data):
        global counter
        counter += 1
        print(counter)

        return {"results": [1, 2, 3, 45]}

    a = WorkerThreadHandler(worker_function=worker_function, name='name', hostname='hostname')
    a.run()


**worker_function** - required arg

**name** - optional

**hostname** - optional

**data** - here you see all data which send in sheduler in your channel, e.g.:

.. code-block:: json

    {
       "_id":"5c4f3c5e1a169100074132ca",
       "pipeline":[
            "tgchecker"
       ],
       "crontab":"* * * * *",
       "payload":{
            "integram_url": "",
            "text": ""
       },
       "active": false,
       "trigger_timestamp": 1548696730,
       "full_pipeline":[
            "tgchecker"
       ]
    }

**{"results": [1, 2, 3, 45]}** - module send to channel `_reporter` as:

.. code-block:: python

    {
        'task_data': data,
        'result': [1, 2, 3, 45],
        'name': 'name',
        'hostname': 'hostname'
    }


Module send to channel `_registration`:

.. code-block:: json

    {
        "name": "name",
        "hostname": "hostname"
    }


Module must receive from channel `_registration`:

.. code-block:: python

    {
        'subjects_to_subscribe': ['test'],
        'unique_name': 'test_module1'
    }


If error will be detected in worker, module send error message to channel `_errors`:

.. code-block:: python

    {
        'task_data': data,
        'result': "ERROR",
        'name': 'name',
        'hostname': 'hostname'
    }