#

rosette

Here are 20 public repositories matching this topic...

uwdb / Cosette

Star

Open

Feature request: result of counter examples

beta-ziliani commented Jul 30, 2019

Counter examples today show information in tables to invalidate the equivalence, but does not show the result of the queries that makes evident that difference. It would be great if you could add that.

Read more

uw-unsat / serval-sosp19

Star

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

racket verification riscv rosette sosp

Updated Sep 11, 2019
Racket

uwplse / memsynth

Star

An advanced automated reasoning tool for memory consistency model specifications.

Updated Apr 30, 2018
Alloy

calebwin / l

Star

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

racket solver l-systems rosette

Updated May 15, 2019
Racket

rosette-api / java

Star

Rosette API Client Library for Java

java nlp machine-learning natural-language-processing text-mining fuzzy-matching text-analytics rosette tokenization entity-linking entity-extraction name-translation

Updated Jun 16, 2020
Java

rosette-api-community / visualize-syntactic-dependencies

Star

Visualize Rosette API syntactic dependency parse results via GraphViz.

visualization python graphviz python-script rosette svg-images dependency-parse-trees

Updated Apr 22, 2019
Python

rosette-api / csharp

Star

Rosette API Client Library for C#

nlp machine-learning natural-language-processing visual-studio csharp nuget morphology text-analysis text-analytics rosette capi entity-extraction language-identification text-embedding name-translation

Updated Jun 16, 2020
C#

Yamsafer / name-translation

Star

transliterate the names in your content, don’t translate

translation google-translate rosette

Updated Aug 22, 2017
PHP

rosette-api-community / rosette-for-excel

Star

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

nlp machine-learning natural-language-processing excel text-analytics nlp-apis rosette entity-extraction

Updated May 17, 2017

rosette-api-community / chrome-ext-entities

Star

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

chrome-extension nlp-apis rosette categorization entity-extraction extract-entities entity-extraction-extension chrome-ext-entities rosette-entity-extraction

Updated Jul 6, 2016
JavaScript

rosette-api-community / compare-vocabulary

Star

python nlp jupyter-notebook speech rosette lemmatization

Updated Apr 22, 2019
Jupyter Notebook

AD1024 / Sager

Star

A Demonic Graph Synthesizer

smt rosette algorithm-hacking

Updated Dec 7, 2019
Racket

nyuad-hackathon-2019 / haneen

Star

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

android java nlp machine-learning arabic rosette arabizi repustate

Updated Apr 29, 2019
Java

pmatos / racket-bv

Star

Racket bitvectors a-la rosette

racket bitvector rosette

Updated May 30, 2020
Racket

rosette-api-community / chrome-ext-name-translation

Star

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

chrome-extension nlp language machine-learning names english chinese russian korean arabic rosette name-translation translation-extension

Updated Jul 6, 2016
JavaScript

rosette-api-community / rosette-named-entity-conversion-sample

Star

Python example for converting Rosette named entity extraction results to other formats.

python nlp natural-language-processing named-entities named-entity-recognition rosette adm entity-extraction

Updated Apr 22, 2019
Python

rosette-api / awesome

Star

Curated list of awesome Rosette software and resources

nlp awesome text-analytics rosette

Updated Jun 17, 2020

calebwin / lin

Star

a higher-level DSL for linear programming

racket solver linear-programming lin rosette linear-programming-solver

Updated Apr 2, 2019
Racket

samarsha / qsette

Star

Prototype for solver-aided verification of Q# programs

quantum smt-solver rosette qsharp

Updated Dec 7, 2019
Racket

teunreyniers / rosette

Star

a web application to communicate the result of a test to students in a visual way

visualization students school test grades rosette teacher

Updated Apr 25, 2020
HTML

Improve this page

Add a description, image, and links to the rosette topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the rosette topic, visit your repo's landing page and select "manage topics."

You can’t perform that action at this time.