Award-Winning Medical Office Software Designed for Your Specialty
Succeed and scale your practice with cloud-based, data-backed, AI-powered healthcare software.
RXNT is an ambulatory healthcare technology pioneer that empowers medical practices and healthcare organizations to succeed and scale through innovative, data-backed, AI-powered software.
Learn More
The Most Powerful Software Platform for EHSQ and ESG Management
Addresses the needs of small businesses and large global organizations with thousands of users in multiple locations.
Choose from a complete set of software solutions across EHSQ that address all aspects of top performing Environmental, Health and Safety, and Quality management programs.
Java based multi-agent platform built on an organizational model (agent, group, role). MadKit provides general agent facilities (lifecycle management, message passing, distribution, ...), and allows high heterogeneity in agents.
Pilo Visual Tools for Scheme (Pvts) is a basic interpreter with visual tools for Scheme (LISP). Written in Java, PVTS has an interpreter and three visualization modules: a global environment viewer, a function call viewer, and a data structure viewer.
Realistic Workplace Simulations that Show Applicant Skills in Action
Skillfully transforms hiring through AI-powered skill simulations that show you how candidates actually perform before you hire them. Our platform helps companies cut through AI-generated resumes and rehearsed interviews by validating real capabilities in action. Through dynamic job specific simulations and skill-based assessments, companies like Bloomberg and McKinsey have cut screening time by 50% while dramatically improving hire quality.
Formicidae is the official simulator and visualizer for the Ant-Wars competitive programming site, written in Java and SISC. The site is hosted at www.ant-wars.net.
The FermaT toolset is the implementation of the FermaT Transformation Technology which developed semantic preserving code transformations to simplify programs without changing their behavior. The correctness is guaranteed by mathematical proof.