abstract-syntax

There are 10 repositories under abstract-syntax topic.

  • python-security/pyt

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

    Language:Python2.2k65103249

  • RedPRL/sml-typed-abts

    second-order abstract syntax

    Language:Standard ML31145110

  • ayberkt/abt

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

    Language:OCaml9512

  • fizruk/free-foil

    Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads).

    Language:Haskell91113

  • lapets/pydrogen

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

    Language:Python9230

  • OpenC2-org/jadn

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

    Language:Python6824

  • rodrigooler/soljs

    Parser to convert Javascript code to Solidity using abstract syntax tree

    Language:TypeScript410

  • cleversonledur/GCCTranslationUnitParser

    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.

    Language:C++2100

  • python-supply/analyzing-and-transforming-abstract-syntax

    Python's built-in libraries include powerful tools for retrieving and operating over abstract syntax trees. This article provides an overview of how to use these features to analyze and transform Python code programmatically.

    Language:Jupyter Notebook2102

  • DiegoTimana/tad_sintaxis-abstracta_flp

    Segundo taller de fundamentos de lenguajes de programación.

    Language:Racket20