semvec/pypi-packages huggingface dataset:
Discobot 0.1.0
A fully-featured music bot for Discord.
License: MIT

************************************************
Discobot: a fully-featured music bot for Discord
************************************************
|pypi| |python| |license|

.. |pypi| image:: https://img.shields.io/pypi/v/Discobot.svg?label=latest%20stable%20version
    :target: https://pypi.python.org/pypi/Discobot
    :alt: Latest version released on PyPi

.. |python| image:: https://img.shields.io/pypi/pyversions/Discobot.svg
    :target: https://pypi.python.org/pypi/Discobot/
    :alt: Supported Python versions

.. |license| image:: https://img.shields.io/badge/license-MIT-blue.svg
    :target: https://raw.githubusercontent.com/chandler14362/disco/master/LICENSE
    :alt: License
niftianon 0.1.1
Anonymiser for NIFTI images
License: MIT

niftianon
=========

Anonymiser for NIFTI format images.


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

Latest stable release from pip
++++++++++++++++++++++++++++++

.. code::

    pip install niftianon


Latest development version from Github
++++++++++++++++++++++++++++++++++++++

.. code::

    git clone https://github.com/jstutters/niftianon
    cd niftianon
    pip install .


Usage
-----

.. code::

    niftianon [path to identifiable image] [path to anonymised image]

The anonymised image path must not exist.


Contribute
----------

- Issue Tracker: `github.com/jstutters/niftianon/issues <http://github.com/jstutters/niftianon/issues>`_
- Source Code: `github.com/jstutters/niftianon <http://github.com/jstutters/niftianon>`_


Support
-------

If you are having problems, please let me know by submitting an issue in the `tracker <http://github.com/jstutters/niftianon/issues>`_.


License
-------

niftianon is licensed under the `MIT license <https://opensource.org/licenses/MIT>`_.
forseti 0.8.1
Formal Logic Framework
License: MIT

forseti
=======

.. image:: https://travis-ci.org/MasterOdin/forseti.svg?branch=master
    :target: https://travis-ci.org/MasterOdin/forseti
    :alt: Build Status
.. image:: https://coveralls.io/repos/MasterOdin/forseti/badge.svg?branch=master
    :target: https://coveralls.io/r/MasterOdin/forseti?branch=master
    :alt: Coverage Status
.. image:: https://landscape.io/github/MasterOdin/forseti/master/landscape.svg?style=flat
    :target: https://landscape.io/github/MasterOdin/forseti/master
    :alt: Code Health

A Formal Logic framework for a variety of applications.

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

From PyPI
~~~~~~~~~
forseti is available on `PyPI <https://pypi.python.org/pypi/forseti>`_.

::

    $ pip install forseti

From source
~~~~~~~~~~~
* Download the source code:

::

    $ git clone git@github.com:MasterOdin/forseti.git
    $ python setup.py install

Usage
-----

forseti comes with an internal representation of propositional calculus formulas (atomic, not, and, or, implication, and equivalance).
It can generate this from a functional representation of any formula. Interally, it holds everything as formula objects, which
can take in other formulas as appropriate (Symbols can only hold one string).

An example:

.. code-block:: python

  from forseti import parser
  from forseti.predicate import Atomic, And
  assert parser.parse("and(a, b)") == And(Atomic('a'), Atomic('b'))

Additionally, it also comes with a builtin prover that can validate a propositional calculus argument

.. code-block:: python

    from forseti.prover import Prover
    prover = Prover()
    prover.add_formula("if(A,and(B,C))")
    prover.add_formula("iff(C,B)")
    prover.add_formula("not(C)")
    prover.add_goal("not(A)")
    assert_true(prover.run_prover())

Roadmap
-------
1. First Order Logic Prover
2. Optimizations

Usages
------
These projects use forseti at their core:

1. `Truth Tables <https://github.com/MasterOdin/TruthTables>`_

Goals
-----
Using forseti to implement the following programs/applications

1. Automated Theorem Prover (done in forseti core)
2. `Implement Davis-Putnam Algorithm <http://en.wikipedia.org/wiki/Davis%E2%80%93Putnam_algorithm>`_
3. `Truth Trees <http://legacy.earlham.edu/~peters/courses/log/treeprop.htm>`_
4. `Slate <http://rair.cogsci.rpi.edu/projects/slate/>`_ / `Fitch <http://en.wikipedia.org/wiki/Fitch-style_calculus>`_