An implementation of ECMA-262 in JavaScript

The Hylo programming language

Analyzing (and eventually executing) the ECMAScript specification

Dynamic analysis framework for Python

Dynamic Linter for Python

Dynamic analysis framework for JavaScript

Sail architecture definition language

Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️

A fast and correct TypeScript type checker and compiler with additional experiments

JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis

Documents for Programming Assignments

A Scala implementation of parsing with derivatives

Rust-based platform for the Web

A JavaScript checker and optimizer.

OASIS Virtual I/O Device TC: Source code for the VIRTIO (Virtual I/O) Specification maintained by the OASIS Virtual I/O Device (VIRTIO) Technical Committee

Yet another JS code coverage tool that computes statement, line, function and branch coverage with module loader hooks to transparently add coverage when running tests. Supports all JS coverage use…

A Metals plugin for Neovim

git, site and ghpages support for sbt projects.

ECMAScript debugger client using ESMeta

JSTAR: JavaScript Specification Type Analyzer using Refinement

Helping you select a JavaScript framework - Todo apps for React.js, Angular, Vue and many more

The OpenSSF CVE Benchmark consists of code and metadata for over 200 real life CVEs, as well as tooling to analyze the vulnerable codebases using a variety of static analysis security testing (SAST…

🚀 gatsby-starter-hoodie is a gatsby starter developed for developers to build tech blogs.

ECMAScript Specification (ECMA-262) Metalanguage

JISET: JavaScript IR-based Semantics Extraction Toolchain

Deploy über-JARs. Restart processes. (port of codahale/assembly-sbt)

Status, process, and documents for ECMA-262

The ESTree Spec

Intermediate Representations for ECMAScript Specifications

JEST: N+1-version Differential Testing of Both JavaScript Engines