Unlimited organizations, 3 enterprise SSO connections, role-based access control, and pro MFA included. Dev and prod tenants out of the box.
Auth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
Sign Up Free
Build Securely on AWS with Proven Frameworks
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 cross-platform, text-interpreting calculator written in the Java programminglanguage. Runs on any computer with Java 6 or higher installed. Functions much like a Ti-84, but without the graphing utility.
FreeTTS is a speech synthesis engine written entirely in the
Java(tm) programminglanguage. FreeTTS was written by the Sun Microsystems Laboratories Speech Team and is based on CMU's
Flite engine. FreeTTS also includes a partial JSAPI 1.0
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.
Compliant and Reliable File Transfers Backed by Top Security Certifications
Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.
Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
A set of Eclipse plugins for the Scheme programminglanguage. Features a powerful, fully extensible S-expression-based editor. Integrates seamlessly with any Scheme interpreter.
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.
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.
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)
Full-stack observability with actually useful AI | Grafana Cloud
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.
Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
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.]
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)
"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
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.
Alien Battle Game Engine is a modular style game engine that will be able to make games in various different genres. It is programmed in the Basic4GL programminglanguage.
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.
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.
Compiler and tools for the Cx language. It supports Aspect-Oriented, Concept-Oriented programming, and OOP as a result. Cx compiler will emit platform independent IL which will be translated to platform specific binary code.
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