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.
A formally verified implementation of cryptographic algorithms using the SPARK programminglanguage. For the complete library proofs of the absence of run-time errors are available. Some of its subprograms include proofs of partial correctness.
A very high level 2d tile grid based game engine written in Python and PyGame. It is intended to make programming 2d tile grid based games much easier, especially for novices, while retaining the flexibility required by more experienced programmers.
HiNO is an open source project that allows to extract the hierarchical organization from directed regulatory networks. It is implemented as Netbeans Project and ready to use. ProgrammingLanguage: Java License: Q Public License (QPL)
A simple metalanguage for defining new concepts easily on any level: analysis, requirements, design and implementation (any programminglanguage), and transformations to produce lower level concepts (working software) from higher level concepts.
Secure remote access solution to your private network, in the cloud or on-prem.
Deliver secure remote access with OpenVPN.
OpenVPN is here to bring simple, flexible, and cost-effective secure remote access to companies of all sizes, regardless of where their resources are located.
Roomy is a programminglanguage extension for writing parallel disk-based applications. All details of parallelism and disk I/O are hidden within the Roomy library.
SplitPDF -SplitPDF.jar- is a ‘command-line driven’ Java-program, it splits a PDF-file by bookmarks into separated PDF’s. The bookmark is used as title for the newly created PDF. Extremely usefull and fast in a batch processing environment.
TrueSNMP is a Simple Network Management Protocol (SNMP) implementation written in the Java programminglanguage. It features a rich and well designed agent/manager framework, as well as a set of useful tools, both command-line and graphical.
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.
Kmnr Radio Automation Program is a python program for automating a radio station by playing different shows, id's, and programming. Controlled through the parrallell port and feature a web interface showing history as well as "show" selection.
OpenDWS is a hobby project to create a datawarehousing suite that: - Can work on different OS - Federates databases - Can run Data analyses using plugins on different databases This project is programmed in PythonLanguage.
AnaglyphCanvas3D is library for adding anaglyphs (red-green, red-cyan and so on) to the Java3D programminglanguage. It utilizes the normal Canvas (-3D) class of Java3D and extends it for stereoscopic effects. A prototypic GUI for testing is also ava
Pop.py is a simulator of populations. Originally concieved to track the spread of words across language groups, pop.py can simulate any type of population, from schooling fish to n-dimensional celluar automata.
LIEL (Language Independent Extension Library) is a language-agnostic library containing solutions to various programming problems and extending the capabilities of existing frameworks and code libraries.
Vokabeltrainer Makro für MS Excel. Bietet integrierten csv-Import. Mittels configfile/config-Dialog einrichtbares Formatierungstool verfügbar. *Working on PyGTK Version with multi-language support*
Piavca is a character animation engine that supports an extensible method for blending and combining animation and a library of body language based animation methods. It works together with Cal3D and OpenSG
Highly Object Oriented Language This is an attempt to develop a new third generation general purpose programminglanguage for x86 and x86_64 processor which tries to integrate maximum possible object oriented concepts.
An experimental terminal shell project in Python & curses. The aim is to be a command-driven language, with simple english-like grammar but still powerful and easy to do most CLI tasks without having to remember "weird" unix commands.
Developing a Java framework for supporting the shift from text-centric to Abstract-Syntax-Tree(AST)-centric programming. Stand-alone editor and Eclipse plugin allows to create and edit ASTs based on a validation language.
RESOLVE is an integrated specification and programminglanguage designed to develop component-based software that is fully specified and verified to be correct. It is one of the longest running software engineering projects in the USA.