shapesecurity / shift-semantics-javaLinks
an Abstract Semantic Graph (ASG) for ECMAScript programs and a way to generate one from a Shift AST
☆17Updated 4 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:
- A repository for examples of all kinds of OCL (Object Constraint Language) expressions☆24Updated 8 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated 2 weeks ago
- Graph-based incremental static analysis of ECMAScript 6 source code repositories☆19Updated 7 years ago
- A fast, pure javascript triple store implementation, also useful as a graph database.☆65Updated 4 years ago
- JUnify ― JavaScript Unification Library☆50Updated 13 years ago
- ACE View is a natural language based ontology and rule editor. ACE View uses Attempto Controlled English (ACE) in the front-end, and Web …☆9Updated 6 years ago
- reducer for the Shift AST format☆24Updated 3 years ago
- ☆32Updated 9 months ago
- Finding and Understanding Conflicts Between JavaScript Libraries☆40Updated 3 years ago
- Inconsistent Code Detection for Java☆11Updated 4 years ago
- LevelGraph.io Playground☆11Updated 3 years ago
- Web Native language Workbench with Projectional Web Editor☆69Updated this week
- Generic static analysis framework☆22Updated 2 years ago
- Create GraphQL schemas from RDF ontologies☆28Updated 6 years ago
- W3C Federated Infrastructures Community Group☆21Updated 5 years ago
- EventStore implementation on top of AWS DynamoDB☆10Updated 8 years ago
- Semantic Web scripting language☆102Updated 2 years ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated last year
- Node.fz: Trigger race conditions in your Node.js code in test, not production.☆43Updated 4 years ago
- AceWiki is a semantic wiki based on controlled natural language.☆71Updated 5 months ago
- Runtime checker for JS coding practices☆35Updated 2 years ago
- Simple prolog interpreter using ES6 generators☆62Updated 10 years ago
- Refinement Types for Scripting Languages☆69Updated 6 years ago
- Bandolier - bundler for ES2017 modules☆12Updated 2 years ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆47Updated 3 years ago
- Parser for Attempto Controlled English (ACE)☆197Updated last year
- A Datalog compiler and library☆19Updated 4 years ago
- KJS: A Complete Formal Semantics of JavaScript☆89Updated 8 years ago
- Orc programming language implementation☆44Updated 3 years ago
- An Efficient JavaScript Unification Library☆19Updated 10 years ago