rosette-lang is an actively used programming language.
- rosette-lang does not currently rank in our top 50% of languages
- the rosette-lang website
- I have 4 facts about rosette-lang. what would you like to know? email me and let me know how I can help.
Example code from the web:
#lang rosette (define (interpret formula) (match formula [`(∧ ,expr ...) (apply && (map interpret expr))] [`(∨ ,expr ...) (apply || (map interpret expr))] [`(¬ ,expr) (! (interpret expr))] [lit (constant lit boolean?)])) ; This implements a SAT solver. (define (SAT formula) (solve (assert (interpret formula)))) (SAT `(∧ r o (∨ s e (¬ t)) t (¬ e)))
Last updated November 6th, 2019