semvec/pypi-packages huggingface dataset:
django-terms 1.2.0
Site-wide adds a definition or a link for specialized terms.
License: BSD

************
django-terms
************

Site-wide adds a definition or a link for specialized terms.

.. image:: https://raw.github.com/BertrandBordage/django-terms/master/example_project/screenshot.png

Code statistics:

.. image:: https://www.openhub.net/p/django-terms/widgets/project_thin_badge.gif
    :target: https://www.openhub.net/p/django-terms

PyPI status:

.. image:: https://pypip.in/v/django-terms/badge.png
    :target: https://crate.io/packages/django-terms/

.. image:: https://pypip.in/d/django-terms/badge.png
    :target: https://crate.io/packages/django-terms/

Continuous integration status:

.. image:: https://travis-ci.org/BertrandBordage/django-terms.png
    :target: https://travis-ci.org/BertrandBordage/django-terms

.. image:: https://coveralls.io/repos/BertrandBordage/django-terms/badge.png
    :target: https://coveralls.io/r/BertrandBordage/django-terms



Documentation
=============

Available `on Read The Docs <https://django-terms.readthedocs.org/en/latest/>`_.
spykeutils 0.4.3
Utilities for analyzing electrophysiological data
License: BSD

Based on the `Neo <http://packages.python.org/neo/>`_ framework,
spykeutils is a Python library for analyzing and plotting data from
neurophysiological recordings or simulations. It can be used by itself or
in conjunction with Spyke Viewer, a multi-platform GUI application for
navigating electrophysiological datasets.

For more information, see the documentation at
http://spykeutils.readthedocs.org
openpromela 0.1.0
Generalized reactive(1) synthesis from Promela specifications.
License: BSD

[![Build Status][build_img]][travis]
[![Coverage Status][coverage]][coveralls]


About
=====

A synthesizer from open Promela specifications. It:

- translates open Promela to linear temporal logic (LTL)
- compiles the LTL formula to an implementation using the GR(1) game solver [`omega.games.gr1`](https://github.com/johnyf/omega/blob/master/omega/games/gr1.py)
- dumps a transition relation that implements the open Promela specification.

The language and implementation are documented in:

Filippidis I., Murray R.M., Holzmann G.J.<br>
  [A multi-paradigm language for reactive synthesis](http://dx.doi.org/10.4204/EPTCS.202.6)<br>
  4th Workshop on Synthesis (SYNT) 2015<br>
  Electronic Proceedings in Theoretical Computer Science (EPTCS)<br>
  vol.202, pp.73-97, 2016

Filippidis I., Murray R.M., Holzmann G.J.<br>
  [Synthesis from multi-paradigm specifications](http://resolver.caltech.edu/CaltechCDSTR:2015.003)<br>
  California Institute of Technology, Pasadena, CA, 2015<br>
  CDSTR:2015.003


Usage
=====

The package can be used both as a library and from the command line. A script named `ospin` is created as entry point. It is placed where `setuptools` installs new executables, e.g., whre `python` itself resides. To learn how to use the script, invoke it with:

```
ospin --help
```


Installation
============

Use `pip` for `openpromela` itself:

```
pip install openpromela
```

Pure Python dependencies suffice, unless you have a demanding problem.
In that case, build `dd.cudd` to interface to CUDD.


License
=======
[BSD-3](http://opensource.org/licenses/BSD-3-Clause), see `LICENSE` file.


[build_img]: https://travis-ci.org/johnyf/openpromela.svg?branch=master
[travis]: https://travis-ci.org/johnyf/openpromela
[coverage]: https://coveralls.io/repos/johnyf/openpromela/badge.svg?branch=master
[coveralls]: https://coveralls.io/r/johnyf/openpromela?branch=master