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.
Try free now
Go From AI Idea to AI App Fast
One platform to build, fine-tune, and deploy ML models. No MLOps team required.
Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
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.]
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)
This IDE for visual programminglanguage "Dragon" is described in the book Vladimir Parondzhanova "How to improve the work of the mind. Algorithms without programming - it's easy!"
Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform.
Geographic restrictions, eligibility, and terms apply.
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)
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.
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
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.
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.
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
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
Connect Four is a fun arcade game where you must connect 4 symbols in order to win. Connect Four is written in the Java programminglanguage. Developed by Wonjohn Choi.
Pi combines a programminglanguage (comparable to 'R') with an advanced GUI including 3D and 2D visualizations and a highly flexible interface to analyse, visualize and manipulate data. It is extendible by C++ librarys as well as by Pi-scripts
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.
Vision is a language for writing templates for XML code. Templates take text, XML, files, and Vision, and produce custom dynamic XML documents and fragments. Vision is lightweight, portable, and ideal for rapid dynamic Web site development.
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.