GitHub topics: abstract-syntax
python-security/pyt
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
Language: Python - Size: 3.2 MB - Last synced at: 9 days ago - Pushed at: over 4 years ago - Stars: 2,184 - Forks: 244
fizruk/free-foil
Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads).
Language: Haskell - Size: 12.1 MB - Last synced at: 12 days ago - Pushed at: 3 months ago - Stars: 9 - Forks: 3
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++ - Size: 11 MB - Last synced at: 10 months ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 0
ayberkt/abt
Ocaml port of CMU's ABT library (with various modifications).
Language: OCaml - Size: 98.6 KB - Last synced at: 11 days ago - Pushed at: about 1 year ago - Stars: 9 - Forks: 2
DiegoTimana/tad_sintaxis-abstracta_flp
Segundo taller de fundamentos de lenguajes de programación.
Language: Racket - Size: 27.3 KB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
lapets/pydrogen
Python library for building embedded languages within Python that have alternative operational semantics and abstract interpretations.
Language: Python - Size: 35.2 KB - Last synced at: 13 days ago - Pushed at: over 7 years ago - Stars: 9 - Forks: 0
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 Notebook - Size: 58.6 KB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 1
OpenC2-org/jadn
JSON document format for expressing abstract schemas, including message serialization and validation libraries.
Language: Python - Size: 2.99 MB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 6 - Forks: 4
RedPRL/sml-typed-abts
second-order abstract syntax
Language: Standard ML - Size: 353 KB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 31 - Forks: 9
rodrigooler/soljs
Parser to convert Javascript code to Solidity using abstract syntax tree
Language: TypeScript - Size: 169 KB - Last synced at: 3 days ago - Pushed at: over 6 years ago - Stars: 4 - Forks: 0
