python3-flask-cors

Flask extension for handling CORS (Python 3)

A Flask extension for handling Cross Origin Resource Sharing (CORS), making cross-origin AJAX possible.

php-symfony

set of reusable components and framework for web projects

The Symfony PHP framework allows one to create websites and web applications. It’s a set of tools and a development methodology.

python3-toro

Synchronization primitives for Tornado coroutines (python3)

A set of locking and synchronizing primitives analogous to those in Python’s threading module or Gevent’s coros, for use with Tornado’s gen.engine.

acl2-books

Computational Logic for Applicative Common Lisp: compiled libraries

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.

acl2-infix

Computational Logic for Applicative Common Lisp: infix interface

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.

acl2-infix-source

Computational Logic for Applicative Common Lisp: infix source

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.