shapesecurity / shift-semantics-javaLinks
an Abstract Semantic Graph (ASG) for ECMAScript programs and a way to generate one from a Shift AST
☆17Updated 5 years ago
Alternatives and similar repositories for shift-semantics-java
Users that are interested in shift-semantics-java are comparing it to the libraries listed below
Sorting:
- An Efficient JavaScript Unification Library☆19Updated 10 years ago
- reducer for the Shift AST format☆24Updated 3 years ago
- Generic static analysis framework☆22Updated 3 years ago
- ECMAScript verification with SMT solvers☆124Updated last year
- JUnify ― JavaScript Unification Library☆50Updated 13 years ago
- Javascript Interpreter in Functional-Style Javascript☆20Updated 7 years ago
- Simple prolog interpreter using ES6 generators☆62Updated 10 years ago
- Property-based testing a'la QuickCheck for TypeScript and JavaScript☆20Updated 4 years ago
- Functional Zipper for manipulating JSON☆56Updated 6 years ago
- Finite Domain Constraint Solver☆29Updated 8 years ago
- ☆147Updated 6 years ago
- creates a control flow graph from an esprima abstract syntax tree☆172Updated 8 years ago
- Lean ported to Javascript with Emscripten☆27Updated 8 years ago
- Finding and Understanding Conflicts Between JavaScript Libraries☆40Updated 3 years ago
- Deliver the most recently seen event to new observers☆30Updated 2 years ago
- Shift AST Specification☆191Updated 4 years ago
- Experimental continuous Behaviors for most.js☆32Updated 5 years ago
- A fast, pure javascript triple store implementation, also useful as a graph database.☆66Updated 4 years ago
- Push-pull Signal Function FRP☆16Updated 8 years ago
- A simple Prolog interpreter written with javascript☆16Updated 8 years ago
- Node.fz: Trigger race conditions in your Node.js code in test, not production.☆42Updated 5 years ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆107Updated 2 years ago
- Type Analyzer for JavaScript☆197Updated 10 months ago
- constructors for Shift format AST nodes☆28Updated 3 years ago
- prolog interpreter in javascript☆82Updated 8 years ago
- Implementation of the relational algebra☆37Updated 9 years ago
- Parser combinators for JS☆13Updated 10 years ago
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆80Updated 9 years ago
- JavaScript Code Instrumenter☆39Updated 6 months ago
- The Lively Projectional Editor is an implementation of a projectional editor for Lively 4. It offers a dual editing workflow: A text proj…☆16Updated 8 years ago