spoofax

Download @spoofax at spoofax.org :-)

Thanks! Great recognition for everyone contributing to Spoofax in the last decade!

Finally an overview of SDF3! I have provided SDF3 for ages

The slides, links to code, and link to video recording of my tutorial at #PLDI2020 on "Declarative Language Definition with the @Spoofax Language Workbench" now available at: eelcovisser.org/talks/2020/06/…

Come and learn about declarative DSLs for language definition at the @spoofax tutorial by @EelcoVisser on 16 June at #PLDI2020! Register for free by 5 June. pldi20.sigplan.org/details/pldi-2…

@andrestaltz At university we used @spoofax which is a Programming Language Workbench, basically DSLs for creating compilers.

Started dsl-course.org today at @UniTurku 🇫🇮! Looking forward to giving tutorials on @xtext + @xtendlang, @spoofax, and @jetbrains_mps!

I made new slides about specifying type checkers with Statix for a talk at INRIA last week. Format is <Statix code, example, scope graph diagram> with explanation to be provided by the speaker. Hope they are useful without talk nonetheless. eelcovisser.org/talks/2020/02/…

BAPL20: The First Workshop on Build Automation and Programming Languages Co-located with PLDI’20 in London, June 20, 2020 Submission of extended abstracts (2-4 pages) due March 15, 2020 (AoE) pldi20.sigplan.org/home/bapl-2020

Build Automation and Programming Languages (BAPL 2020) ... to explore the interaction of build automation and programming languages in systems for incremental analysis, building, testing, packaging, and deployment of software. At PLDI 2020 Contribute! pldi20.sigplan.org/home/bapl-2020

Proud to announce and share our @poplconf'18 paper on Intrinsically-Typed Definitional Interpreters for Imperative Languages popl18.sigplan.org/event/popl-201… with @ArjenRouvoet, Andrew Tolmach, Robbert Krebbers, @EelcoVisser

Spoofax 2.3.0 metaborg.org/en/latest/sour…

@spoofax JSGLR2 is part of my master’s thesis work which I’ll be presenting at the Parsing@SLE workshop on October 22 at @splashcon, Vancouver.

@spoofax 2.3.0 was released today: metaborg.org/en/latest/sour…. It includes my new SGLR parser implementation: JSGLR2.

Declarative Language Definition Slides of my ECOOP 2017 Summer School lecture slideshare.net/eelcovisser/de…

Video of my CurryOn 2017 talk on scope graphs youtube.com/watch?v=0Eg6RD…

Spoofax 2.2: new NaBL2 constraint solver, experimental SDF3 parser generator, overall improvements metaborg.org/en/latest/sour…

Spoofax 2.1: bug fixes, syntactic completions, and DynSem dynamic semantics specification meta-language metaborg.org/en/latest/sour…

CC student @jeffgoderie did an internship at CERN, building a scripting language for PLC generation using @spoofax twitter.com/eelcovisser/st…

Instructive visit to CERN, putting Jeffrey's PLC generator in @spoofax project in broader perspective; thanks Ivan, Fernando