No hidden charges. No surprise bills. Cancel anytime.
Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
Start Free
Stop Storing Third-Party Tokens in Your Database
Auth0 Token Vault handles secure token storage, exchange, and refresh for external providers so you don't have to build it yourself.
Rolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
A set of Eclipse plugins for the Scheme programminglanguage. Features a powerful, fully extensible S-expression-based editor. Integrates seamlessly with any Scheme interpreter.
Chimera is an interpreted programminglanguage designed for application development, and aims to provide support for powerful object-oriented features, regexes, and easy thread control.
Cessa is a text based organiser written in perl programminglanguage.
With cessa, one is able to check for existing appointments, add or delete them and also search the
appointments based on keyword.
SPARKUnit is a unit test framework for the SPARK programminglanguage. It enables developers to create unit tests which can be analysed by the SPARK Examiner. This allows for testing of operations with preconditions and flow analysis of test cases.
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.
Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
PiKa, previously known as YAW, is a CMS for image-hosting websites using a MySQL-database and written in PHP. (PiKa is not a KDE-application, nor has it anything to do with the Pika programminglanguage)
A small programminglanguage. [Discontinued in favor of Lua. There was not much difference except the syntax and the project went the same way most languages go: convenient but bloated.]
ERESYE means ERlang Expert SYstem Engine. It is a library to write expert systems and rule processing engines using the Erlang programminglanguage. It allows to create multiple engines, each one with its own facts and rules to be processed.
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)
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.
"JSBSim Python Bindings" is a Python wrapper around the open source flight dynamics model JSBSim (http://jsbsim.sourceforge.net/). It allows to use most of the JSBSim C++ API from the Python programminglanguage.
this project provides a Glue to Access GOFER Functionality through C and Python.
Gofer ("Good For Equational Reasoning") is an implementation of the programminglanguage Haskell intended for educational purposes and supporting a language based
Frontend to administration radius server using Freeradius and MySQL, can using to add, edit, view and remove user and group configuration. Using Ajax and PHP programming with simple CSS design (black & white) and currently in Indonesian Language.
The CogniX framework is a Web application development
library based on the popular perl programminglanguage. It is
completely object orientaded,. CogniX is a tool for
creating, modifying and maintaining dynamic database-enabled web
applications.
jVSTwRapper allows you to develop VST (2.4), Audio Unit (AU) and LADSPA compatible audio plugins and virtual instruments plus user interfaces (Swing) with the Java programminglanguage on Windows, Linux and Mac OSX. 5 demo plugins (+src) are included.
This is a webcomic reader that connects to a webcomic of your choice (dynamically extensible via regex-based plugins) and displays or updates strips. The current version is based on SDL and written in the D programminglanguage.
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.
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.
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.
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.
Brook+ is a high level C-like language with extensions for stream programming on different compute devices such as CPUs and GPUs. Supports an ATI CAL and x86 CPU backend. Keywords : GPGPU, GPU Computing, HPC
Efficient and lightweight text editor with rich functionalities.
ApexText is a general purpose text editor for developers and non-developers. It supports synatx highlighting for Java, C, C++, Perl, SQL, JSP, HTML etc., tooling for Java. Many UI features are configurable.
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