confirm that a SpiderMonkey format AST represents an ECMAScript program
☆27Aug 24, 2015Updated 10 years ago
Alternatives and similar repositories for esvalid
Users that are interested in esvalid are comparing it to the libraries listed below
Sorting:
- Clone AST without extra properties☆31Jan 21, 2026Updated last month
- Runtime checker for JS coding practices☆35Sep 13, 2022Updated 3 years ago
- Finding bugs in TypeScript type definitions.☆47Nov 23, 2017Updated 8 years ago
- Quick and dirty debugging☆17Nov 13, 2025Updated 4 months ago
- ECMAScript code generator on steroids☆39Dec 24, 2014Updated 11 years ago
- Easily create and pick values from Random Distributions and Markov Chains.☆10Mar 12, 2026Updated last week
- Write data to web-audio☆11Mar 14, 2021Updated 5 years ago
- Uses a breadth-first search, when necessary, to resolve the file path using the correct casing, and verify that the file actually exists.…☆12Sep 1, 2017Updated 8 years ago
- Nodejs cp -R☆81May 26, 2021Updated 4 years ago
- ML Basis for Poly/ML☆13Oct 18, 2025Updated 5 months ago
- utility box for ECMAScript language tools☆123Apr 7, 2022Updated 3 years ago
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- a Lisp for node.js☆40Aug 15, 2010Updated 15 years ago
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Aug 22, 2017Updated 8 years ago
- JS/WebAssembly version of NBER TAXSIM☆22Jun 14, 2022Updated 3 years ago
- a Compileable statically typed Functional programming Language☆11Jun 11, 2015Updated 10 years ago
- ☆10May 26, 2016Updated 9 years ago
- Standard ML Parser Combinator Library☆17Jan 9, 2026Updated 2 months ago
- Test futures under all possible polling schedules☆21Jul 25, 2022Updated 3 years ago
- TeX Parser in Haskell☆11Aug 12, 2017Updated 8 years ago
- Physics Derivation Graph: mathematical connections among equations☆23Feb 3, 2026Updated last month
- mark/sweep garbage collector for C☆30Mar 24, 2012Updated 13 years ago
- mkfifo(3) for NodeJS☆18Oct 9, 2020Updated 5 years ago
- ES6+ to ES5 Compiler☆48Dec 12, 2017Updated 8 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆29Jun 14, 2024Updated last year
- A persistent, RRB-Tree based vector for Rust☆27Feb 20, 2026Updated last month
- Project to benchmark and profile Error-Prone performance to uncover bottlenecks.☆12Apr 25, 2018Updated 7 years ago
- AST recursive visitor☆80Mar 30, 2023Updated 2 years ago
- Functional programming for the web☆36Jan 23, 2018Updated 8 years ago
- A self-contained implementation of forward and backward inference for intuitionistic propositional logic☆18Oct 10, 2017Updated 8 years ago
- Plugin fo remembering syntax match rules for time when a file is opened again☆12Nov 22, 2021Updated 4 years ago
- Tool for getting node versions by common aliases☆25Sep 21, 2025Updated 5 months ago
- A Robust Easy to Learn Framework☆17Jan 5, 2019Updated 7 years ago
- Resources for conference program chairs, especially in systems/PL areas of computer science.☆11May 14, 2023Updated 2 years ago
- A visually pleasing language for langjam 3☆16Jul 26, 2022Updated 3 years ago
- Tool for converting LaTeX-prepared documents to Wordpress-ready HTML☆14Mar 11, 2025Updated last year
- LinearAlloc sample code☆17Nov 28, 2019Updated 6 years ago
- Boolean satisfiability for propositional logic in Python☆14Aug 19, 2025Updated 7 months ago
- AndroidSlicer is a dynamic slicing tool, useful for a variety of tasks, from testing to debugging to security.☆14Jul 28, 2019Updated 6 years ago