Flipper is a program that does randomised local search for satisfiability of 3 variable prenex sentences in the pure predicate calculus. It does so by proving satisfiability relative to given decidable theories.
This project provides cross-forge semantic search for the Qualipso Forge. It integrates A4 AdvDoc prototype (semantic search GUI and engine) with A3 homogeneous and heterogeneous cross-forge semantic search capabilities. See Qualipso.org for details
Visualgos is a collection of visualizations for algorithms written in Flash. You can see all of the visualizations on http://yuval.bar-or.org/index.php?item=7
The Mobile Autonomous Robot Simulation Framework assists in building the applications to simulate an Autonomous Mobile Robot, its interaction with the environment, behaviors and also its sensors, actuators and locomotion mechanism.
Stop waiting on engineering. Build production-ready internal tools with AI—on your company data, in your cloud.
Retool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.