AI-powered service management for IT and enterprise teams
Enterprise-grade ITSM, for every business
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
Try it 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.
Trusted by nearly 20,000 customers worldwide, and all major cloud providers.
OpenVPN's products provide scalable, secure remote access — giving complete freedom to your employees to work outside the office while securely accessing SaaS, the internet, and company resources.
Ability to send out texts to as many cell phone numbers as you want. A very simple command-line interface. A very simple, yet efficient, graphical user interface (is currently being implemented).
The UniLog is a small onboard data logging device for rc models. It records stuff like current, voltage, rpm, height, airspeed... python-unilog is to retrieve the data and do what you want with it.
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.
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.
Preparing custom time field support for Trac trunk, based on Trac-0.12dev_r9115 so far. This is mainly to expose code to interested developers and enable collaboration via distributed VCS (Mercurial for now).
JyWeb is a lightweight webserver written in Jython. It also uses Jython which is in the archives for your convenience and in the SVN in the release folder so you can build your own jars.
Allows viewing of .cbr and .cbz comic book archives over an internet connection via a web browser. Extracts images from archives on demand, resizing them if necessary in order to be bandwidth/browser friendly.
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.
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.
Godzebra is a flash card program. It aims to be an easy, simple way to help people memorize anything. Currently Godzebra is in a pre-alpha state, as it does not really do that much yet. I just uploaded it in case of data loss.
WebOrbs is a WYSIWYG web editor. It is similar to other such as Adobe Dreamweaver and KompoZer, but also very different because it takes a plugin approach to things. Users can use Python to create widgets, which can then be added to a webpage.