rosette
There are 25 repositories under rosette topic.
uwdb/Cosette
Cosette is an automated SQL solver.
Veridise/Medjai
A Symbolic Execution Tool for Cairo
uw-unsat/serval-sosp19
This repo contains the artifact for our SOSP'19 paper on Serval
uwplse/memsynth
An advanced automated reasoning tool for memory consistency model specifications.
chyanju/__archived__Medjai
A Symbolic Execution Tool for Cairo
rosette-api/java
Rosette API Client Library for Java
chansey97/clprosette-miniKanren
CLP(Rosette) on top of miniKanren
pmatos/racket-bv
Racket bitvectors a-la rosette
calebwin/l
a very fast synthesizer of L-system grammars, solving a form of the "Inverse L-system" problem
rosette-api/csharp
Rosette API Client Library for C#
Yamsafer/name-translation
transliterate the names in your content, don’t translate
AD1024/Sager
A Demonic Graph Synthesizer
rosette-api-community/chrome-ext-entities
Google Chrome extension analyzing the category of and entities within text in a webpage using the Rosette API.
rosette-api-community/visualize-syntactic-dependencies
Visualize Rosette API syntactic dependency parse results via GraphViz.
BrilliantPhoenix2024/PostgreSQL-CustomUserModel
A Ready-to-Run repository with Docker, PostgreSQL as Database, Django Custom User Model and Translation Feature that can be used in other Project.
calebwin/lin
a higher-level DSL for linear programming
rosette-api-community/rosette-for-excel
Microsoft Excel add-in that implements many endpoints through ribbon functions and formula support
bamarsha/qsette
Prototype for solver-aided verification of Q# programs.
nyuad-hackathon-2019/haneen
Haneen is an mobile solution that helps Arabs type in Arabizi/English, but text each other purely in Arabic script.
rosette-api-community/chrome-ext-name-translation
Google Chrome extension that translates a highlighted name into the desired language(s) using the Rosette API.
rosette-api/awesome
Curated list of awesome Rosette software and resources
teunreyniers/rosette
a web application to communicate the result of a test to students in a visual way
Archfx/RACKETutes
Simple and fun to play method to learn Racket (Functional programming made easy)
rosette-api-community/rosette-named-entity-conversion-sample
Python example for converting Rosette named entity extraction results to other formats.