The Wayback Machine - https://web.archive.org/web/20200810152035/https://github.com/topics/abstract-syntax

#

abstract-syntax

Here are 8 public repositories matching this topic...

python-security / pyt

Star

A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

python flask security static-code-analysis static-analysis python3 abstract-syntax control-flow-graph dataflow program-analysis taint-analysis fixed-point abstract-syntax-tree taint pyt fixed-point-analysis dataflow-analysis

Updated Mar 8, 2020
Python

RedPRL / sml-typed-abts

Star

second-order abstract syntax

syntax binding abstract-syntax

Updated Feb 26, 2018
Standard ML

ayberkt / abt

Star

Ocaml port of CMU's ABT library (with various modifications).

binding variable abstract-syntax substitution

Updated Nov 30, 2018
OCaml

lapets / pydrogen

Star

Python library for building embedded languages within Python that have alternative operational semantics and abstract interpretations.

semantics static-analysis decorators python-library abstract-syntax abstract-interpretation overloading

Updated Sep 17, 2017
Python

OpenC2-org / jadn

Star

JSON document format for expressing abstract schemas, including message serialization and validation libraries.

json schema validation serializer encoder abstract-syntax

Updated Mar 9, 2018
Python

rodrigooler / soljs

Star

Parser to convert Javascript code to Solidity using abstract syntax tree

javascript open-source parser node typescript js es6 smart-contracts blockchain abstract-syntax solidity abstract-syntax-tree

Updated Jan 10, 2019
TypeScript

cleversonledur / GCCTranslationUnitParser

Star

This is a parser that I created using ANTLR. This parses the translation unit file generated by GCC when using the -fdump-translation-unit flag.

parser compiler cpp parser-library gcc antlr ast clang antlr-grammar abstract-syntax gcc-complier antlr4 lexer compilers lexer-generator parser-plugin

Updated Feb 1, 2017
C++

DiegoTimana / tad_sintaxis-abstracta_flp

Star

Segundo taller de fundamentos de lenguajes de programación.

abstract-syntax abstract-data-types drracket fundamentals-of-programming

Updated Feb 22, 2020
Racket

Improve this page

Add a description, image, and links to the abstract-syntax topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the abstract-syntax topic, visit your repo's landing page and select "manage topics."

You can’t perform that action at this time.