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.
NOTE: Since 2022 this hosting of PLEXIL is deprecated. PLEXIL has moved to GitHub at
https://github.com/plexil-group/plexil. Documentation is found at
https://plexil-group.github.io/plexil_docs. Please use these new locations.
PLEXIL is a plan execution language and technology developed by NASA and used in automation and autonomy applications at NASA and in the public sector. This software includes compilers for the language, the executive (runtime environment), and related tools....
CAMA (Context-Aware Mobile Agents) is a middleware for supporting mobile agents coordination. It is based on Linda-style coordination and provides numerous extentions for interoperability and fault-tolerance. It supports portable platforms such as PDAs.
Robot Controlling System (RCS) - is a .NET-oriented software group for controlling remote mechanical objects, debuging and programming them by .NET-languages
Context-aware experience sampling/ecological momentary assessment software that uses sensors on PDA devices with artificial intelligence algorithms to enable researchers to study people and how they behave in real environments.
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.
WORF is an open and extensible API framework upon which developers can build new and interesting embedded robot software applications on the Waba platform for their robot creation.
3A-TRE evaluates traditionally logical expressions under 3 assumptions
3A-TRE evaluates traditionally logical expressions under the three assumptions. The open world assumption (OWA) states that the truth value of a statement that is not included in or inferred from the knowledge explicitly recorded in the system shall be considered unknown. The closed world assumption (CWA) is the assumption that any statement that is not known to be true is false. We distinguish yet another case in software testing.
CSE Senior Design Project for an automated Robotic Truck. This will be software and hardware that allows for the autonomous nature of a the RC vehicle.