Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

pkgs.racket-lang.org : typed-rosette

A typed variant of the Rosette language.

Registry - Source - Documentation - JSON
purl: pkg:racket/typed-rosette
Keywords: rosette, symbolic-execution, typed
License:
Latest release: 19 days ago
Stars: 13 on GitHub
Forks: 3 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 19 days ago

Readme