Search Package Index

forge

• tim_nelsonλf959b50

A model-finding language with Alloy-adjacent syntax.

This package needs documentation

This package needs license metadata

froglet

• tim_nelsonλf959b50
• typesλ08a2fb0

A tiny model-finding language with Alloy-adjacent syntax. Teaching language for forge.

This package needs documentation

This package needs license metadata

ocelot

• bornholtλc65d085

A solver-aided relational logic DSL

This package needs license metadata