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
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.
C++ template library for properties of objects which can be manipulated like normal member variables (widget.color = "red";). Supports binding properties with each other, so that when one property changes, other changes accordingly automatically.
EuLib is a C library implementing the embeddable language "Calc" and some abstract data types like lists, trees, b-trees and date/time management functions. Initially developed by Eurosoft Informatica Medica for it's own internal use, it's now LGPL.
LLVM is a unique compiler infrastructure designed for the optimization of programs from arbitrary programming languages. Compilation in C and C++ programs is supported using a parser based on GCC 3.4. Backends exist for X86, Sparc, PowerPC and "C".
EVM is a 32-bit virtual machine designed for easy implementation. It supports bounds checking, real-time linking and JIT compilation on x86 architecture. No platform-specific calls or byte order dependencies. Comes with an optimizing C compiler.
Meta-Ja is to Java what C++ was to C - it lets you express Java class hierarchies at a higher level of abstraction, and then writes XML Schema files, constructors, hash-access type-safe lists, get, set, copy, print, and XML parsing/generation functions.
Software written in Erlang for translating Erlang source code to mCRL process algebra specification. The software makes industrial code available for research tools.
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.
Generic Lexer which along with a language definition (.slx) file, constitutes Yacc/Bison compatible, custom lexical parser. It is ~1/3 the size of an equivalent Flex Lexer, resulting in a smaller compiler, and simpler yet more powerful lexical definition.
LucidEngine is a simple layer over MIDP compatible phones that will let you write simple and old fashioned games using a specific language.
Every game you'll develop will basically work on all the devices (even not phones) LucidEngine as been ported.
OpenC++ is C++ frontend library (parser+typechecker+DOM/MOP) and source-to-source translator. OpenC++ enables development of C++ tools, language extensions, domain specific compiler optimizations and runtime metaobject protocols.
antlraux is a java package thought to be used in combination with antlr(http://www.antlr.org). Features contextual information management, command line parsing and lexical information treatment.
A free pascal compiler targeting the Microsoft .NET and Mono platform; Full compatibility to the Borland Delphi.NET compilers is one of the main goals.
Visai Neri is an attempt to syntactically parse Natural Languages in general and Tamil in particular. To this end, we have developed an application using JavaCC to parse Venpa poetry after writing the grammar in BNF. Vision: complete Tamil grammar in
A library written in Objective-C for linux or others gcc-enabled systems that brings support of slots and signals ŕ-la Qt in the language, and a windowing toolkit made in OpenGL or X11. Other useful tools may also be included such as XML.
INC is an object-oriented low-level programming language. Designed to be a modern replacement for languages on the C level, it will provide access to the lowest level of the architecture, and a high-level interface based on modern language concepts.
net-unwind is an open-source .NET decompiler for GNU/Linux based systems. It can decompile any .NET from Intermediate Language (based on CLR) back to similar or identical source code to the original in C#. A Qt GUI is provided for easy navigation.
A comprehensive CORBA IDL test suite. Used to test any CORBA IDL compiler that is compliant with at least the CORBA 2.3 specification. Includes scripts to run the tests with OpenORB, ORBacus, Orbix and VisiBroker, but can be extended to test any ORB
Native Java parser framework, no (pre-)compilers needed. Closely follows BNF syntax. Optimized for performance and low overhead. Highly flexible and extendable using a streamlined API. Integrate semantics, tracing and even context sensitive parsers.
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
GNUDE is a complete suite of GNU C, C++, Fortran, and Java Cross Compilers, and the GDB CPU Simulator and Debugger for embedded microprocessor applications development. Targets development for ARM7, ARM9, and XScale applications.