Programming Language Toolkit
A Coq Mechanization of ECMAScript 2023 Regexes
AsyncAPI Runtime Expressions parser and validator.
A web app to track article sources and crowdsource fact-checking
Parser Building Toolkit for JavaScript
Create JSpeech Grammar Formats (JSGF).
Query and process RDFa documents
♓️🌟 An ECMAScript library for walking RDF graphs.
A geometrical compiler project written in JavaScript for compiling and making complicated geometr...