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.