Build VMs, containers, AI, databases, storage—all in one place.
Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
Get Started
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.
tLISP is a small implementation of the LISP programming language written in Object Pascal. Includes tle a command line tool for working with the LISP environment, and dynamic library for calling LISP functions from other applications. tLISP 2 or dLISP is
JMdRdf is the tool which creates RDF/RSS.
1.You can generate RDF/RSS about your homepage from your HTML(s) without programming. JMdRdf extract Information such as title, description, etc automatically from HTML.
2.You can paste RDF/RSS into your HTML
Lemick is a project to make a programming language similar to those traditional Basic implementations but with all the attributes of the modern programming tool
A general purpose middleware bridging various types of contents. From databases to XML files and vice versa. A EAI tool that can be used in a custom way in any type of aplication
nsjava is a loadable c-module which embeds a java virtual machine in aolserver. This module is being developed to support the openacs project - see http://openacs.org, but it could find general application as a web development tool.
vIDE is a cross-platform tool for writing and simulating Verilog models. It provides user friendly project management and file editing, integrated simulation engine, waveform viewer, pre-compiled modules, and many other cool features.
RBML is similar to XML or ASP. It is a server-side tool for either generating static HTML pages or dynamic pages as CGI-BIN scripts. RBML is a macro expansion language. Text from the input file is written to the output file unmodified unless it is enclo
What is a domain-specific language intended for constructing web
services on top of ordinary web pages, or otherwise automate
web-related tasks.
Using a powerful pattern matching sublanguage, What strives to be for XML/HTML what Perl is for text analysis
Kammerjäger is a debugging tool with integrated correctness proving.
Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected.
jMARS is a java implementation of the famous "Core Wars" application first described by A.K. Dewdney. Using eXtreme Programming combined with Java, EJB, and the Rich Client Platform it can be used as an educational tool to understand these technologies