search

lang-party / Summer2022

Lang Party 2022
24 stars 1 forks source link

Froglet (forge/bsl) #19

Open FanC096 opened 2 years ago

FanC096 commented 2 years ago

Entry

Froglet is the beginner-level language of Forge, an educational model-finding language with syntax similar to Alloy. The purpose of Froglet is to let students learn model-finders without having to first study relational operators and discrete mathematics.

GitHub Repository: (This is Forge, use #lang forge/bsl for Froglet) https://github.com/tnelson/Forge

Paper: https://cs.brown.edu/research/pubs/theses/ugrad/2022/chen.qianfan.pdf

Code examples: https://cs.brown.edu/research/pubs/theses/ugrad/2022/chen.qianfan.pdf#page=38 https://cs.brown.edu/research/pubs/theses/ugrad/2022/chen.qianfan.pdf#page=43

Licence

Please confirm that the text in this issue is licensed under the Creative Commons Attribution 4.0 International License http://creativecommons.org/licenses/by/4.0/

PS Your language can use any license.

Yes!