rosette 开源项目推荐（25 个）

uwdb /Cosette

Cosette 是一个自动化的 SQL 求解器。

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

Babel Street Analytics 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

Babel Street Analytics Client Library for C#

AD1024 /Sager

A Demonic Graph Synthesizer

Yamsafer /name-translation

transliterate the names in your content, don’t translate

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.

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 /rosette-for-excel

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

rosette-api-community /compare-vocabulary

该项目在 GitHub 上没有填写描述

rosette-api /awesome

Curated list of awesome Babel Street Analytics software and resources

calebwin /lin

a higher-level DSL for linear programming

nyuad-hackathon-2019 /haneen

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