Cosette is an automated SQL solver.

A Symbolic Execution Tool for Cairo

This repo contains the artifact for our SOSP'19 paper on Serval

An advanced automated reasoning tool for memory consistency model specifications.

A Symbolic Execution Tool for Cairo

Babel Street Analytics Client Library for Java

CLP(Rosette) on top of miniKanren

Racket bitvectors a-la rosette

a very fast synthesizer of L-system grammars, solving a form of the "Inverse L-system" problem

Babel Street Analytics Client Library for C#

transliterate the names in your content, don’t translate

Visualize Rosette API syntactic dependency parse results via GraphViz.

Google Chrome extension analyzing the category of and entities within text in a webpage using the Rosette API.

A Demonic Graph Synthesizer

Microsoft Excel add-in that implements many endpoints through ribbon functions and formula support

a higher-level DSL for linear programming

A Ready-to-Run repository with Docker, PostgreSQL as Database, Django Custom User Model and Translation Feature that can be used in other Project.

Haneen is an mobile solution that helps Arabs type in Arabizi/English, but text each other purely in Arabic script.

Google Chrome extension that translates a highlighted name into the desired language(s) using the Rosette API.