Ecosyste.ms: Awesome

https://github.com/uwdb/cosette

Cosette is an automated SQL solver.

coq database rosette sql verification

Last synced: 20 Dec 2024

https://github.com/uwdb/Cosette

Cosette is an automated SQL solver.

coq database rosette sql verification

Last synced: 15 Nov 2024

https://github.com/uwplse/memsynth

An advanced automated reasoning tool for memory consistency model specifications.

racket rosette

Last synced: 25 Nov 2024

https://github.com/rosette-api/java

Rosette API Client Library for Java

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

Last synced: 17 Dec 2024

https://github.com/pmatos/racket-bv

Racket bitvectors a-la rosette

bitvector racket rosette

Last synced: 11 Nov 2024

https://github.com/rosette-api/csharp

Rosette API Client Library for C#

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

Last synced: 12 Nov 2024

https://github.com/rosette-api-community/visualize-syntactic-dependencies

Visualize Rosette API syntactic dependency parse results via GraphViz.

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

Last synced: 12 Nov 2024

https://github.com/rosette-api-community/chrome-ext-entities

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

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

Last synced: 12 Nov 2024

https://github.com/yamsafer/name-translation

transliterate the names in your content, don’t translate

google-translate rosette translation

Last synced: 19 Nov 2024

https://github.com/rosette-api-community/rosette-for-excel

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

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

Last synced: 12 Nov 2024

https://github.com/rosette-api-community/compare-vocabulary

jupyter-notebook lemmatization nlp python rosette

Last synced: 12 Nov 2024

https://github.com/bamarsha/qsette

Prototype for solver-aided verification of Q# programs.

qsharp quantum rosette smt-solver

Last synced: 21 Nov 2024

https://github.com/rosette-api-community/chrome-ext-name-translation

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

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

Last synced: 12 Nov 2024

https://github.com/rosette-api-community/rosette-named-entity-conversion-sample

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

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

Last synced: 12 Nov 2024