Projects in Awesome Lists tagged with abstract-syntax
A curated list of projects in awesome lists tagged with abstract-syntax .
https://github.com/python-security/pyt
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
abstract-syntax abstract-syntax-tree control-flow-graph dataflow dataflow-analysis fixed-point fixed-point-analysis flask program-analysis pyt python python3 security static-analysis static-code-analysis taint taint-analysis
Last synced: 13 Apr 2025
https://github.com/redprl/sml-typed-abts
second-order abstract syntax
abstract-syntax binding syntax
Last synced: 25 Feb 2025
https://github.com/lapets/pydrogen
Python library for building embedded languages within Python that have alternative operational semantics and abstract interpretations.
abstract-interpretation abstract-syntax decorators overloading python-library semantics static-analysis
Last synced: 23 Nov 2024
https://github.com/fizruk/free-foil
Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads).
abstract-syntax haskell scala type-safe
Last synced: 09 Apr 2025
https://github.com/ayberkt/abt
Ocaml port of CMU's ABT library (with various modifications).
abstract-syntax binding substitution variable
Last synced: 11 Apr 2025
https://github.com/rodrigooler/soljs
Parser to convert Javascript code to Solidity using abstract syntax tree
abstract-syntax abstract-syntax-tree blockchain es6 javascript js node open-source parser smart-contracts solidity typescript
Last synced: 15 Mar 2025
