MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
Start Free
Our Free Plans just got better! | Auth0
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
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.
"Yet Another Do-It-Yourself (Test) Automation Framework" specification. Use or modify one of the existing software implementations (hosted/referenced here), or implement the framework yourself. Download and read the spec for more details.
NeuroKiwi is the application of the Associative Model (AM, previously dubbed AMDroid), being a model storing relational change-detections. The application tries to emulate ground-up knowledge accumulation with limited or no prior knowledge of shapes or patterns.
ODic stands for "Options Dictionary" and aims at creating standards for easier command line tool creation. At the moment it is focused on the 'odic' python module including new design patterns for python main functions.
FriBidi Python bindings:
FriBiDi is a BiDi algorithm implementation for Hebrew and/or Arabic languages.
This package include python module for the FriBidi C library.
Petaapan is exploring the opportunities that multi-touch displays present. Initially we are looking at tools to support agile development to provide a concrete target for the investigations.
Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.
Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
A message passing library addressing the special needs/capabilities of Qt applications. The basic building block for classic 3-tier applications where both client and server are Qt applications.
OrgLDAP is an extensible LDAP user management application supporting groups, *NIX (POSIX, Shadow), Samba and other account types, SSH public keys and sudo roles. It includes a reusable extensible library and a web-based front-end.
A python module for ultra simple handling of configuration files. Also useful for human readable data persistence. Flexible and simple.
Source and issue tracking now at:
https://github.com/DiffSK/configobj
Widgets, panels, forms, dialogs, and more that fit seamlessly into django. Django-ui is much more than a "template pack". It uses jQuery UI to develop usable django widgets, forms, etc to be used seamlessly with the django framework.
Simple and fast templating system for python 2 - needing nothing else than a separator like python´s semicolon. Documentation and code are together in one file - you can cut and paste the code from it.
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.
The Location Containment Object Model(LCOM) is a simulation framework written in Python. LCOM provides a rule-based solution to handling partial object containment, object migration, message passing, and simulation observation.
PyHelper is a modular automatic documentation generator. Docs are generated directly from source code and can use different skins (python modules that render the documentation) to produce the doc-pages.
This program generates customizable hyper-surfaces (multi-dimensional input and output) and samples data from them to be used further as benchmark for response surface modeling tasks or optimization algorithms.