Grammarware
↸ BACKreturn to the root
SLEBoK
SLEBoKa new multi-track initiative for which I am the Editor-in-Chief (2017–…)
Modelling Program Verification Tools for Software Engineers: Program Verification Book of Knowledge
ProVerBclassification and collection of PV tools (2022–…)
BibSLEIGH
BibSLEIGHextensive interactive bibliography of papers at S(L)E venues (2014–…)
the DYOL toolkit for software language design
DYOLa language design with intent toolkit made from 24 books (2017–…)
SLPS Grammar Zoo
Grammar Zoocollection of extracted grammars in a broad sense (2009–…)
the Grammar Smells project
GraSsa project to define, specify, detect & remove grammar smells (2017–…)
BX parsing in a broad sense
bidirectional megamodel of parsing and unparsing in a broad sense
GrammarLab
GrammarLaba grammar manipulation library for Rascal
(2013–…)
SLPS
Software Language Processing Suitemy main repo in 2008–2012
Rascal bee
Rascala language for metaprogramming I contributed to in 2010–2013
Open Notebook Science
Open Notebooknobody else is crazy enough to do open notebook computer science


The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Dim tiles refer to past projects. See copyright disclaimer.
Last updated: February 2024.
XHTML 1.1 CSS 3