dev-racket/forge
A model-finding language with Alloy-adjacent syntax.
Screenshots
-
forge-9999doc
View 
Download 
Browse License: MIT Overlay: racket-overlay -
forge-0_p20250616~amd64 ~arm ~ppc ~ppc64 ~x86doc
View Download Browse License: MIT Overlay: racket-overlay -
forge-0_p20250225~amd64 ~arm ~ppc ~ppc64 ~x86doc
View Download Browse License: MIT Overlay: racket-overlay
Runtime Dependencies
forge-9999
dev-racket/base64-lib
dev-racket/basedir
dev-racket/beautiful-racket
dev-racket/br-parser-tools-lib
dev-racket/brag-lib
dev-racket/crypto-lib
dev-racket/http-easy
dev-racket/mischief
dev-racket/predicates
dev-racket/pretty-format
dev-racket/request
dev-racket/sha
dev-racket/syntax-classes
>=dev-scheme/racket-8.1:=[-minimal]
dev-racket/basedir
dev-racket/beautiful-racket
dev-racket/br-parser-tools-lib
dev-racket/brag-lib
dev-racket/crypto-lib
dev-racket/http-easy
dev-racket/mischief
dev-racket/predicates
dev-racket/pretty-format
dev-racket/request
dev-racket/sha
dev-racket/syntax-classes
>=dev-scheme/racket-8.1:=[-minimal]
forge-0_p20250616
dev-racket/base64-lib
dev-racket/basedir
dev-racket/beautiful-racket
dev-racket/br-parser-tools-lib
dev-racket/brag-lib
dev-racket/crypto-lib
dev-racket/http-easy
dev-racket/mischief
dev-racket/predicates
dev-racket/pretty-format
dev-racket/request
dev-racket/sha
dev-racket/syntax-classes
>=dev-scheme/racket-8.1:=[-minimal]
dev-racket/basedir
dev-racket/beautiful-racket
dev-racket/br-parser-tools-lib
dev-racket/brag-lib
dev-racket/crypto-lib
dev-racket/http-easy
dev-racket/mischief
dev-racket/predicates
dev-racket/pretty-format
dev-racket/request
dev-racket/sha
dev-racket/syntax-classes
>=dev-scheme/racket-8.1:=[-minimal]
forge-0_p20250225
dev-racket/base64-lib
dev-racket/basedir
dev-racket/beautiful-racket
dev-racket/br-parser-tools-lib
dev-racket/brag-lib
dev-racket/crypto-lib
dev-racket/http-easy
dev-racket/mischief
dev-racket/predicates
dev-racket/pretty-format
dev-racket/request
dev-racket/sha
dev-racket/syntax-classes
>=dev-scheme/racket-8.1:=[-minimal]
dev-racket/basedir
dev-racket/beautiful-racket
dev-racket/br-parser-tools-lib
dev-racket/brag-lib
dev-racket/crypto-lib
dev-racket/http-easy
dev-racket/mischief
dev-racket/predicates
dev-racket/pretty-format
dev-racket/request
dev-racket/sha
dev-racket/syntax-classes
>=dev-scheme/racket-8.1:=[-minimal]