Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
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.
elastiC is a Very High Level Language (VHLL) with a C-like syntax. Dynamically typed, with fast Garbage Collection, supports functional programming and robust Object Orientation. Designed to be easily extended and embedded, it's portable and lightweight.
BVM is Buehler's Virtual Machine. It is initially intended as an educational tool, but may one day evolve into something useful. Some long-term goals: easily embeddable in other software, customizable instruction set, relatively light and efficient.
Pika is a fast, lightweight, dynamic multi-paradigm programming language. Its list of features includes: First Class Functions, Closures, Lexical Scoping, Optimized Tail Calls, Classes, Cooperative threads, Packages, Properties and Exceptions.
The Simply Magical Programming Language, or SMIPL, gives everyone the chance to create their own programs without difficulties. Created to be as easy as english to understand, and let's you experience the power of a computer by writing to it.
XML Processor. A Multi-threaded, Pub/Sub environment for Dynamic programming on an event driven Tickless and Sleeping State Machine with TCP communications, tight flawless memory management, powerful set algebra and a magical database. 100% C++. ezPort.
NanoCL is a simple command language with syntax based on TCL implemented in C++. NanoCL is designed to provide simple scripting language, configuration file format as well as interactive console to games and GUI applications.
AI-powered service management for IT and enterprise teams
Enterprise-grade ITSM, for every business
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
Kaya: A statically typed, imperative cross-platform programming language with type inference, powerful data description capabilities and built-in abstractions and libraries for easy and robust web application development. http://kayalang.org/
PLEASE NOTE - JAVAPATHFINDER HAS MOVED TO: http://babelfish.arc.nasa.gov/trac/jpf Java PathFinder is a system to verify executable Java bytecode programs.
A centralized antivirus scanning system. Supports an arbitrary amount of virtualized plugged in antivirus installations. Implemented in Perl and is based on the VMware automation API VIX.
A pure python module for emulating V100 terminal. It supports most of important escape sequences like cursor positioning, graphics rendition and etc. A demo(requires wxPython) also included which emulates terminal programs like bash, emacs, vi and etc.
Mouseth is a cross between the Mouse and Forth programming languages.
The programs are compiled to a very compact, machine independant bytecode, which can then be run on its extremely small virtual machine.
A multi-ISA "assembly debugger" with graphical and terminal frontends. Currently sporting LC-3, Georgia Tech's LC-2200, and brain*. MIPS support is in the making, to compete with SPIM. (Windows, Linux, MacOSX; LC-3 simulator and LC-2200 simulator)
Java Virtual System (JVS) is built around a virtual file system (VFS) - a common platform of Java, by Java, for Java. JVS extends JVM and makes it from an interpreter running half-compiled code a first-class server.
SableVM is a clean-room, highly portable and efficient Java virtual machine. Its goals are to be
reasonably small, fast, and compliant with the various specifications (JVM specification, JNI, invocation interface, etc.).
Que is a queue-based programming language, very different from other programming languages. Due to the nature of a queue, programs made in Que are automatically parallelized, meaning improved efficiency in multi-core environments.
This is a simulation of an open CPU, called 67-80-85. It tries to implement a simple, efficient CPU. It includes the simulator, an assembler, a sample code for a boot loader (ROM), a microkernel prototype and tests. - "The 3-legged shinning steel horse
URBI: Universal Robotic Body Interface. URBI is a scripted command language used to control robots (AIBO, pioneer,...). It is a robot-independant API based on a client/server architecture. Liburbi C++/Java/Matlab are available here. Forum available at ht