Stars
Downloadable snapshots of the Chrome Top Million Websites pulled from public CrUX data in Google BigQuery.
An implementation of ECMA-262 in JavaScript
Analyzing (and eventually executing) the ECMAScript specification
Dynamic analysis framework for JavaScript
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
A Scala implementation of parsing with derivatives
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…
sbt / sbt-ghpages
Forked from marmbrus/xsbt-ghpages-plugingit, 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.
JISET: JavaScript IR-based Semantics Extraction Toolchain
sbt / sbt-assembly
Forked from softprops/assembly-sbtDeploy über-JARs. Restart processes. (port of codahale/assembly-sbt)