binpash / shastaLinks
A shell AST library in Python
☆10Updated 5 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☆28Updated 6 months ago
- Module-level RWX permissions for Node.js☆35Updated 10 months ago
- Partial evaluation of Python code☆22Updated 2 years ago
- A dynamic method for detecting faults in incremental and parallel builds.☆19Updated 2 years ago
- A Simple Abstract Interpreter, built for teaching purposes☆20Updated 5 years ago
- Quantum circuits compiler with staging and continuations☆16Updated 7 months ago
- ☆14Updated last year
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆19Updated last year
- Semantic model for aspects of ELF static linking and DWARF debug information☆44Updated last week
- Programming Languages Grammar House (BNF like grammars)☆28Updated 9 months ago
- A reusable compiler backend for the i386, x86_64, ARM and AArch64 architecture based on TCC, with an IR on bytecode level including type …☆14Updated last year
- A collection of lambda calculus interpreters and development tools☆15Updated 2 years ago
- Execute and document benchmarks reproducibly.☆92Updated 4 months ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years 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
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆45Updated 5 months ago
- Utility that parses stack sizes section from elf objects and displays the preallocated stack size of each function.☆14Updated 5 years ago
- Some experiments with SMT solvers and GIMPLE IR☆38Updated last year
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆50Updated last week
- A coverage-guided, native Lua fuzzing engine.☆42Updated last week
- ☆17Updated 2 years ago
- Cerberus C semantics☆62Updated last week
- Numba compatible SCFG (Structured Control Flow Graphs) utilities.☆22Updated this week
- Here is the replication of the paper Probabilistic Delta Debugging, which has been accepted by ESEC/FSE 2021. More details can be found i…☆16Updated 3 years ago
- Documentation☆44Updated last month
- minimalistic s-expression based term rewriting framework☆15Updated 2 weeks ago
- Python bindings for the egg-smol rust library☆80Updated last week
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆44Updated last year