Here are
25 public repositories
matching this topic...
Rosette API Client Library for Java
Rosette API Client Library for C#
Simple and fun to play method to learn Racket (Functional programming made easy)
Updated
May 30, 2023
Jupyter Notebook
a web application to communicate the result of a test to students in a visual way
Updated
Mar 4, 2023
Svelte
A Ready-to-Run repository with Docker, PostgreSQL as Database, Django Custom User Model and Translation Feature that can be used in other Project.
Updated
Sep 19, 2022
Python
A Symbolic Execution Tool for Cairo
Updated
Sep 13, 2022
Racket
A Symbolic Execution Tool for Cairo
Updated
Jul 25, 2022
Racket
CLP(Rosette) on top of miniKanren
Updated
Apr 7, 2022
Racket
Racket bitvectors a-la rosette
Updated
Apr 1, 2022
Racket
Visualize Rosette API syntactic dependency parse results via GraphViz.
Updated
Feb 15, 2022
Python
Cosette is an automated SQL solver.
An advanced automated reasoning tool for memory consistency model specifications.
Updated
Dec 6, 2021
Alloy
Curated list of awesome Rosette software and resources
A Demonic Graph Synthesizer
Updated
Dec 7, 2019
Racket
Prototype for solver-aided verification of Q# programs.
Updated
Dec 7, 2019
Racket
This repo contains the artifact for our SOSP'19 paper on Serval
Updated
Sep 11, 2019
Racket
a very fast synthesizer of L-system grammars, solving a form of the "Inverse L-system" problem
Updated
May 15, 2019
Racket
Haneen is an mobile solution that helps Arabs type in Arabizi/English, but text each other purely in Arabic script.
Updated
Apr 29, 2019
Java
Python example for converting Rosette named entity extraction results to other formats.
Updated
Apr 22, 2019
Python
Updated
Apr 22, 2019
Jupyter Notebook
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."
Learn more
You can’t perform that action at this time.