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
Auth0 B2B Essentials: SSO, MFA, and RBAC Built In
Unlimited organizations, 3 enterprise SSO connections, role-based access control, and pro MFA included. Dev and prod tenants out of the box.
Auth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
This is a formal equivalence checking tool developed @ IIT Guwahati which can be used to verify functional equivalence between circuits (combinational and sequential) of the formats BLIF, verilog and EDIF.
MBDyn_sim_suite is a collection of free pre&post-processing tools and simulation models for the open-source multi-body analysis software MBDyn forming a general purpose simulation environment for structural dynamics with an emphasis on wind turbines.
Simple 8085 assembler and disassembler for educational use. The 8085asm generates the map file and intel hex file. It support the directives EQU, ORG, DB, DS and END.
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.
The EventStream Experimenter Workbench is a data collection framework with integrated visualization techniques to facilitate eye tracking research. The software currently supports the ASL eye trackers.
Enhanced Machine Controller-based Antenna Range (EMCAR)
EMCAR employs LinuxCNC based machine control (linuxcnc.org) coupled with open source software to implement a measurement system for antenna radiation pattern data (i.e. an antenna range).
Tournament Director is a comprehensive software suite designed to aid tournament directors at quiz bowl tournaments. It tracks stats, creates schedules, designs handouts, and follows accepted conventions for sharing information.
Baldr, aka Balder, is a plagiarism prevention software. Inspired by late researches in computer sciences, it’s able to compare documents using only properties linked to data compression.
Full-stack observability with actually useful AI | Grafana Cloud
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.
Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
Simulating Cache based Checkpointing and Rollback schemes are currently performed only at the hardware level for the lack of such simulation software that is generic. NCkptSimulator, a simulation tool, will support different checkpointing schemes
A testcase management, logging, reporting and test automation tool, similar to the commercial product Test Director.
Features: Progress stats, reports, test case import from CSV,doc,web or SQL, STAF plugin. SQL database.
Speeds QA and software testing
The General Intensional Programming System (GIPSY) consists in three modular sub-systems: The General Intensional Programming Language Compiler (GIPC) ; the General Eduction Engine (GEE), and the Intensional Run-time Programming Environment (RIPE).
File-Spector is a small, fast and easy to use binary file analyzer and Inspector.
It allows the users to format a complete binary file structure and then use it to read any binary file that matches the specified format.
This was an UI course project. In this project we built an interface prototype of an online travel reservation system. This service was meant to revolutionize the travel idustry in several ways for occasional travelers as well as for large businesses.
java-turing-emulator aims to provide a GUI for creating, editing and simulating Turing machines and deterministic machines. its build in java and uses the swt-framework.