binpash / shastaLinks
A shell AST library in Python
☆10Updated 4 months ago
Alternatives and similar repositories for shasta
Users that are interested in shasta are comparing it to the libraries listed below
Sorting:
- The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…☆43Updated 4 months ago
- DiSh: Dynamic Shell-Script Distribution☆27Updated 5 months ago
- Parallel Delta Debugging Framework☆51Updated 5 months ago
- Clade is a tool for extracting information about software build process and source code☆21Updated last year
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated 3 months ago
- Binary analysis in HOL☆40Updated 2 months ago
- Process behavior monitoring utility and library based on strace☆28Updated 2 years ago
- Mutation analysis tool for Coq verification projects☆29Updated 4 years ago
- A Low Barrier Proof Assistant☆110Updated this week
- Module-level RWX permissions for Node.js☆35Updated 9 months ago
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆26Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆74Updated this week
- Semantic model for aspects of ELF static linking and DWARF debug information☆44Updated 5 months ago
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- minimalistic symbolic term rewriting framework☆15Updated this week
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Updated 2 months ago
- C Intermediate Language☆145Updated last month
- Cerberus C semantics☆62Updated this week
- Support for for students (Python)☆63Updated 2 weeks ago
- Extract semantic information about static Python code☆77Updated 2 weeks ago
- Python bindings for Comby☆13Updated last year
- ☆10Updated 4 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆42Updated 9 months ago
- ☆17Updated last year
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆15Updated 10 months ago
- Python bindings for the egg-smol rust library☆76Updated last week
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆18Updated last year
- Execute and document benchmarks reproducibly.☆92Updated 3 months ago
- The C4 Concurrent C Fuzzer☆14Updated last year
- GCC plugin for C language that tracks references to allocated objects☆27Updated 3 weeks ago