Edit Forge in your favorite text editor; we have added support in both Visual Studio Code and DrRacket.
Forge uses the Sterling visualizer to enable custom visualizations by both students and instructors.
To get started with Forge, follow these instructions.
Forge was originally created for CSCI 1710, “Logic for Systems” at Brown University. The notes and materials are public and free to use.
Forge is open source and hosted on Github.
Beyond the notes and documention, you can find many examples of Forge models in the forge/examples
folder of the repository. See the README for an itemized list. We are adding to this collection regularly!
To read more about our motivation and design, see our upcoming paper in OOPSLA 2024.
Got questions? Reach out to Tim_Nelson@brown.edu
.
We are grateful for support from the U.S. National Science Foundation (award #2208731) and Brown University.