Grow your team on GitHub
GitHub is home to over 28 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.Sign up
Spoofax definitions of the front-end (syntax, typing) of mCRL2.
A language for data modeling and incremental computing of derived values
Eclipse editor for JasminXT, an assembler for the Java Virtual Machine.
Definition of the PCF language in Spoofax
Client-side reactive UI language extension of IceDust
a minimal Spoofax example project
Metaborg specification of SimpleLanguage
repository to host Jenkinsfile