rosette

There are 1 repository under rosette topic.

uwdb / Cosette
Cosette is an automated SQL solver.
coq database rosette sql verification
Language:Lean 656
Veridise / Medjai
A Symbolic Execution Tool for Cairo
cairo-lang defi ethereum racket rosette security starknet starkware symbolic-compilation synthesis verification zero-knowledge
Language:Racket 47
uw-unsat / serval-sosp19
This repo contains the artifact for our SOSP'19 paper on Serval
verification rosette racket sosp riscv
Language:Racket 27
uwplse / memsynth
An advanced automated reasoning tool for memory consistency model specifications.
racket rosette
Language:Alloy 19
chyanju / __archived__Medjai
A Symbolic Execution Tool for Cairo
cairo-lang defi ethereum security starknet starkware symbolic-compilation synthesis verification racket rosette zero-knowledge
Language:Racket 15
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
Language:Java 10
chansey97 / clprosette-miniKanren
CLP(Rosette) on top of miniKanren
racket minikanren logic-programming constraints rosette smt constraint-logic-programming
Language:Racket 9
pmatos / racket-bv
Racket bitvectors a-la rosette
racket bitvector rosette
Language:Racket 7
rosette-api / csharp
Rosette API Client Library for C#
csharp rosette nuget capi visual-studio text-analysis text-analytics nlp natural-language-processing machine-learning entity-extraction name-translation language-identification morphology text-embedding
Language:C# 6
calebwin / l
a very fast synthesizer of L-system grammars, solving a form of the "Inverse L-system" problem
racket rosette l-systems solver
Language:Racket 5
Yamsafer / name-translation
transliterate the names in your content, don’t translate
translation google-translate rosette
Language:PHP 5
AD1024 / Sager
A Demonic Graph Synthesizer
rosette smt algorithm-hacking
Language:Racket 4
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
Language:JavaScript 4
rosette-api-community / visualize-syntactic-dependencies
Visualize Rosette API syntactic dependency parse results via GraphViz.
python graphviz python-script svg-images dependency-parse-trees visualization rosette
Language:Python 4
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.
custom-user-model postgresql rosetta rosette
Language:Python 2
calebwin / lin
a higher-level DSL for linear programming
racket rosette lin linear-programming solver linear-programming-solver
Language:Racket 2
rosette-api-community / compare-vocabulary
jupyter-notebook lemmatization nlp python rosette
Language:Jupyter Notebook 2
rosette-api-community / rosette-for-excel
Microsoft Excel add-in that implements many endpoints through ribbon functions and formula support
excel nlp machine-learning rosette text-analytics entity-extraction nlp-apis natural-language-processing
2
bamarsha / qsette
Prototype for solver-aided verification of Q# programs.
qsharp quantum smt-solver rosette
Language:Racket 1
nyuad-hackathon-2019 / haneen
Haneen is an mobile solution that helps Arabs type in Arabizi/English, but text each other purely in Arabic script.
arabic nlp machine-learning arabizi rosette repustate android java
Language:Java 1
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
Language:JavaScript 1
rosette-api / awesome
Curated list of awesome Rosette software and resources
awesome nlp rosette text-analytics
1
teunreyniers / rosette
a web application to communicate the result of a test to students in a visual way
test grades school teacher rosette students visualization
Language:Svelte 0
Archfx / RACKETutes
Simple and fun to play method to learn Racket (Functional programming made easy)
racket riscv rosette serval rtlv giscus
Language:Jupyter Notebook
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
Language:Python