Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.
Web gallery based on pre-generated metadata, typically according to directory structure, not database or an administration. Development moved to: http://github.com/martinkozak/fsgal.
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
...Speedy Composer and Speedy Net are open source applications, free software. We are currently looking for volunteers to help us convert Speedy Composer to Python. If you are interested in volunteering, please contact me by email.
Thank you and good luck,
Uri Rodberg
Founder and Director of Speedy Net and Speedy Composer,
Speedy Paz Technologies Ltd.
uri@speedy.net
Spiral is an event-driven networking engine written in C++ and licensed under the MIT license. It is a port of the Twisted Matrix python library.
It aims to be source compatible, Twisted source code should be easy to adapt to C++.
CTypes-based python bindings to the GSASL library (www.gnu.org/software/gsasl ). This package provides a parser that generates python code w/ types checking and more pythonish feel than just plain usage of the library through ctypes.
nVidia CUDA and MPI python wrappers. These wrappers are written in pure C no swig or boost necessary. The CUDA wrapper exposes the CUDA runtime and Driver API's.
Add-ons to the ECMWF GRIB API.
This project is about developing and maintaining add-ons to the GRIB API, like language bindings or documentation.
The main GRIB API page is at http://www.ecmwf.int/products/data/software/grib_api.html
UDS (Universal Data Serializer) is a program and library that provides easy-to-use serialization for C, C++ and Python. It is an easy way to write a class to a file, that can be used without writing complex code.
Rest-in-py project has been moved to BitBucket
https://bitbucket.org/fundacionctic/rest-in-py
REST in PY ia a Python library to ease the publication of REST-style web services in Django applications, specially (but not exclusively) those using the Django Model framework.
A python library based on PIL for creating Chart. The idea is to create some classes based on PIL that you can use for creating Chart in jpeg/gif or other format.
C Library to manage a pool of event/task in a persistent way to assure that your events/tasks won't be deleted because of a failure. Events/tasks are saved on a FS. if FS is NFS, NFS availability checks are made. (comes with a python binding)
The dispatcher provides loosely-coupled message passing between Python objects (signal senders and receivers). It began as one of the highest-rated recipes on the Python Cookbook website
A neural net module written in python. The aim of the project is to provide a large set of neural network types accessed by an API that is easy to use and powerful.
reppy is a PDF-Report Generator for databases (MySQL, Postgres, CSV) written in Python. The report definition is based on an XML-template, which can be edited with the included program XTRed. It needs the python library reportlab for pdf-creation.